Medicine

The IACPaaS platform provides ample opportunities for developing systems based on knowledge in medicine. One example of such a system is the "Software system for creating medical intelligent systems."

In the modern world, various classes of medical intellectual systems (IS) exist and are constantly being developed, such as: expert systems for diagnosis of diseases (one or group) and treatment purposes, virtual medical simulators-simulators for working out, first of all, motor-reflex skills of students. However, such systems are disjointed, databases and knowledge are usually not available to domain experts for viewing and modification, which significantly reduces the credibility of them and makes it impossible to make timely changes (adding knowledge in connection with changing the domain, correcting errors and inaccuracies).

The software system for creating medical intelligent systems for practical and educational medicine is an integrated environment that supports the creation of the following types of intelligent systems: diagnosis and differential diagnosis of diseases, treatment design, its prognosis and monitoring, as well as computer simulators for diagnosis and appointment treatment.

The knowledge base management system is based on a problem-oriented model of knowledge representation and data, taking into account the specificity of the given subject area (medicine). It contains a set of ontologies for building knowledge bases and databases. Each ontology is a system of concepts understood by experts in the field of medicine, in terms of which they can form knowledge bases and databases without intermediaries in the person of knowledge engineers and system analysts. Ontologies have a graph representation with loops and loops.

The peculiarity of the system is a common set of ontologies and, accordingly, knowledge and data bases formed on them, which will be used again in medical intelligent systems of various types. All ontologies do not depend on the division of medicine.

Mathematics

We are developing a software shell for the systems of verification of intuitive mathematical proofs, which allows us to create application support systems for building (verification) evidence, based on core formal system, close to the mathematical practice of constructing intuitive mathematical proofs, and provides the tools of extension of this system.

To enable the formal logic system to approach the mathematical practice, it must be expandable, primarily by users of the DSSs based on it - members of the mathematical community.

The following components of the formal system are extensible and mutable: the language of representation of mathematical knowledge, which describes axioms, theorems, lemmas, definitions, etc., and a set of formalized ways of reasoning, available mathematics in the construction of the proofs of theorems. To do this, the reasoning methods are presented explicitly, and the presentation language formalized reasoning is also extensible.

To ensure the extensibility of formal systems, they use an approach based on context-dependent grammars and ontologies. Extensibility is achieved due to the fact that the context-dependent grammars of the abstract and concrete syntax of the representation languages ​​of mathematical knowledge and formalized methods of reasoning have in the DSS an explicit declarative representation specified in accordance with the metamodel (consisting of the description language of generating graph grammars, context description language, and description language of generative text grammars). Due to this, firstly, the methods of reasoning (calculus) have an explicit declarative representation in the DSS, and therefore, users can change their set, as well as the ways of reasoning; Secondly, users have the opportunity to include in the grammar of the language representation of mathematical knowledge new rules or modify existing ones. The same applies to contextual conditions.