A LINGUISTIC TRUTH-VALUE TEMPORAL REASONING (LTR) SYSTEM AND ITS APPLICATION TO THE DESIGN OF AN INTELLIGENT ENVIRONMENT

被引：10

作者：

Lu, Zhirui ^{[1
]}

Augusto, Juan ^{[1
]}

Liu, Jun ^{[1
]}

Wang, Hui ^{[1
]}

机构：

[1] Univ Ulster, Sch Comp & Math, Newtownabbey BT37 0QB, Antrim, North Ireland

来源：

INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS | 2012年 / 5卷 / 01期

关键词：

Logic; Decision-making; Uncertainty; Temporality; Forward Reasoning; Backward Reasoning; FUZZY-LOGIC; DECISION-SUPPORT;

D O I：

10.1080/18756891.2012.670529

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper focuses on a linguistic-valued temporal logic based reasoning formalism for dynamically modelling and merging information under uncertainty in some real world systems where the state of a system evolves over time and the transition through states depends on uncertain conditions. We provide forward and backward reasoning algorithms which, respectively, support simulation and query answering. These algorithms are then explained through several examples based on Smart Homes applications.

引用

页码：173 / 196

页数：24

共 46 条

[1]

ALLEN J, 1991, INT J INTELL SYST, V6, P1

[2]

Allen J. E., 1994, Journal of Logic and Computation, V4, P531, DOI 10.1093/logcom/4.5.531

[3] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].

ALLEN, JF .

COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843

[4]

[Anonymous], 2001, STUDIES LOGIC COMPUT

[5]

[Anonymous], 2003, STUD FUZZINESS SOFT

[6]

[Anonymous], 2000, MATH PRINCIPLES FUZZ

[7]

[Anonymous], 1998, LINEAR TIME TEMPORAL

[8]

Augusto J., 2003, NEW GENERATION COMPU, V21

[9] Temporal reasoning for decision support in medicine [J].

Augusto, JC .

ARTIFICIAL INTELLIGENCE IN MEDICINE, 2005, 33 (01) :1-24

[10]

AUGUSTO JC, 2007, P 2 WORKSH ART INT T

← 1 2 3 4 5 →