Some Considerations on the Relationship among the Frame Problem, Non-monotonic Logic, and the Yale Shooting Problem

Abstract

This paper develops some considerations on the frame problem and the Yale Shooting Problem. The following are our assertions. (1) The attempt to solve the Yale Shooting Problem has no direct relations with the frame problem. (2) The existence of the Yale Shooting Problem does not mean that formal logic is inferior as the framework of knowledge representation. (3) The attempt to solve the Yale Shooting Problem is regarded as one of the attempts to represent the specific knowledge with the specific framework efficiently. (4) The fact that all the solutions to the Yale Shooting Problem are ad-hoc suggests that we can not represent complex knowledge with the existent frameworks by non ad-hoc ways. (5) The fact that such a trivial case as the Yale Shooting Problem still exists in the non-monotonic world now is a circumstantial evidence of unsolvability of the frame problem.