A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN

Authors:
Kazumi Nakamatsu;Jair Minoro Abe;Seiki Akama
Affiliations:
University of Hyogo, Himeji, Japan;Paulista University, Sao Paulo, Brazil;University of Tsukuba, Tsukuba, Japan
Venue:
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Year:
2009

Citing 3
Cited 0

Towards a general theory of action and time

Artificial Intelligence
Annotated Semantics for Defeasible Deontic Reasoning

RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN

KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

A paraconsistent annotated logic program called bf-EVALPSN has been developed for dealing with before-after relations between time intervals (processes) and applied to real-time process order control. In this paper, we introduce a logical before-after relation reasoning system based on two inference rules for before-after relation with simple examples.