Towards a general theory of action and time
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
A critical examination of Allen's theory of action and time
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Modeling the Temporal Behaviour of Technical Systems
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
A Resolution Principle for Clauses with Constraints
Proceedings of the 10th International Conference on Automated Deduction
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Hi-index | 0.00 |
In many formalizations of a changing world things do not change all the time but are persistent thoughout a time interval. Often this persistency is represented by facts refering to intervals int which are still valid if int is replaced by any subinterval int' Approaches like episode propagation or Penberthy's temporal unification try to employ this property for efficient reasoning. However these approaches lack formality. In this paper their way of reasoning about persistency is reconstructed as inference rules that combine appropriate time-boxes with standard resolution. In many cases Burckert's Constrained Resolution may be used. More complex examples may be handled by a new inference rule, called Persistency Resolution. An analysis of this rule leads to a more general notion of persistency.