@techreport{R-90-18,
PSURL = {/publications/cgi-bin/tr-fetch.pl?r-90-18+ps},
ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-90-18+abstr},
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.
},
TITLE = {A Causation Theory for a Logic of Continuous Change},
AUTHOR = {Tommy Persson and Lennart Staflin},
EMAIL = {tompe@ida.liu.se},
YEAR = {1990},
NUMBER = {R-90-18},
INSTITUTION = ida,
ADDRESS = idaaddr,
IDANR = {LiTH-IDA-R-90-18},
NOTE = {Also in Proc. of ECAI'90, European Conference on Artificial Intelligence, Stockholm, Sweden, August 6-10, 1990}