Pipeline Valve Control Based on EVALPSN Safety Verification | Zendy

Kazumi Nakamatsu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Pipeline Valve Control Based on EVALPSN Safety Verification

Author(s) -

Kazumi Nakamatsu

Publication year - 2006

Publication title -

journal of advanced computational intelligence and intelligent informatics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.172

H-Index - 20

eISSN - 1343-0130

pISSN - 1883-8014

DOI - 10.20965/jaciii.2006.p0647

Subject(s) - computer science , pipeline (software) , control (management) , safety valve , fuzz testing , programming language , software engineering , artificial intelligence , engineering , mechanical engineering , software

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research