Journal ArticleDOI
A logic-based calculus of events
Robert A. Kowalski,Marek Sergot +1 more
Reads0
Chats0
TLDR
An approach for reasoning about events and time within a logic programming framework where the notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure.Abstract:
We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure. The main intended applications are the updating of databases and narrative understanding. In contrast with conventional databases which assume that updates are made in the same order as the corresponding events occur in the real world, the explicit treatment of events allows us to deal with updates which provide new information about the past. Default reasoning on the basis of incomplete information is obtained as a consequence of using negation by failure. Default conclusions are automatically withdrawn if the addition of new information renders them inconsistent. Because events are differentiated from times, we can represent events with unknown times, as well as events which are partially ordered and concurrent.read more
Citations
More filters
Book
Handbook of Constraint Programming
TL;DR: Researchers from other fields should find in this handbook an effective way to learn about constraint programming and to possibly use some of the constraint programming concepts and techniques in their work, thus providing a means for a fruitful cross-fertilization among different research areas.
Journal ArticleDOI
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Maria Fox,Derek Long +1 more
TL;DR: PDDL2.1 as discussed by the authors is a modelling language capable of expressing temporal and numeric properties of planning domains and has been used in the International Planning Competitions (IPC) since 1998.
Book
Knowledge Representation and Reasoning
TL;DR: This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way, and offers the first true synthesis of the field in over a decade.
Journal ArticleDOI
Theory and practice of constraint handling rules
TL;DR: This survey describes implementations of the CHR language, defines syntax and semantics for CHR, introduces an important decidable property, confluence, of CHR programs and defines a tight integration of CHR with constraint logic programming languages.
Book ChapterDOI
Actions and Events in Interval Temporal Logic
James F. Allen,George Ferguson +1 more
TL;DR: A representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches is presented.
References
More filters
Journal ArticleDOI
Maintaining knowledge about temporal intervals
TL;DR: In this paper, 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 time and space.
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.
Journal ArticleDOI
Towards a general theory of action and time
TL;DR: In this article, a formalism for reasoning about actions is proposed that is based on a temporal logic, which allows a much wider range of actions to be described than with previous approaches such as the situation calculus.
Book
Logic for problem solving
Robert A. Kowalski,Steve Smoliar +1 more
TL;DR: This book investigates the application of logic to problem-solving and computer programming and assumes no previous knowledge of these fields, and may be Karl duncker in addition to make difficult fill one of productive.
Journal ArticleDOI
The role of time in information processing: a survey
TL;DR: This chapter discusses the analysis of tensed statements in natural language and the need for a realistic world model to include representations not only for snapshot descriptions of the real world, but also for histories, or the evolution of such descriptions over time.