A Logic Language with Stable Model Semantics for Social Reasoning
- 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
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.