Reasoning about Computational Agents in FOL

Autoři: Mgr. Roman Neruda, Ph.D.
Rok vydání: 2010
Typ publikace: Konferenční příspěvek (mezinárodní konf.)
Periodikum: Proceedings of the Third International Conference on Modelling and Simulation
Projekty: Analýza inteligentních distribuovaných výpočetních systémů
Bibliografická citace: NERUDA, Roman. Reasoning about Computational Agents in FOL. In: YIANG, Y., YU, J., eds. Proceedings of the Third International Conference on Modelling and Simulation. Mill Lane: World Academic Union, 2010, S. 1-6. Modelling and Simulation. ISBN 978-1-84626-155-8.
ID: 345160

Abstrakt

A Multi-Agent System platform focusing on computational intelligence modeling is being developed. In order to describe the properties of individual agents and modes of their connections to multi-agent systems, an ontological description is utilized. In this paper, we describe how an automatic theorem proofer for first order logics can be used to allow reasoning about multi-agent systems, and eventually an automated design under given constrains.