Temporal reasoning with classes and instances of events
Tóm tắt
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.
Từ khóa
#Artificial intelligence #Computer science #Guidelines #Application software #Knowledge engineering #Protocols #Knowledge representation #Programming profession #TaxonomyTài liệu tham khảo
morris, 0, Path Consistency in a Network of Non-convex Intervals, Proc thirteenth Int'l Joint Conf on Artificial Intelligence, 655
nebel, 1990, Reasoning and Revision in Hybrid Representation Systems
nebel, 1988, Hybrid Reasoning in BACK, In Methodologies for Intelligent Systems, 260
quantz, 1990, mplementation of the BACK System Version 4, KIT-REPORT 78
rich, 1991, Artificial Intelligence
10.1111/j.1467-8640.1991.tb00334.x
10.1109/69.634754
10.1016/S0933-3657(01)00087-2
10.1016/0933-3657(91)90004-U
vila, 1994, A Survey on Temporal Reasoning in Artificial Intelligence, AI communications, 7, 4, 10.3233/AIC-1994-7102
10.1016/0004-3702(95)00008-3
10.1207/s15516709cog0902_1
10.1016/0004-3702(91)90006-6
10.1109/64.608197
guarnero, 1998, Contextual and Temporal Clinical Guidelines, Journal of the American Medical Informatics Association, 683
10.1016/0004-3702(87)90091-9
10.1016/B978-1-55860-137-6.50007-8
10.1002/int.4550060403
10.1111/j.1467-8640.1987.tb00176.x