Non-Standard Semantics for the Method of Temporal Arguments

Haugh, Brian A.

Non-Standard Semantics for the Method of Temporal Arguments

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 449-454.

Abstract

An expressive first-order temporal logic using the method of temporal arguments is developed and provided with a non-standard semantics that explicates its underlying temporal structure. Objections from the AI literature against the adequacy of temporal argument theories are answered in the course of discussing representational issues for the developed logic. This logic "accords a special status to time," distinguishes the temporal features of event occurrences from ordinary facts, and supports changing ontologies. We conclude that the method of temporal arguments remains a viable candidate for temporal reasoning in AI.

Brian A. Haugh. 1987. Non-Standard Semantics for the Method of Temporal Arguments. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 449–454. https://ijcai.org/proceedings/1987/89

@inproceedings{ijcai1987p89,
  title     = {Non-Standard Semantics for the Method of Temporal Arguments},
  author    = {Haugh, Brian A.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {449--454},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/89},
}

TY  - CPAPER
TI  - Non-Standard Semantics for the Method of Temporal Arguments
AU  - Haugh, Brian A.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 449
EP  - 454
UR  - https://ijcai.org/proceedings/1987/89
ER  -