An intelligent safety verification based on a paraconsistent logic program

Authors:
Kazumi Nakamatsu;Seiki Akama;Jair Minoro Abe
Affiliations:
University of Hyogo, Himeji, Japan;Teikyo Heisei University, Chiba, Japan;University of Sao Paulo, Paulista University, Sao Paulo, Brazil
Venue:
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Year:
2005

Citing 2
Cited 3

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

Knowledge Assessment Based on Many-Valued Logic

KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Decision making rules for assessment of students' knowledge

CATE '07 Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education
Application of paraconsistent annotated logic in intelligent systems

ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce an intelligent safety verification method based on a paraconsistent logic program EVALPSN with a simple example for brewery pipeline valve control. The safety verification is carried out by paraconsistent logic programming called EVALPSN.