注釈真理値付き論理プログラムのパイプラインプロセス安全性検証への応用 [in Japanese] Application of Annotated Logic Program to Pipeline Process Safety Verification [in Japanese]
Access this Article
Search this Article
We have developed a paraconsistent annotated logic program called Extended Vector Annotated Logic Program with Strong Negation (abbr. EVALPSN), which can deal with defeasible deontic reasoning and contradiction, and we have already applied it to safety verification and control such as railway interlocking safety verification and traffic signal control. In this paper, we introduce process safety verification as an application of EVALPSN with a small example for brewery pipeline valve control. The safety verification control is based on EVALPSN defeasible deontic reasoning to avoid unexpected mix of different sorts of liquid in pipeline networks.
- IEEJ Transactions on Electronics, Information and Systems
IEEJ Transactions on Electronics, Information and Systems 127(3), 397-406, 2007-03-01
The Institute of Electrical Engineers of Japan