The logic of time structures: temporal and nonmonotonic features

Authors:
Mira Balaban;Neil V. Murray
Affiliations:
Dept. of Computer Science, Ben-Gurion University, Beer-Sheva, Israel;Dept. of Computer Science, State Univ. of N.Y. at Albany, Albany, NY
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Year:
1989

Citing 5
Cited 0

Towards a general theory of action and time

Artificial Intelligence
A logic-based calculus of events

New Generation Computing
Temporal data base management

Artificial Intelligence
Temporal logics in AI: semantical and ontological considerations

Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence

Reasoning about change: time and causation from the standpoint of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We Imbed Into a first order logic a representation language that combines a temporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chronology of events: sufficient information for an encoding of a classical temporal logic. By quantifying over time structures, we encode a modal logic of temporal knowledge. In addition, we show how to achieve the effect of nonmonotonic inference, by simulating preferential entailment within a first order framework.