IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Fri, 23 Feb 2018 05:30:28

Persson, T. and Staflin, L. (1990). A Causation Theory for a Logic of Continuous Change. Technical Report LiTH-IDA-R-90-18, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of ECAI'90, European Conference on Artificial Intelligence, Stockholm, Sweden, August 6-10, 1990. (bibtex),

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.

Goto (at Linköping University): CS Dept TR Overview