Modeling behavior

The organization of logical reasoning algorithms in the intelligent multi-agents system

A. P. Ragovsky

Moscow Akademy of Instrument Engineering and Informatics

Abstract: The data presentation method in first-order predicate logic is offered. The mechanism of solution ways cancellation in the space of the proof procedure is elaborated. Multi-leveled architecture of intelligent applied multi-agents system is elaborated. The mechanism of interaction and activation intelligent agents in the system in solving complicated practical tasks is offered.

Keywords: methods of deductive reasoning and strategies of search in intelligent systems, knowledge engineering, multi-agents systems, management science.

Bibliographic databases:

•