The Interaction of Observation and Inference in a Formal Representation System
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
This work Is an attempt to form;~lly represent the kn01¥1edge required for the solution of a difficult retrograde chess problem (figure 1). This solution Includes the extension of a formal deductive system to Include an observational facility. Using a proof checker for first order logic, FOL [9], we have detailed a proof of the solution of the puzzle, Including proofs for almost all of the necessary associated lemmas [2]. We shall highlight the various representational decisions made In the process of axiomatizing retrograde chess, discussing both the necessity for these particular choices, and their Implications for designers of representations for other domains. This work Is part of the search for epistemologically e.Jftctive formalisms for artificial Intelligence.
@inproceedings{ijcai1979p61,
title = {The Interaction of Observation and Inference in a Formal Representation System},
author = {Filman, Robert E.},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/61},
}
TY - CPAPER TI - The Interaction of Observation and Inference in a Formal Representation System AU - Filman, Robert E. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/61 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
