TY  - RPRT
T1  - An interval-based temporal logic in a multivalued setting
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1992
A1  - Bauer,Mathias
Y1  - 2011/05/18
N2  - We describe the embedding of the semantic notions and modal operators of a first-order temporal logic based on time intervals in a multivalued setting. Truth values will be realized as functions from time intervals to "ordinary" truth values like t and f. The main emphasis lies on the realization of the various modal operators contained in the temporal logic as operations on the functional truth values. We show that it is possible to obtain an efficient system sufficient for tasks in the area of diagnostic reasoning. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3593
ER  -