Temporal reasoning with uncertainty about the ordering of events is important in a wide variety of applications. Previous research shows that the associated decision problems are hard even for very restricted cases. In this paper, we investigate using the temporal locality of events and the spatial locality of state spaces to speed inference. We propose a new perspective for representing cause-...

The project, funded by the Engineering and Physical Sciences Research Council (EPSRC), was undertaken to continue research and development involving the proof tool Isabelle. The emphasis was on temporal logics. Its results include a mechanisation of the UNITY formalism [6] and an automatic tableaux-based proof tactic, Blast tac. Both of these are distributed with Isabelle. The research assistan...

We describe two domain-independent temporal reasoning systems called TimeGraph I and II which can be used in AI-applications as tools for eeciently managing large sets of relations in the Point Algebra, in the Interval Algebra, and metric information such as absolute times and durations. Our representation of time is based on timegraphs, graphs partitioned into a set of chains on which the sear...

We introduce two mechanisms for scaling computations in the framework of temporal reasoning. The first one addresses abstraction at the methodological level. Operators are defined that engender flexible switching between different granularities of temporal representation structures. The second one accounts for abstractions at the interface level of a temporal reasoning engine. Various generaliz...

This article may be used for research, teaching, and private study purposes. Any substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or

In this paper we discuss an often neglected component of robot reasoning and decision making, which is temporal reasoning. We provide a practical system for temporal reasoning within the framework of production systems and show its application to robot problems. illustrate the use of the temporal production system for that purpose. 2 Temporal Production System In the proposed system the product...

OBJECTIVES To provide an overview of the problem of temporal reasoning over clinical text and to summarize the state of the art in clinical natural language processing for this task. TARGET AUDIENCE This overview targets medical informatics researchers who are unfamiliar with the problems and applications of temporal reasoning over clinical text. SCOPE We review the major applications of te...

In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can be seen as a sequence of information states which describe what has been derived at each time point. A transition from an information state at a point in time to the state at the (or a) next time point is induced by on...

This paper explores the use of probabilistic graphical modelling to represent and reason about temporal knowledge. The idea is that of representing concepts and variables involved diagramatically, by means of a directed graph, called an influence diagram (/D), designed to capture probabilistic dependencies between those variables. Statistical models of progression in time, such as semi­ Marko� ...

Temporal reasoning is widely used within both Computer Science and Artificial Intelligence. The basic idea of proof, within propositional, discrete temporal logics, is both intuitive and appealing. However, the underlying complexity of such discrete temporal logics has led to use of either simplified formalisms, such as temporal interval algebras, or simplified techniques, such as model checkin...