Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On the applicability of non-monotonic logic to formal reasoning in continuous time
RISE - Research Institutes of Sweden, IKT, SICS.
1989 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Kista, Sweden: Swedish Institute of Computer Science , 1989, 1. , s. 14
Serie
SICS Research Report, ISSN 0283-3638 ; R89:13
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-22177OAI: oai:DiVA.org:ri-22177DiVA, id: diva2:1041721
Merknad

Original report number R98013.

Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2025-09-23bibliografisk kontrollert

Open Access i DiVA

fulltekst(1796 kB)291 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1796 kBChecksum SHA-512
4518fde4c6ea767185afa517e2661056750689013ddb10de3b0d4a5dafb97afba191966972748374d3074e7792722d005c06d543f7268274244dbd2362f9aabb
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 291 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 147 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.49.0