Logic programming with social features1

In everyday life it happens that a person has to reason out what other people think and how they behave, in order to achieve his goals. In other words, an individual may be required to adapt his behavior by reasoning about the others' mental state. In this paper we focus on a knowledge-representation language derived from logic programming which both supports the representation of mental states of individual communities and provides each with the capability of reasoning about others' mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.

[1]  Timothy W. Finin,et al.  Evaluation of KQML as an Agent Communication Language , 1995, ATAL.

[2]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[3]  José Júlio Alferes,et al.  MINERVA - A Dynamic Logic Programming Agent Architecture , 2001, ATAL.

[4]  José Júlio Alferes,et al.  A Language for Multi-dimensional Updates , 2002, CLIMA.

[5]  Luciano Serafini,et al.  Comparing formal theories of context in AI , 2004, Artif. Intell..

[6]  Marina De Vos,et al.  LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming , 2005, DALT.

[7]  Evelina Lamma,et al.  The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies , 2004, Global Computing.

[8]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[9]  Francesco Buccafurri,et al.  A Social Semantics for Multi-agent Systems , 2005, LPNMR.

[10]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[11]  Ken Satoh,et al.  Speculative computation with multi-agent belief revision , 2002, AAMAS '02.

[12]  Hector J. Levesque,et al.  Rational interaction as the basis for communication , 2003 .

[13]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[14]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[15]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

[16]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[17]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[18]  Jürgen Dix,et al.  Heterogeneous Agent Systems , 2000 .

[19]  Patrick Brézillon,et al.  Context in problem solving: a survey , 1999, The Knowledge Engineering Review.

[20]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[21]  K. Konolige.  A deduction model of belief and its logics , 1984 .

[22]  Viviana Mascardi,et al.  Logic-based specification languages for intelligent software agents , 2003, Theory and Practice of Logic Programming.

[23]  Tim Menzies,et al.  Knowledge maintenance: the state of the art , 1999, The Knowledge Engineering Review.

[24]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[25]  Marina De Vos.  An Ordered Choice Logic Programming Front-End for Answer Set Solvers , 2003, APPIA-GULP-PRODE.

[26]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[27]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[28]  Georg Gottlob,et al.  Multiagent Compromises, Joint Fixpoints, and Stable Models , 2002, Computational Logic: Logic Programming and Beyond.

[29]  Atsushi Shimojima,et al.  Contextual Reasoning in Agent Systems , 2006, CLIMA.

[30]  Paolo Mancarella,et al.  On Modelling Multi-agent Systems Declaratively , 2004, DALT.

[31]  Timothy W. Finin,et al.  Coordinating Agents using Agent Communication Languages Conversations , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[32]  Stefania Costantini,et al.  A Logic Programming Language for Multi-agent Systems , 2002, JELIA.

[33]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[34]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[35]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.