Intelligent Safety Verification for Pipeline Process Order Control Based on EVALPSN

摘要

A paraconsistent logic program called Extended Vector Annotated Logic Program with Strong Negation(abbr. EVALPSN) has been developed for dealing with defeasible deontic reasoning and plausible reasoning, and also applied to various kinds of intelligent safety verification and control. Moreover, in order to deal with before-after relation between processes (time intervals), another EVALPSN called bf(before-after)-EVALPSN has been developed recently. In this paper, we review the reasoning system for before-after relation between processes based on bf-EVALPSN and introduce how to apply the reasoning system to real-time pipeline process order safety verification and control with an example.