Equivalence of defeasible normative systems

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearces Equilibrium Logic and its monotonic basis, the logic of Here-and-There. We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic.

Original languageEnglish
Pages (from-to)25-48
Number of pages24
JournalJournal Of Applied Non-Classical Logics
Volume23
Issue number1-2
DOIs
Publication statusPublished - 1 Jun 2013

Keywords

  • deontic logic
  • equilibrium logic
  • logic programming

Fingerprint Dive into the research topics of 'Equivalence of defeasible normative systems'. Together they form a unique fingerprint.

  • Cite this