Paraconsistent Annotated Logic Program EVALPSN and Its Applications

2015 ◽  
pp. 39-85
Author(s):  
Kazumi Nakamatsu ◽  
Jair Minoro Abe ◽  
Seiki Akama
Keyword(s):  
Logic Program ◽  
Annotated Logic

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

2013 ◽  
Vol 26 (1) ◽  
pp. 11-30
Author(s):  
Kazumi Nakamatsu
Keyword(s):  
Real Time ◽  
Intelligent Control ◽  
Logic Program ◽  
Inference Rules ◽  
Time Process ◽  
Time Intervals ◽  
Safety Verification ◽  
Deontic Reasoning ◽  
Reasoning System ◽  
Annotated Logic

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.

Pipeline Valve Control Based on EVALPSN Safety Verification

2006 ◽  
Vol 10 (5) ◽  
pp. 647-656 ◽  
Author(s):  
Kazumi Nakamatsu ◽  
Keyword(s):  
Logic Program ◽  
Strong Negation ◽  
Safety Verification ◽  
Deontic Reasoning ◽  
Pipeline Valve ◽  
And Control ◽  
Valve Control ◽  
Annotated Logic

We have developed an annotated logic program called an Extended Vector Annotated Logic Program with Strong Negation (abbr. EVALPSN), which can deal with defeasible deontic reasoning and contradiction. We have already applied EVALPSN to safety verification and control such as railway interlocking safety verification. In this paper, we show how to apply EVALPSN to pipeline valve control with an example for brewery pipeline valve control. The safety verification control is based on EVALPSN programming to avoid unexpected mix of different sorts of liquid.

Sign in / Sign up

Export Citation Format

Share Document