Abstract
In this paper, we propose an annotated logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) to formulate the semantics for a defeasible deontic reasoning proposed by D.Nute. We propose a translation from defeasible deontic theory into EVALPSN and show that the stable model of EVALPSN provides an annotated semantics for D.Nute’s defeasible deontic logic. The annotated semantics can provide a theoretical base for an automated defeasible deontic reasoning system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Billington, D.: Conicting Literals and Defeasible Logic. Proc. 2nd AustralianWorkshop on Commonsense Reasoning, (1997) 1–15
Da Costa, N.C.A., Subrahmanian, V.S., and Vago, C.: The Paraconsistent Logics PT. Zeitschrift für MLGM 37 (1989) 139–148
Gelfond, M. and Lifschitz, V.: The Stable Model Semantics for Logic Programming. Proc. 5th Int'l Conf. and Symp. on Logic Programming (1989) 1070–1080
Lloyd, J.W.: Foundations of Logic Programming(2nd edition). Springer (1987)
Meyer, C.J. and Wieringa, J.R.: Deontic Logic in Computer Science. John Wiley & Sons (1993)
McNamara, P. and Prakken, H.(eds.): Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, Frontiers in Artificial Intelligence and Applications Vol.49IOS Press (1999)
Nakamatsu, K. and Suzuki, A.: Annotated Semantics for Default Reasoning. Proc. 3rd Pacific Rim International Conference on Artificial Intelligence (1994) 180–186
Nakamatsu, K. and Suzuki, A.: A Nonmonotonic ATMS Based on Annotated Logic Programs. Agents and Multi-Agents Systems, LNAI 1441 Springer (1998) 79–93
Nakamatsu, K.and Abe, J.M.: Reasonings Based on Vector Annotated Logic Programs. Computational Intelligence for Modelling, Control & Automation, Concurrent Systems Engineering Series 55. IOS Press (1999) 396–403
Nute, D.: Basic Defeasible Logics. Intensional Logics for Programming. Oxford University Press (1992) 125–154
Nute, D.: Apparent Obligation. Defeasible Deontic Logic. Kluwer Academic Publisher (1997) 287–316
Prakken, H.: Logical Tools for Modelling Legal Argument A Study of Defeasible Reasoning in Law. Law and Philosophy Library Vol.32 Kuwer Academic (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakamatsu, K., Abe, J.M., Suzuki, A. (2001). Annotated Semantics for Defeasible Deontic Reasoning. In: Ziarko, W., Yao, Y. (eds) Rough Sets and Current Trends in Computing. RSCTC 2000. Lecture Notes in Computer Science(), vol 2005. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45554-X_58
Download citation
DOI: https://doi.org/10.1007/3-540-45554-X_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43074-2
Online ISBN: 978-3-540-45554-7
eBook Packages: Springer Book Archive