On the applicability of default logic: two short papers
Number of Authors: 1
1988 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1988, 1. , 11 p.
SICS Research Report, ISSN 0283-3638 ; R88:09
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-22200OAI: oai:DiVA.org:ri-22200DiVA: diva2:1041744
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.2016-10-312016-10-31