A Paraconsistent Logic Program bf-EVALPSN and its Application to Process Order Control

Author

Nakamatsu, Kazumi ; Akama, Seiki ; Abe, Jair Minoro

Author_Institution

Univ. of Hyogo, Himeji

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

218

Lastpage

223

Abstract

We have already proposed a paraconsistent annotated logic program called EVALPSN (extended vector annotated logic program with strong negation) and applied it to various control based on safety verification. In this paper, a new EVALPSN called bf (before-after)-EVALPSN that can deal with before-after relation between two processes is introduced, and its application to real-time process order control based on safety verification is presented with simple examples. Moreover, some useful features of bf-EVALPSN for real-time control are introduced.

Keywords

intelligent control; logic programming; process control; production engineering computing; safety; before-after-extended vector annotated logic program with strong negation; intelligent control; paraconsistent annotated logic program; real-time process order control; safety verification; Cleaning; Computational efficiency; Explosions; Intelligent control; Lattices; Logic; Pipelines; Process control; Safety; TV; EVALPSN; intelligent control; paraconsistent annotated logic program; process order control;

fLanguage

English

Publisher

ieee

Conference_Titel

Information and Automation for Sustainability, 2008. ICIAFS 2008. 4th International Conference on

Conference_Location

Colombo

Print_ISBN

978-1-4244-2899-1

Electronic_ISBN

978-1-4244-2900-4

Type

conf

DOI

10.1109/ICIAFS.2008.4783923

Filename

4783923