Most cognitive architectures have an implicit representation of time. As a result, reasoning about specific temporal relationships among events is typically beyond their capability. In this paper, we describe an extension of the ICARUS architecture to include an episodic belief memory, an explicit representation of temporal relationships, and associated reasoning processes. We then demonstrate ...

Human reasoning is heterogeneous; it is based on information from perception, discourse, and knowledge. This paper outlines a theory that shows how these diverse sources of information are integrated, and how they can yield necessary, possible, and probable conclusions. At the heart of the theory is the notion of a mental model. The paper shows how the theory works for spatial reasoning. It ext...

The topic of this thesis is the study of computational complexity of temporal and spatial reasoning 1. Much of the work within the area of Artiicial Intelligence (and elsewhere) has been recognised as including the notions of time and space, naturally, since these are fundamental aspects of the real world. It is clear that capabilities of modelling and computing with facts about time and space ...

The purpose of this paper is to show the expressiveness provided by the use of a Labelled TCSP model in order to specify and reason about disjunctive temporal constraints. We use a network based representation. The reasoning algorithms allows us to manage complex temporal constraints, both in assertion and query processes. It allows disjunctive assertions, conjunctive and hypothetical queries, ...

Representing and reasoning with temporal information is an essential part of many tasks in AI such as scheduling planning and nat ural language processing Two in uential frameworks for representing temporal information are interval algebra and point algebra Given a knowledge base consisting of temporal relations the main reasoning problem is to determine whether this knowledge base is satis abl...

An ontology for spatial reasoning based on a tesseral representation of space is presented. The principal advantage offered is that the representation has the effect of linearising multi-dimensional space while still supporting translation through the space in any direction and through any number of dimensions. Consequently, all multi-dimensional spatial reasoning can be implemented using one d...

Spatial reasoning ability is enhanced by spatial activities and spatial language. Spatial games (e.g., block building, assembling jigsaw puzzles) are often accompanied by spatial language, which, in turn, is often accompanied by co-speech gesture. Here we investigate the effects of spatial language and gesture in the context of puzzle play in improving preschool children’s puzzle assembly abili...

We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one direction, to the setting of country roads with two-way traffic. To this end, we need suitably refined sensor functions and length measurement in MLSL. Our main contribution is to show that also here we can separate t...

One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual or spatial. The article reports a dual-task experiment that was conducted to explore the visual and/or spatial nature of human spatial reasoning. The main tasks were inferences based on a spatial version of the interval calculus introduced by Allen (1983). The secondary tasks wer...