Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds

  title={Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds},
  author={Erik Sandewall},
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous function of real-valued time. A temporal logic is introduced which allows the description of parameters, both in their continuous intervals and around their breakpoints, and which also allows the description of actions being performed in sequence or in parallel. If axioms are given which characterize physical laws… CONTINUE READING
Highly Cited
This paper has 160 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.

161 Citations

Citations per Year
Semantic Scholar estimates that this publication has 161 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

On the variety of minimizat ion related conditions for reasoning about actions and plans

Er ik Sandewall
In preparation • 1989

Reasoning about Change

Yoav Shoham
M I T Press • 1988

A qual i tat ive physics based on confluences

Johan de Kleer, John Seeley Brown
Qualitative Reasoning about Physical Systems, • 1985