Annotated Semantics for Defeasible Deontic Reasoning

Nakamatsu, Kazumi; Abe, Jair Minoro; Suzuki, Atsuyuki

doi:10.1007/3-540-45554-x_58

Cited by 47 publications

(14 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, hereafter we assume that the integer n in the complete lattice v T is 3. In order to deal with defeasible deontic reasoning we developed EVALPSN [13], [14] by extending VALPSN. An annotation in EVALPSN called an extended vector annotation has a form of [( , ) : ]…”

Section: Evalpsnmentioning

confidence: 99%

“…Three kinds of annotated logic programs, Annotated Logic Program with Strong Negation (ALPSN for short) for dealing with default reasoning [7], [8], Vector Annotated Logic Program with Strong Negation (VALPSN for short) for dealing with defeasible reasoning [9], [10], [11], and EVALPSN, an extended version of VALPSN, for dealing with defeasible deontic reasoning [13], [14] were introduced by Nakamatsu et al.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation

Nakamatsu¹,

Mita²,

Shibata³

2007

Intelligent Automation & Soft Computing

View full text Add to dashboard Cite

Various intelligent control systems for autonomous machines have been developed, and such intelligent control systems often require real time processing. However, it is difficult for software control to realize fast real time processing. Therefore, intelligent control systems that can be easily hardware implemented are expected. We propose a theoretical framework for intelligent autonomous action control systems based on a paraconsistent logic program called an EVALPSN. The paraconsistent logic program EVALPSN can deal with defeasible deontic reasoning and conflicts, and is appropriate for hardware implementation. In order to show the feature of the intelligent action control, we take a virtual beetle robot action control system as an example. Moreover, we introduce the electronic circuit implementation for the robot action control system with experimental results.

show abstract

Section: Evalpsnmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation

Nakamatsu¹,

Mita²,

Shibata³

2007

Intelligent Automation & Soft Computing

View full text Add to dashboard Cite

show abstract

“…as well as the translation from default theory into ALPSN in [7]. Then, the VALPSN P has two stable models,…”

Section: Translationmentioning

confidence: 99%

“…We have proposed ALPSN (Annotated Logic Program with Strong Negation) and shown that it can provide the declarative semantics for default reasoning and a non-monotonic ATMS [7,8]. However, ALPSN is not so appropriate for dealing with defeasible reasoning or decision making.…”

Section: Introductionmentioning

confidence: 99%

On the relation between vector annotated logic programs and defeasible theories

Nakamatsu

2004

LLP

View full text Add to dashboard Cite

show abstract

“…Furthermore, we have developed the paraconsistent annotated logic program to deal with inconsistency and some kinds of non-monotonic reasoning in a framework of annotated logic programming by using ontological (strong) negation and the stable model semantics [6], which is called annotated logic program with strong negation (ALPSN for short). Later, to deal with defeasible reasoning [14], we proposed a new version of ALPSN called vector annotated logic program with strong negation (VALPSN for short) and applied it to resolving conflicts [7].…”

mentioning

confidence: 99%

The paraconsistent process order control method

Nakamatsu

Abe

2013

Vietnam J Comput Sci

View full text Add to dashboard Cite

We have already developed some kinds of paraconsistent annotated logic programs. In this paper we propose the paraconsistent process order control method based on a paraconsistent annotated logic program called before-after extended vector annotated logic program with strong negation (bf-EVALPSN) with a small example of pipeline process order verification. Bf-EVALPSN can deal with before-after relations between two processes (time intervals) in its annotations, and its reasoning system consists of two kinds of inference rules called the basic bf-inference rule and the transitive bf-inference rule. We introduce how the bf-EVALPSN-based reasoning system can be applied to the safety verification for process order.

show abstract

Annotated Semantics for Defeasible Deontic Reasoning

Cited by 47 publications

References 4 publications

An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation

An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation

On the relation between vector annotated logic programs and defeasible theories

The paraconsistent process order control method

Contact Info

Product

Resources

About