APPLICATION OF PARACONSISTENT ANNOTATED LOGIC PROGRAM BF-EVALPSN TO INTELLIGENT CONTROL

摘要

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