In this paper, we provide a theoretical framework for a defeasible deontic reasoning system based on annotated logic programming, we propose an annotated logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) to formulate a defeasible deontic reasoning proposed by D. Nute. We also propose a translation rule from defeasible deontic theory into EVALPSN and show that the derivability of defeasible deontic theory can be translated into the satisfiability of EVALPSN stable model. The combination of a translation system from defeasible deontic theories into EVALPSNs and a computing system of EVALPSN stable models can easily provide a theoretical framework for an automated defeasible deontic reasoning system.
Skip Nav Destination
Article navigation
25 June 2001
COMPUTING ANTICIPATORY SYSTEMS: CASYS 2000 - Fourth International Conference
7-12 Aug 2000
Liege (Belgium)
Research Article|
June 25 2001
A defeasible deontic reasoning system based on annotated logic programming
Kazumi Nakamatsu;
Kazumi Nakamatsu
1Himeji Institute of Technology, Shinzaike 1-1-12, Himeji 670-0092 Japan
Search for other works by this author on:
Jair Minoro Abe;
Jair Minoro Abe
2Paulista University, Rua Dr. Bacelar 121204026-002 Brazil
Search for other works by this author on:
Atsuyuki Suzuki
Atsuyuki Suzuki
3Shizuoka University, Johoku 3-5-1, Hamamatsu 432-8011 Japan
Search for other works by this author on:
AIP Conf. Proc. 573, 609–620 (2001)
Citation
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki; A defeasible deontic reasoning system based on annotated logic programming. AIP Conf. Proc. 25 June 2001; 573 (1): 609–620. https://doi.org/10.1063/1.1388726
Download citation file:
Pay-Per-View Access
$40.00
Sign In
You could not be signed in. Please check your credentials and make sure you have an active account and try again.
Citing articles via
Inkjet- and flextrail-printing of silicon polymer-based inks for local passivating contacts
Zohreh Kiaee, Andreas Lösel, et al.
Design of a 100 MW solar power plant on wetland in Bangladesh
Apu Kowsar, Sumon Chandra Debnath, et al.
Effect of coupling agent type on the self-cleaning and anti-reflective behaviour of advance nanocoating for PV panels application
Taha Tareq Mohammed, Hadia Kadhim Judran, et al.
Related Content
Defeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming
AIP Conference Proceedings (September 2002)
Temporal Relevant Logic as the Logic Basis of Anticipatory Reasoning‐Reacting Systems
AIP Conference Proceedings (August 2004)
An annotated database of low Reynolds aerodynamic coefficients for the NACA0021 airfoil
AIP Conf. Proc. (December 2019)
An annotated database of low Reynolds aerodynamic coefficients for the NACA0018 airfoil
AIP Conf. Proc. (December 2019)
SPNet: Automated object detection of antinode regions in oscillating steelpan drums
J. Acoust. Soc. Am. (October 2019)