Chapter

Logic Programming

Volume 5366 of the series Lecture Notes in Computer Science pp 718-723

A Logic Language with Stable Model Semantics for Social Reasoning

  • Francesco BuccafurriAffiliated withDIMET, Università degli Studi Mediterranea di Reggio Calabria
  • , Gianluca CaminitiAffiliated withDIMET, Università degli Studi Mediterranea di Reggio Calabria
  • , Rosario LaurendiAffiliated withDIMET, Università degli Studi Mediterranea di Reggio Calabria

* 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.