An embedding of input-output logic in deontic logic programs

Authors:
Ricardo Gonçalves;José Júlio Alferes
Affiliations:
CENTRIA - Dep. Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal;CENTRIA - Dep. Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal
Venue:
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Year:
2012

Citing 4
Cited 1

BIO logical agents: Norms, beliefs, intentions in defeasible logic

Autonomous Agents and Multi-Agent Systems
Reconciling description logics and rules

Journal of the ACM (JACM)
Parametrized logic programming

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Parametrized equilibrium logic

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

Deontic logic programs

Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

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.