The Logic of Occurrence

Forbus, Kenneth D.

The Logic of Occurrence

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 409-414.

Abstract

A general problem in qualitative physics is determining the consequences of assumptions about the behavior of a system. If the space of behaviors is represented by an envisionment , many such consequences can be represented by pruning states from the envisionment. This paper provides a: formal logic of oc· currence which justifies the algorithms involved and provides a language for relating specific histories to envisionments. The concepts and axioms are general enough to be applicable to any system of qualitative physics. We further propose the concept of tramverse quantities as a general solution to qualitative versions of Zeno's paradox . The utility of these ideas is illustrated by a rational reconstruction of the pruning algorithms used in FROB, a working AI program.

Kenneth D. Forbus. 1987. The Logic of Occurrence. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 409–414. https://ijcai.org/proceedings/1987/82

@inproceedings{ijcai1987p82,
  title     = {The Logic of Occurrence},
  author    = {Forbus, Kenneth D.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {409--414},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/82},
}

TY  - CPAPER
TI  - The Logic of Occurrence
AU  - Forbus, Kenneth D.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 409
EP  - 414
UR  - https://ijcai.org/proceedings/1987/82
ER  -