Towards a qualitative theory of movement

Lecture notes in computer sciencePublished 1 January 1995

Antony Galton

DOI10.1007/3-540-60392-1_25

Source URL

Citations79

SJR quartileQ2

SJR score0.35

SNIP0.55

TL;DR

By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents the authors develop theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations.

Abstract

The phenomenon of movement arises whenever the same object occupies different positions in space at different times. Therefore a theory of movement must contain theories of time, space, objects, and position. We provide a theoretical basis for describing movement events in terms of the conditions for their occurrence, which refer to the holding or not holding of various positional fluents at different times. For this we need to bring together a formal model of time with a formal model of space. By attending closely to the constraints imposed by continuity on the temporal behaviour of different fluents we develop theory of dominance, which enables us to generate ab initio the perturbation relation on the full set of positional relations.

Keywords

Computer Science

Communications of the ACMMaintaining knowledge about temporal intervals

7,550 Citations1983James F. Allen

An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.

View PDF

Artificial IntelligenceTowards a general theory of action and time

2,562 Citations1984James F. Allen

A formalism for reasoning about actions that is based on a temporal logic allows a much wider range of actions to be described than with previous approaches such as the situation calculus and a framework for planning in a dynamic world with external events and multiple agents is suggested.

A Spatial Logic based on Regions and Connection.

1,927 Citations1992David Randell, Zhanfeng Cui +1 more

An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su(cid:11)er in terms of its useful expressiveness.

Elsevier eBooksReadings in Qualitative Reasoning About Physical Systems

810 Citations1990

Lecture notes in computer scienceReasoning about binary topological relations

625 Citations1991Max J. Egenhofer

A new formalism is presented to reason about topological relations based upon the nine intersections of boundaries, interiors, and complements between two objects that is applicable as a foundation for an algebra over topological Relations.

Lecture notes in computer scienceUsing orientation information for qualitative spatial reasoning

567 Citations1992Christian Freksa

The paper introduces the notion of conceptual neighborhood and its relevance for qualitative temporal reasoning and the resulting neighborhood-oriented representation and reasoning approach.

The Logic of Time

547 Citations1983J.F.A.K. van Benthem

International Joint Conference on Artificial IntelligenceA common-sense theory of time

260 Citations1985James F. Allen, Patrick J. Hayes

This paper proposes an axiomatic a theory of time in terms of intervals and the single relation MEET and shows that this axiomatization subsumes Allen's interval-based theory.

Instants and Intervals

168 Citations1972C. L. Hamblin

There is one incongruity at its very base, namely, the presence in the atoms of coordinates of position and time of an apparently purely Newtonian or Kantian nature, unsupported by any attempt to give a phenomenal account of them.

Artificial IntelligenceA critical examination of Allen's theory of action and time

161 Citations1990Antony Galton

It is argued that Allen's category of processes is superfluous, since it can be assimilated with the category of properties, and the implications for the representation of sentences containing verbs in the progressive aspect are discussed.