Affiliations: [a] School of Human Science and Environment, University of Hyogo, 1-1-12 Shinzaike, Himeji, 670-0092, Japan | [b] Graduate Program in Production Engineering, ICET – Paulista University, R. Dr. Bacelar 1212, CEP 04026-002 São Paulo – SP – BRAZIL Institute For Advanced Studies – University of São Paulo, São Paulo – SP – Brazil | [c] Department of Risk Engineering, School of Systems and Information Engineering, University of Tsukuba, Tsukuba, Ibaraki, 305-8573, Japan
Abstract: A paraconsistent annotated logic program called EVALPSN has been developed for dealing with defeasible deontic reasoning and plausible reasoning, and applied to various kinds of intelligent control and safety verification. Moreover, in order to deal with before-after relation between processes(time intervals), bf(before-after)-EVALPSN has also been developed recently. In this paper, we propose a logical reasoning system for before-after relation between processes based on bf-EVALPSN. The system consists of two groups of inference rules in bf-EVALPSN called basic and transitive bf-inference rules. The application of the reasoning system to real-time process order control is also introduced with simple examples.
Keywords: Before-after relation, EVALPSN, bf-EVALPSN, annotated logic program, reasoning system
