ML Anthology

Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories

Yoav Shoham
AAAI 1986 pp. 389-393
/aaai/1986/shoham1986aaai-chronological/

Abstract

Abstract. Concerned with the problem of reason-ing efficiently about change within a formal system, we identify the initiution problem. The solution to it which we offer, called the logic of chronological igno-rance, combines temporal logic, nor-monotonic logic, and the modal logic of necessity. We identify a class of theories, called causal theories, which have elegant model-theoretic and complexity properties in the new logic.

PDF AAAI Semantic Scholar

Cite

Text

Shoham. "Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories." AAAI Conference on Artificial Intelligence, 1986.

Markdown

[Shoham. "Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories." AAAI Conference on Artificial Intelligence, 1986.](https://mlanthology.org/aaai/1986/shoham1986aaai-chronological/)

BibTeX

@inproceedings{shoham1986aaai-chronological,
  title     = {{Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories}},
  author    = {Shoham, Yoav},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1986},
  pages     = {389-393},
  url       = {https://mlanthology.org/aaai/1986/shoham1986aaai-chronological/}
}