Change search
ReferencesLink to record
Permanent link

Direct link
On the applicability of non-monotonic logic to formal reasoning in continuous time
Number of Authors: 1
1989 (English)Report (Refereed)
Abstract [en]

The paper criticizes arguments recently advanced by Shoham, McDermott and Sandewall, which purport to demonstrate the relevance of non-monotonic logic to the formalization of reasoning about the evolution of mechanical systems in continuous time. The first half of the paper examines the "Extended Prediction Problem" of Shoham and McDermott; reasons are given to support the claim that the "problem" is the product of a mistaken understanding of the the formal basis of Newtonian mechanics, and has no real existence. An example is given showing how, contrary to Shoham and McDermott's arguments, it is possible to formalise reasoning about the evolution of physical systems in continuous time using only classical logic and differential calculus. The second half then reviews Sandewall's non-monotonic logic for almost-continuous systems. Here it is argued that the proposed framework offers only very marginal advantages in compactness of notation, and generally tends to collapse back into classical logic. In summary, I conclude that there is as yet no good reason to believe that non-monotonic logic will be a useful tool in this area.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1989, 1. , 14 p.
SICS Research Report, ISSN 0283-3638 ; R89:13
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14365OAI: diva2:1035653
Original report number R98013.Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(1796 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 1796 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