Application of paraconsistent annotated logic program bf-EVALPSN to intelligent control

Author

Nakamatsu, Kazumi

Author_Institution

Univ. of Hyogo, Himeji, Japan

Volume

1

fYear

2011

fDate

5-8 Oct. 2011

Firstpage

171

Lastpage

180

Abstract

A paraconsistent annotated logic program called EVALPSN has been developed for dealing with defeasible deontic reasoning and plausible reasoning, and applied to various kinds of intelligent control and safety verification. Moreover, in order to deal with before-after relation between processes(time intervals), bf(before-after)-EVALPSN has also been developed recently. In this paper, we review the reasoning system for before-after relation between processes based on bf-EVALPSN. The system consists of two groups of inference rules in bf-EVALPSN called basic and transitive bf-inference rules. The application of the reasoning system to real-time process order control is introduced with simple examples.

Keywords

control engineering computing; inference mechanisms; intelligent control; logic programming; process control; production engineering computing; safety; before-after; bf-EVALPSN program; defeasible deontic reasoning; extended annotated logic program with strong negation; inference rules; intelligent control; paraconsistent annotated logic program; plausible reasoning; process order control; safety verification; Cognition; Joints; Lattices; Process control; Real time systems; Safety; Vectors; EVALPSN; annotated logic program; before-after relation; bf-EVALPSN; reasoning system;

fLanguage

English

Publisher

ieee

Conference_Titel

Telecommunication in Modern Satellite Cable and Broadcasting Services (TELSIKS), 2011 10th International Conference on

Conference_Location

Nis

Print_ISBN

978-1-4577-2018-5

Type

conf

DOI

10.1109/TELSKS.2011.6112029

Filename

6112029