Extending answer sets for logic programming agents

M De Vos, D Vermeir

Research output: Contribution to journalArticle

11 Citations (Scopus)
165 Downloads (Pure)

Abstract

We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents connected by means of unidirectional communication channels. Agents communicate with each other by passing answer sets obtained by updating the information received from connected agents with their own private information. We introduce a credulous answer set semantics for logic programming agents. As an application, we show how extensive games with perfect information can be conveniently represented as logic programming agent systems, where each agent embodies the reasoning of a game player, such that the equilibria of the game correspond with the semantics agreed upon by the agents in the LPAS.
Original languageEnglish
Pages (from-to)103-139
Number of pages37
JournalAnnals of Mathematics and Artificial Intelligence
Volume42
Issue number1-3
DOIs
Publication statusPublished - 2004

Fingerprint Dive into the research topics of 'Extending answer sets for logic programming agents'. Together they form a unique fingerprint.

  • Cite this