Rayner, Manny (1988) On the applicability of default logic: two short papers. [SICS Report]
Work by Yoav Shoham advocating the use of default logic is critically examined, and several serious inconsistencies are pointed out. Shoham's analysis of the frame problem is shown to depend on a misinterpretation of the formal basis for Newtonian mechanics, and strong reasons are given to doubt the correctness of his arguments for reducing auto-epistemic reasoning to default logic. Detailed counter-examples are provided for both cases.
|Item Type:||SICS Report|
|Additional Information:||Original report number R88009. Related paper "Did Newton Solve the Extended Prediction problem?" by M. Rayner published in Proceedings 1st Intl. Conf. on the Foundations of Knowledge Representation, R. Brachman & H. Levesque, eds., Morgan Kaufman, 1989.|
|Deposited By:||Vicki Carleson|
|Deposited On:||17 Sep 2009|
|Last Modified:||18 Nov 2009 16:10|
Repository Staff Only: item control page