人工知能
Online ISSN : 2435-8614
Print ISSN : 2188-2266
人工知能学会誌(1986~2013, Print ISSN:0912-8085)
フレーム問題,非単調論理,イェール射撃問題の間の関係についての一考察
松原 仁山本 和彦
著者情報
解説誌・一般情報誌 フリー

1989 年 4 巻 1 号 p. 70-76

詳細
抄録

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 人工知能学会
前の記事 次の記事
feedback
Top