A discrete event control based on EVALPSN stable model computation

Authors:
Kazumi Nakamatsu;Sheng-Luen Chung;Hayato Komaba;Atsuyuki Suzuki
Affiliations:
School of H.S.E., University of Hyogo, Himeji, Japan;Dept. Electrical Eng., NTUST, Taipei, Taiwan;Dept. Information, Shizuoka University, Hamamatsu, Japan;Dept. Information, Shizuoka University, Hamamatsu, Japan
Venue:
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Year:
2005

Citing 4
Cited 1

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Paraconsistent logic programming

Theoretical Computer Science
Annotated Semantics for Defeasible Deontic Reasoning

RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN

RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing

An Intelligent Coordinated Traffic Signal Control Based on EVALPSN

KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.