Logic Programming and Nonmonotonic Reasoning

Volume 3662 of the series Lecture Notes in Computer Science pp 317-329

A Social Semantics for Multi-agent Systems

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

* Final gross prices may vary according to local VAT.

Get Access


As in human world many of our goals could not be achieved without interacting with other people, in case many agents are part of the same environment one agent should be aware that he is not alone and he cannot assume other agents sharing his own goals. Moreover, he may be required to interact with other agents and to reason about their mental state in order to find out potential friends to join with (or opponents to fight against). In this paper we focus on a language derived from logic programming which both supports the representation of mental states of agent communities and provides each agent with the capability of reasoning about other agents’ mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.