A Social Semantics for Multi-agent Systems

  • Francesco Buccafurri
  • Gianluca Caminiti
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3662)

Abstract

As in human world many of our goals could not be achieved without interacting with other people, in case many agents are part of the same environment one agent should be aware that he is not alone and he cannot assume other agents sharing his own goals. Moreover, he may be required to interact with other agents and to reason about their mental state in order to find out potential friends to join with (or opponents to fight against). In this paper we focus on a language derived from logic programming which both supports the representation of mental states of agent communities and provides each agent with the capability of reasoning about other agents’ mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baral, C., Gelfond, M.: Logic Programming and Knowledge Representation. Journal of Logic Programming 19/20, 73–148 (1994)CrossRefMathSciNetGoogle Scholar
  2. 2.
    Bratman, M.: Intention, Plans, and Practical Reason. Harvard Univ. Press, Cambridge (1987)Google Scholar
  3. 3.
    Bratman, M., Israel, D.J., Pollack, M.E.: Plans and Resource-Bounded Practical Reason. AI center technical note SRI-AI 425R, SRI International (1988)Google Scholar
  4. 4.
    Buccafurri, F., Caminiti, G.: A Social-Oriented Semantics for Multi-Agent Systems. Technical Report - TR Lab. Ing. Inf. 05/01, DIMET - University of Reggio Calabria (2005), Available from the authorsGoogle Scholar
  5. 5.
    Buccafurri, F., Gottlob, G.: Multiagent Compromises, Joint Fixpoints, and Stable Models. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, p. 561. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    Cohen, P.R., Levesque, H.: Rational interaction as the basis for communication. In: Intentions in Communication. MIT Press, Cambridge (1990)Google Scholar
  7. 7.
    Cost, R.S., Finin, T., Labrou, Y.: Coordinating Agents Using ACL Conversations. In: Coordination of Internet Agents: Models, Technologies, and Applications, pp. 183–196 (2001)Google Scholar
  8. 8.
    Dell’Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: IJCAI 2003, Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, pp. 847–852 (2003)Google Scholar
  9. 9.
    Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving in DLV. In: Logic-Based Artificial Intelligence, pp. 79–103. Kluwer, Dordrecht (2000)Google Scholar
  10. 10.
    Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: 5th Conf. on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)Google Scholar
  11. 11.
    Mascardi, V., Martelli, M., Sterling, L.: Logic-based specification languages for intelligent software agents. TPLP 4(4), 429–494 (2004)MATHMathSciNetGoogle Scholar
  12. 12.
    Minker, J., Seipel, D.: Disjunctive Logic Programming: A Survey and Assessment. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, p. 472. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. 13.
    Patil, R.S., Fikes, R.E., Patel-Schneider, P.F., McKay, D., Finin, T., Gruber, T., Neches, R.: The DARPA knowledge sharing effort: progress report. In: Principles of KR and Reasoning: Proc. of the 3rd Int. Conf. Kaufmann, San Francisco (1992)Google Scholar
  14. 14.
    van der Hoek, W., Wooldrige, W.: Towards a logic of rational agency. Logic Journal of the IGPL 11(2), 135–159 (2003)MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Wooldridge, M.: Reasoning about Rational Agents. Intelligent Robots and Autonomous Agents. MIT Press, Cambridge (2000)MATHGoogle Scholar
  16. 16.
    Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review 2(10), 115–152 (1995)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Francesco Buccafurri
    • 1
  • Gianluca Caminiti
    • 1
  1. 1.DIMETUniversità degli Studi Mediterranea di Reggio CalabriaReggio CalabriaItaly

Personalised recommendations