Home // ICONS 2012, The Seventh International Conference on Systems // View article

Intelligent Safety Verification for Pipeline Process Order Control Based on EVALPSN

Authors:
Kazumi Nakamatsu
Jair Abe
Seiki Akama

Keywords: before-after relation, paraconsistent logic program, safety verification, pipeline process order, reasoning system

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

Pages: 175 to 183

Copyright: Copyright (c) IARIA, 2012

Publication date: February 29, 2012

Published in: conference

ISSN: 2308-4243

ISBN: 978-1-61208-184-7

Location: Saint Gilles, Reunion

Dates: from February 29, 2012 to March 5, 2012