The Logic of Time Structures: Temporal and Nonmonotonic Features

Balaban, Mira; Murray, Neil V.

The Logic of Time Structures: Temporal and Nonmonotonic Features

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 1285-1289.

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 nonmonotonlc Inference, by simulating preferential entailment within a first order framework.

Mira Balaban, and Neil V. Murray. 1989. The Logic of Time Structures: Temporal and Nonmonotonic Features. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 1285–1289. https://ijcai.org/proceedings/1989/206

@inproceedings{ijcai1989p206,
  title     = {The Logic of Time Structures: Temporal and Nonmonotonic Features},
  author    = {Balaban, Mira and Murray, Neil V.},
  booktitle = {Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence, {IJCAI-89}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {N. S. Sridharan},
  pages     = {1285--1289},
  year      = {1989},
  month     = {8},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1989/206},
}

TY  - CPAPER
TI  - The Logic of Time Structures: Temporal and Nonmonotonic Features
AU  - Balaban, Mira
AU  - Murray, Neil V.
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 1285
EP  - 1289
UR  - https://ijcai.org/proceedings/1989/206
ER  -