Logic and Artificial Intelligence in the area of Multiagent Systems

The goal of the project is research in the area of formalised methods of process modelling enabling us to specify, model, predict and control behaviour of autonomous intelligent agents in various situations incl. critical states, in which the system maytend towards chaotic behaviour. We will concentrate on the development of AI methods based on a highly expressive logical system, namely transparent intensional logic (TIL). Formal language has to be precisely defined not only from the syntactic point ofview but also provided with a rigorous semantics. In the area of knowledge representation we will address the problem of an adequate modelling of particular agents' explicit knowledge, which respects limited inference capabilities of the agents (with bounded resources: space, time and software facilities). Knowledge management will handle heterogenous data incl. space and temporal data. We will also address the problem of reliability and effectiveness of the design.