A Logic Language with Stable Model Semantics for Social Reasoning

* Final gross prices may vary according to local VAT.

Get Access

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.