| | |
Summary: 1
MULTI-VALUED TEMPORAL REASONING FRAMEWORK
FOR DECISION-MAKING
Zhirui Lu, Jun Liu, Juan Carlos Augusto and Hui Wang
School of Computing and Mathematic, University of Ulster at Jordanstown, Shore Road,
Newtownabbey BT37 0QB, Northern Ireland, UK
Abstract. We present a multi-valued temporal reasoning framework which can be used to
analyse problems with uncertainty under dynamic environment. We show that it is
feasible to combine temporal logic and multi-valued logic and we illustrate the
framework with a simple but realistic example
1. Introduction
Systems with temporal and uncertain conditions exist in the real world, where
the state of a system evolve over time and the transition of state depends on
uncertain conditions. such as Smart Homes systems, airport risk management et
al. Solving problems in such systems depend on the formal mechanisms used,
e.g., logic systems, statistical methods and probabilistic methods. There are logic
reasoning systems that can be used to solve problems under temporal condition,
or under uncertain condition. It is not hard to see that such a logic reasoning
system would be quite complicated.
This paper reports work as part of an attempt to develop a reasoning system
|
