The Logic of Time Structures: Temporal and Nonmonotonic Features
Abstract
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. 1.
Cite
Text
Balaban and Murray. "The Logic of Time Structures: Temporal and Nonmonotonic Features." International Joint Conference on Artificial Intelligence, 1989.Markdown
[Balaban and Murray. "The Logic of Time Structures: Temporal and Nonmonotonic Features." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/balaban1989ijcai-logic/)BibTeX
@inproceedings{balaban1989ijcai-logic,
title = {{The Logic of Time Structures: Temporal and Nonmonotonic Features}},
author = {Balaban, Mira and Murray, Neil V.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {1285-1290},
url = {https://mlanthology.org/ijcai/1989/balaban1989ijcai-logic/}
}