Change search
ReferencesLink to record
Permanent link

Direct link
On the applicability of default logic: two short papers
Number of Authors: 1
1988 (English)Report (Refereed)
Abstract [en]

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
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14388OAI: diva2:1035676
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.Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(1716 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 1716 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link