Towards a general theory of action and time
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic formalisms for commonsense temporal-causal reasoning
Nonmonotonic formalisms for commonsense temporal-causal reasoning
Formal theories of action (preliminary report)
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Formal theories of action (preliminary report)
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Correct Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |
Formalizing temporal persistence and solving the temporal projection problem within traditional non-monotonic logics is shown possible through two different approaches, neither of which requires any special minimization techniques. Minimizing potential causes is shown to yield a type of temporal persistence that is useful for the temporal projection problem, although it differs significantly from the ordinary conception of temporal persistence. A conception of determined causes is then developed whose minimization does yield the results preferred by ordinary temporal persistence. Finally, previous approaches to formalizing temporal persistence using chronological minimizations are shown inadequate for certain classes of scenarios, which causal minimizations formalize correctly.