The Logic of Time Structures: Temporal and Nonmonotonic Features

We Imbed Into a first order logic a representation language that combines atemporal 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.

• Type: Conference
• Year: 1989
• Where: IJCAI
• Authors: Mira Balaban, Neil V. Murray
• Keywords: Classical Temporal Logic, IJCAI 1989, IJCAI 2007, Order Logic, Time Structures