---
title: "The Interaction of Observation and Inference in a Formal Representation System"
authors:
  - "Robert E. Filman"
doi: ""
url: "https://ijcai.org/proceedings/1979/61"
pdf: "https://ijcai.org/proceedings/1979/0061.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# The Interaction of Observation and Inference in a Formal Representation System

Robert E. Filman

*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.