Logic programming with social features1
作者： FRANCESCO BUCCAFURRI , GIANLUCA CAMINITI
DOI: 10.1017/S1471068408003463
关键词:
摘要: In everyday life it happens that a person has to reason out what other people think and how they behave, in order achieve his goals. words, an individual may be required adapt behavior by reasoning about the others' mental state. this paper we focus on knowledge-representation language derived from logic programming which both supports representation of states communities provides each with capability acting accordingly. The proposed semantics is shown translatable into stable model programs aggregates.
arxiv-vanity.com参考文章(39)
Kurt George Konolige, A deduction model of belief and its logics ,(1984)
Stijn De Saeger, Atsushi Shimojima, Contextual Reasoning in Agent Systems Lecture Notes in Computer Science. pp. 171- 190 ,(2007) , 10.1007/978-3-540-69619-3_10
Giuseppe Ielpa, Tina Dell'Armi, Gerald Pfeifer, Wolfgang Faber, Nicola Leone, Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV international joint conference on artificial intelligence. pp. 847- 852 ,(2003)
R. Scott Cost, Yannis Labrou, Tim Finin, Coordinating Agents using Agent Communication Languages Conversations Coordination of Internet Agents. pp. 183- 196 ,(2001) , 10.1007/978-3-662-04401-8_7
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni, On Modelling Multi-agent Systems Declaratively Declarative Agent Languages and Technologies II. pp. 53- 68 ,(2005) , 10.1007/11493402_4
James Mayfield, Yannis Labrou, Tim Finin, Evaluation of KQML as an agent communication language intelligent agents. ,vol. 1037, pp. 347- 360 ,(1995) , 10.1007/3540608052_77
João Alexandre Leite, Luís Moniz Pereira, José Júlio Alferes, MINERVA - A Dynamic Logic Programming Agent Architecture intelligent agents. pp. 141- 157 ,(2001)
Ventatramanan S Subrahmanian, Piero Bonatti, Jurgen Dix, Thomas Eiter, Sarit Kraus, Robert Ross, Fatma Ozcan, Juergen Dix, Heterogeneous Agent Systems ,(2000)
John McCarthy, Notes on formalizing context international joint conference on artificial intelligence. pp. 555- 560 ,(1993)
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, The SOCS computational logic approach to the specification and verification of agent societies GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing. ,vol. 3267, pp. 314- 339 ,(2004) , 10.1007/978-3-540-31794-4_17