Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Linguistic Truth-Valued Temporal Reasoning Formalism and Its Implementation

Summary: A Linguistic Truth-Valued Temporal Reasoning Formalism and
Its Implementation
Zhirui Lu, Jun Liu, Juan C. Augusto, and Hui Wang
Abstract Temporality and uncertainty are important features of many real world
systems. Solving problems in such systems requires the use of formal mechanism
such as logic systems, statistical methods or other reasoning and decision-making
methods. In this paper, we propose a linguistic truth-valued temporal reasoning
formalism to enable the management of both features concurrently using a
linguistic truth valued logic and a temporal logic. We also provide a backward
reasoning algorithm which allows the answering of user queries. A simple but
realistic scenario in a smart home application is used to illustrate our work.
1. Introduction
One of the common problems in decision making is how to make the best possible
decision based on uncertain information in dynamic environments, which exists in
many applications, e.g., smart homes, risk management, disaster monitoring and
management, weather forecast, and stock market analysis, etc. Combining logic
system into decision support system is one of feasible methodologies to handle
these complex problems, and such logic systems are usually merged by many-
valued/fuzzy logic and temporal logic. The reason using such combined system is
that the complex problems can be separated into two major parts to handle,


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


Collections: Computer Technologies and Information Sciences