Počet záznamů: 1

Reasoning about Computational Agents in FOL

  1. 1.
    0345160 - UIVT-O 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
    Neruda, Roman
    Reasoning about Computational Agents in FOL.
    Proceedings of the Third International Conference on Modelling and Simulation. Mill Lane: World Academic Union, 2010 - (Yiang, Y.; Yu, J.), s. 1-6. Modelling and Simulation. ISBN 978-1-84626-155-8.
    [ICMS 2010. International Conference on Modelling and Simulation /3./. Wuxi (CN), 04.06.2010-06.06.2010]
    Grant CEP: GA MŠk OC10047
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: ontology * multi agent systems * first order logics
    Kód oboru RIV: IN - Informatika

    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.
    Trvalý link: http://hdl.handle.net/11104/0186490