Automatic composition and reasoning in computational Multi-Agent Systems

被引：0
作者：
Neruda, Roman
机构：
来源：
ADVANCES IN APPLIED MATHEMATICS, SYSTEMS, COMMUNICATIONS AND COMPUTERS | 2008年
关键词：
multi-agent systems; computational intelligence; reasoning; ontologies;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
We have developed a Multi-Agent-System (MAS) platform focusing on computational intelligence hybrid models. In this paper, we describe how an automatic theorem proover can be connected to MAS in order to allow automatic reasoning about Multi-Agent-Systems. A translation from ontological description to suitable first-order logic formalism is described and illustrated.
引用
收藏
页码：221 / 226
页数：6
相关论文
共 24 条
  • [1] Baader F., 1999, Artificial intelligence today. Recent trends and developments, P13
  • [2] BAKHOUYA M, 2006, WORKSH KOMPL DEV SEL
  • [3] BAUMGARTNER P, 2002, P INT WORKSH SEM WEB
  • [4] BERNERSLEE T, 2001, SEMANTIC WEB
  • [5] BEUSTER G, 2003, P ICANNGA 2003
  • [6] Soft computing: the convergence of emerging reasoning technologies
    Piero P. Bonissone
    [J]. Soft Computing, 1997, 1 (1) : 6 - 18
  • [7] On the relative expressiveness of description logics and predicate logics
    Borgida, A
    [J]. ARTIFICIAL INTELLIGENCE, 1996, 82 (1-2) : 353 - 367
  • [8] BORGIDA A, 1994, RELATIONSHIP DESCRIP, P219
  • [9] Davis M., 2004, The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions
  • [10] On cooperation in multi-agent systems
    Doran, JE
    Franklin, S
    Jennings, NR
    Norman, TJ
    [J]. KNOWLEDGE ENGINEERING REVIEW, 1997, 12 (03) : 309 - 314
123