A Discrete Event Control Based on EVALPSN Stable Model Computation.

In this paper, we introduce a discrete event control for Cat and Mouse example based on a paraconsistent logic program EVALPSN stable model computation. Predicting and avoiding control deadlock states are crucial problems in discrete event control systems. We show that the EVALPSN control can deal with prediction and avoidance of control dadlock states in the Cat and Mouse by defining general rules to represent the deadlock states in EVALPSN, and is much more flexible than the previous version of EVALPSN Cat and Mouse control. We also show how to translate the control properties of the Cat and Mouse into EVALPSN. Keywords: discrete event control, EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), stable model, control deadlock, paraconsistent logic program. [ABSTRACT FROM AUTHOR]