We investigate the formal verification of the control software of critical systems, i.e., the verification of the compliance of the designed system with th

The paper presents an approach to ontology population as operations with Scott information system. The deducibility relation in the ontology population information system corresponds to rules of input data processing and ontology population. To implement an ontology population process, we suggest a multi-agent approach based on natural language semantic analysis. In the proposed multi-agent model, agents of the following two types interact: information agents corresponding to meaningful units of the information being retrieved and rule agents implementing population rules of the given ontology based on the semantic-syntactic model of the language.

This paper presents the ontology of the concurrent processes close to Hoare communicating sequential processes. It is a part of an intellectual system for

The multiagent approach to coreference resolution in the process of extracting information from texts in natural languages for ontology population is described. Special class agents corresponding to...