Work

Pipeline Valve Control Based on EVALPSN Safety Verification

Year: 2006

Type: article

Abstract: 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.

Source: Journal of Advanced Computational Intelligence and Intelligent Informatics

DOI: 10.20965/jaciii.2006.p0647

Author: Kazumi Nakamatsu

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W12920708

FWCI: 3.889

Cites: 12

Cited by: 20

Related to: 10