Integrated software-instrumental environment for knowledge representation and processing (SLM-technology)


Presentation and processing of clear and fuzzy knowledge about subject areas, the tasks of which are reduced to the tasks of diagnostics, interpretation, assessment, repair, monitoring, etc.


Information technology.


In contrast to the known analogs, the presentation and processing of both clear and fuzzy knowledge is provided; correct solution of problems of automatic detection of actual errors in this knowledge; support of processes of empirical testing of knowledge data.


SLM technology provides the representation of procedural-declarative knowledge using the latest knowledge representation model (logical-computational semantic network) and their processing by the method of direct logical inference. The means of SLM technology are used to automatically perform static verification of knowledge data, thereby ensuring their consistency and absence of errors, and generating a set of test cases necessary to perform empirical testing of knowledge data.

More details…