Temporal reasoning with classes and instances of events

Representing and reasoning with both temporal constraints between classes of events (e.g., between the types of actions needed to achieve a goal) and temporal constraints between instances of events (e.g., between the specific actions being executed) is a ubiquitous task in many areas of computer sc...

Full description

Saved in:
Bibliographic Details
Published inProceedings Ninth International Symposium on Temporal Representation and Reasoning pp. 100 - 107
Main Author Terenziani, P.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2002
Subjects
Application software
Artificial intelligence
Computer science
Guidelines
Knowledge engineering
Knowledge representation
Programming profession
Protocols
Taxonomy
Online AccessGet full text

Cover

More Information
Summary:Representing and reasoning with both temporal constraints between classes of events (e.g., between the types of actions needed to achieve a goal) and temporal constraints between instances of events (e.g., between the specific actions being executed) is a ubiquitous task in many areas of computer science, such as planning, workflow, guidelines and protocol management. The temporal constraints between the classes of events must be inherited by the instances, and the consistency of both types of constraints must be checked. We propose a general-purpose domain-independent knowledge server dealing with these issues. In particular, we propose a formalism to represent temporal constraints, we show two algorithms to deal with inheritance and to perform temporal consistency checking, and we study the properties of the algorithms.
ISBN:9780769514741
076951474X
ISSN:1530-1311
2332-6468
DOI:10.1109/TIME.2002.1027482