Počet záznamů: 1
Reasoning about Computational Agents in FOL
- 1.
SYSNO ASEP 0345160 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Reasoning about Computational Agents in FOL Tvůrce(i) Neruda, Roman (UIVT-O) SAI, RID, ORCID Zdroj.dok. Proceedings of the Third International Conference on Modelling and Simulation. - Mill Lane : World Academic Union, 2010 / Yiang Y. ; Yu J. - ISBN 978-1-84626-155-8 Rozsah stran s. 1-6 Poč.str. 6 s. Akce ICMS 2010. International Conference on Modelling and Simulation /3./ Datum konání 04.06.2010-06.06.2010 Místo konání Wuxi Země CN - Čína Typ akce WRD Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova ontology ; multi agent systems ; first order logics Vědní obor RIV IN - Informatika CEP OC10047 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000282085200001 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2011
Počet záznamů: 1