An embedding of input-output logic in deontic logic programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

Parametrized logic programs, for which a syntax and natural declarative semantics have been recently defined, are very expressive logic programs under the stable model semantics (also usually called answer set programs) in which complex formulas of a given parameter logic are allowed to appear in the body and head of rules. The choice of the parameter logic depends largely on the domain of the problem to be modeled. In this paper we show how input-output logic can be embedded into parametrized logic programs, by choosing deontic logic as the parameter logic. This embedding not only shows how to recast input-out logic in this extension of answer set programming, but also sheds light on how to extend input-output logic with some interesting non-monotonic features.

Original languageEnglish
Title of host publicationDeontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings
EditorsT. Ågotnes, J. Broersen, D. Elgesem
Place of PublicationBerlin, Heidelberg
PublisherSpringer Verlag
Pages61-75
Number of pages15
ISBN (Electronic)978-3-642-31570-1
ISBN (Print)978-3-642-31569-5
DOIs
Publication statusPublished - 15 Aug 2012
Event11th International Conference on Deontic Logic in Computer Science, DEON 2012 - Bergen, Norway
Duration: 16 Jul 201218 Jul 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume7393 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Conference on Deontic Logic in Computer Science, DEON 2012
CountryNorway
CityBergen
Period16/07/1218/07/12

Fingerprint Dive into the research topics of 'An embedding of input-output logic in deontic logic programs'. Together they form a unique fingerprint.

Cite this