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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Carmo, J., Jones, A.: Deontic logics and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, pp. 265–343 (2002)
Chellas, B.: Modal Logic: An Introduction. Cambridge University Press (1980)
Chisholm, R.: Contrary-to-duty imperatives and deontic logic. Analysis 24(2), 33–36 (1963)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP, pp. 1070–1080. MIT Press (1988)
Gonçalves, R., Alferes, J.J.: Parametrized Logic Programming. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 182–194. Springer, Heidelberg (2010)
Gonçalves, R., Alferes, J.J.: Parametrized Equilibrium Logic. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 236–241. Springer, Heidelberg (2011)
Governatori, G., Rotolo, A.: Bio logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17(1), 36–69 (2008)
Horty, J.F.: Deontic logic as founded on nonmonotonic logic. Ann. Math. Artif. Intell. 9(1-2), 69–91 (1993)
Lewis, D.: Semantic analyses for dyadic deontic logic. Cambridge University Press (1999)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)
Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30, 155–185 (2001)
Makinson, D., van der Torre, L.: What is input/output logic? input/output logic, constraints, permissions. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings, vol. 07122 (2007)
Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5) (2010)
Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)
van der Torre, L.: Contextual deontic logic: Normative agents, violations and independence. Ann. Math. Artif. Intell. 37(1-2), 33–63 (2003)
von Wright, G.H.: Deontic logic. Mind 60, 1–15 (1951)
Wójcicki, R.: Theory of Logical Calculi. Synthese Library. Kluwer Academic Publishers (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gonçalves, R., Alferes, J.J. (2012). An Embedding of Input-Output Logic in Deontic Logic Programs. In: Ågotnes, T., Broersen, J., Elgesem, D. (eds) Deontic Logic in Computer Science. DEON 2012. Lecture Notes in Computer Science(), vol 7393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31570-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-31570-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31569-5
Online ISBN: 978-3-642-31570-1
eBook Packages: Computer ScienceComputer Science (R0)