A Logic Language with Stable Model Semantics for Social Reasoning

Authors:
Francesco Buccafurri;Gianluca Caminiti;Rosario Laurendi
Affiliations:
DIMET, Università degli Studi Mediterranea di Reggio Calabria, Reggio, Italy 89122;DIMET, Università degli Studi Mediterranea di Reggio Calabria, Reggio, Italy 89122;DIMET, Università degli Studi Mediterranea di Reggio Calabria, Reggio, Italy 89122
Venue:
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Year:
2008

Citing 7
Cited 2

Multiagent Compromises, Joint Fixpoints, and Stable Models

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Weight constraints as nested expressions

Theory and Practice of Logic Programming
A Constructive semantic characterization of aggregates in answer set programming

Theory and Practice of Logic Programming
Logic programming with social features1

Theory and Practice of Logic Programming
Equilibria in heterogeneous nonmonotonic multi-context systems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Declarative and computational properties of logic programs with aggregates

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources

Logic programming, knowledge representation, and nonmonotonic reasoning
Communicating ASP and the polynomial hierarchy

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning

Quantified Score

Hi-index	0.00

Visualization

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.