Publikation

An Interval-based Temporal Logic in a Multivalued Setting

Mathias Bauer

DFKI DFKI Research Reports (RR) 92-10 1992.

Abstrakt

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.

RR-92-10.pdf (pdf, 15 MB)

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence