Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
MULTI-VALUED TEMPORAL REASONING FRAMEWORK FOR DECISION-MAKING
 

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

  

Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown

 

Collections: Computer Technologies and Information Sciences