Maintaining knowledge about temporal intervals

Communications of the ACMPublished 1 November 1983Open access

James F. Allen

DOI10.1145/182.358434

Source URL

Citations7,550

SJR quartileQ1

SJR score1.15

SNIP3.34

View PDF

TL;DR

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.

Abstract

article Free Access Share on Maintaining knowledge about temporal intervals Author: James F. Allen Univ. of Rochester, Rochester, NY Univ. of Rochester, Rochester, NYView Profile Authors Info & Claims Communications of the ACMVolume 26Issue 11Nov. 1983 pp 832–843https://doi.org/10.1145/182.358434Online:01 November 1983Publication History 5,173citation11,531DownloadsMetricsTotal Citations5,173Total Downloads11,531Last 12 Months644Last 6 weeks101 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

Keywords

Computer ScienceSocial Sciences

Artificial IntelligenceStrips: A new approach to the application of theorem proving to problem solving

4,073 Citations1971Richard Fikes, Nils J. Nilsson

A new problem solver called STRIPS is described that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proven to be true.

Elsevier eBooksSome Philosophical Problems from the Standpoint of Artificial Intelligence

3,289 Citations1981John McCarthy, Patrick J. Hayes

The formalism of this paper represents an advance over McCarthy (1963) and Green (1969) in that it permits proof of the correctness of strategies that contain loops and strategies that involve the acquisition of knowledge; and it is also somewhat more concise.

Artificial IntelligenceA truth maintenance system

1,778 Citations1979Jon Doyle

The need of problem solvers to choose between alternative systems of beliefs is stressed, and a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do is outlined.

Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)A Structure for Plans and Behavior

1,160 Citations1977Earl D. Sacerdoti

Progress to date in the ability of a computer system to understand and reason about actions is described, and the structure of a plan of actions is as important for problem solving and execution monitoring as the nature of the actions themselves.

Cognitive ScienceA temporal logic for reasoning about processes and plans

760 Citations1982Drew McDermott

View PDF

Journal of the ACMA Sufficient Condition for Backtrack-Free Search

654 Citations1982Eugene C. Freuder

A relationship involving the structure of the constraints is described which characterizes to some degree the extreme case of mimmum backtracking and a concept called "width," which may provide some guidance in the representation of constraint satisfaction problems and the order in which they are searched.

View PDF

Cognitive ScienceA Temporal Logic for Reasoning about Processes and Plans*

493 Citations1982Drew McDermott

A first-order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories, and provides analyses of causality, continuous change in quantities, the persistence of facts, and the relationship between tasks and actions.

Planning using a temporal world model

254 Citations1983James F. Allen, Johannes A. G. M. Koomen

A world model based on a temporal logic allows the problem solver to gather constraints on the ordering of actions without having to commit to an ordering when a conflict is detected, and allows more general descriptions of actions that may occur simultaneously or overlap.

National Conference on Artificial IntelligenceA system for reasoning about time

168 Citations1982Marc Vilain

The salient features of a new system for reasoning about time that represents time primarily — though not exclusively — in terms of intervals, and performs deductions on this representation has a mechanism for maintaining consistency in the representation and discovering the origin of inconsistencies.

Artificial IntelligenceMechanizing temporal knowledge

153 Citations1977Ken Kahn, G. Anthony Gorry

The construction of a time specialist is discussed, a program knowledgable about time in general which can be used by a higher level program to deal with the temporal aspects of its problem-solving.