Annotated semantics for defeasible deontic reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2005, Issue , 2001, Pages 470-478

  Nakamatsu, Kazumi ^a   Abe, Jair Minoro ^b   Suzuki, Atsuyuki ^c  

^a UNIVERSITY OF HYOGO   (Japan)

^b Shizuoka University ^*  (Brazil)

^c SHIZUOKA UNIVERSITY   (Japan)

Author keywords

Annotated logic; Defeasible deontic logic; Extended vector annotated logic program with strong negation; Stable model

Indexed keywords

COMPUTATION THEORY; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; ROUGH SET THEORY; SEMANTICS;

ANNOTATED LOGIC; ANNOTATED LOGIC PROGRAMS; DEONTIC; DEONTIC LOGIC; DEONTIC REASONING; EVALPSN; STABLE MODEL; STRONG NEGATIONS;

COMPUTER CIRCUITS;

EID: 84957801930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45554-X_58     Document Type: Conference Paper

References (12)

1. Billington, D.: Conicting Literals and Defeasible Logic. Proc. 2nd AustralianWorkshop on Commonsense Reasoning, (1997) 1-15
2. Da Costa, N.C.A., Subrahmanian, V.S., and Vago, C.: The Paraconsistent Logics PT. Zeitschrift für MLGM 37 (1989) 139-148
3. 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
4. Lloyd, J.W.: Foundations of Logic Programming (2nd edition). Springer (1987)
5. Meyer, C.J. and Wieringa, J.R.: Deontic Logic in Computer Science. John Wiley & Sons (1993)
6. 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.49 IOS Press (1999)
7. Nakamatsu, K. and Suzuki, A.: Annotated Semantics for Default Reasoning. Proc. 3rd Pacific Rim International Conference on Artificial Intelligence (1994) 180-186
8. Nakamatsu, K. and Suzuki, A.: A Nonmonotonic ATMS Based on Annotated Logic Programs. Agents and Multi-Agents Systems, LNAI 1441 Springer (1998) 79-93
9. 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
10. Nute, D.: Basic Defeasible Logics. Intensional Logics for Programming. Oxford University Press (1992) 125-154
11. Nute, D.: Apparent Obligation. Defeasible Deontic Logic. Kluwer Academic Publisher (1997) 287-316
12. Prakken, H.: Logical Tools for Modelling Legal Argument A Study of Defeasible Reasoning in Law. Law and Philosophy Library Vol.32 Kuwer Academic (1997)