A Logic Language with Stable Model Semantics for Social Reasoning

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


In this paper we present a new language based on logic programming allowing us to represent some forms of social reasoning. The nice feature of this semantics is that the interdependent individuals’ requirements might result in a sort of guessing of agreed conclusions, which autonomously each individual cannot derive, thus capturing the common case of mutual influence of a community in the individuals’ reasoning.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Son, T.C., Pontelli, E.: A Constructive Semantic Characterization of Aggregates in Answer Set Programming. TPLP 7(3), 355–375 (2007)MathSciNetMATHGoogle Scholar
  2. 2.
    Faber, W., Leone, N., Pfeifer, G.: Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 200–212. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Calimeri, F., Faber, W., Leone, N., Perri, S.: Declarative and Computational Properties of Logic Programs with Aggregates. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 406–411. Professional Book Center (2005)Google Scholar
  4. 4.
    Ferraris, P., Lifschitz, V.: Weight Constraints as Nested Expressions. TPLP 5(1-2) (2005)Google Scholar
  5. 5.
    Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: AAAI, pp. 385–390. AAAI Press, Menlo Park (2007)Google Scholar
  6. 6.
    Buccafurri, F., Caminiti, G.: Logic Programming with Social Features. TPLP (to appear)Google Scholar
  7. 7.
    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, vol. 2407. Springer, Heidelberg (2002)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.
    Faber, W., Pfeifer, G., Leone, N., Dell’Armi, T., Ielpa, G.: Design and Implementation of Aggregate Functions in the DLV System. CoRR abs/0802.3137 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Francesco Buccafurri
    • 1
  • Gianluca Caminiti
    • 1
  • Rosario Laurendi
    • 1
  1. 1.DIMETUniversità degli Studi Mediterranea di Reggio CalabriaReggioItaly

Personalised recommendations