TY - GEN
T1 - Temporal reasoning with classes and instances of events
AU - Terenziani, P.
N1 - Publisher Copyright:
© 2002 IEEE.
PY - 2002
Y1 - 2002
N2 - 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.
AB - 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.
KW - Application software
KW - Artificial intelligence
KW - Computer science
KW - Guidelines
KW - Knowledge engineering
KW - Knowledge representation
KW - Programming profession
KW - Protocols
KW - Taxonomy
UR - http://www.scopus.com/inward/record.url?scp=84948464551&partnerID=8YFLogxK
U2 - 10.1109/TIME.2002.1027482
DO - 10.1109/TIME.2002.1027482
M3 - Conference contribution
AN - SCOPUS:84948464551
T3 - Proceedings of the International Workshop on Temporal Representation and Reasoning
SP - 100
EP - 107
BT - Proceedings - 9th International Symposium on Temporal Representation and Reasoning, TIME 2002
A2 - Fisher, Michael
A2 - Artale, Alessandro
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th International Symposium on Temporal Representation and Reasoning, TIME 2002
Y2 - 7 July 2002 through 9 July 2002
ER -