Pipeline Valve Control Based on EVALPSN Safety Verification

摘要

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.