フレーム問題,非単調論理,イェール射撃問題の間の関係についての一考察

概要

論文の詳細を見る
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.
社団法人人工知能学会の論文
1989-01-20