Location of Repository

A Causation Theory for a Logic of Continuous Change

By Tommy Persson Tpe, Tommy Persson and Lennart Staflin

Abstract

We present a logic for representing Newtonian-physics models of real world situations. The logic is a nonmonotonic temporal logic, with real valued fluents, where the time axis is the real numbers. We introduce three new concepts in this logic, which make axiom writing easier. The first concept is local interval operators which are used for quantifying propositions over time intervals. The second concept is a distinction between two different types of discontinuities, namely left and right discontinuities, which makes it possible to axiomatize momentary "chain reactions" in a convenient way. The third and most important new concept is explained discontinuities which implement our intuition that a discontinuity should have a cause. We discuss the rationale behind these concepts and define the semantics for the logic. We also discuss how to write explanation axioms. 1 Introduction There are many approaches to the problem of how to represent knowledge and reason about the physical world..

Year: 1990
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.3447
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://ftp.ida.liu.se/pub/publi... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.