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

## IDA Technical Reports: abstract

*Generated: Fri, 26 May 2017 00:04:34 *

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
```

*<webmaster@ida.liu.se>*