A Logic Language with Stable Model Semantics for Social Reasoning

  • Francesco Buccafurri
  • Gianluca Caminiti
  • Rosario Laurendi
Conference paper

DOI: 10.1007/978-3-540-89982-2_64

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5366)
Cite this paper as:
Buccafurri F., Caminiti G., Laurendi R. (2008) A Logic Language with Stable Model Semantics for Social Reasoning. In: Garcia de la Banda M., Pontelli E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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