A Graphical Representation for Uncertain and Incomplete Temporal Knowledge

Complete and Absolute temporal knowledge is usually not always available for many knowledge based systems, notably in the domain of Artificial Intelligence. Based on a time theory that takes both points and intervals as primitive, this paper introduces a graphical representation for uncertain and incomplete temporal knowledge, which allows logical expressions of both absolute and relative temporal relations, including both logical conjunctions and disjunctions. The consistency of any given collection of uncertain and incomplete temporal knowledge depends on if there is at one temporal scenario that is temporal consistent, where a consistency checker for temporal scenarios is provided.