Focusing qualitative simulation using temporal logic: Theoretical foundations

Annals of Mathematics and Artificial Intelligence

Volumn 22, Issue 1-2, 1998, Pages 59-86

  Brajnik, Giorgio ^a,b   Clancy, Daniel J ^b  

^a UNIVERSITY OF UDINE   (Italy)

^b University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032392147     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018990024350     Document Type: Article

References (21)

1. J.F. Allen, Towards a general theory of action and time, Artificial Intelligence 23 (1984) 123-154.
2. R. Alur and T. Henzinger, Real-time logics: complexity and expressiveness, Information and Computation 104(1) (1993) 35-77.
3. F. Bacchus and F. Kabanza, Using temporal logic to control search in a forward chaining planner, in: Proc. of the 3rd European Workshop on Planning (EWSP), Assisi, Italy (AAAI Press, August 1995).
4. F. Bacchus and F. Kabanza, Planning for temporally extended goals, in: Proc. of the Thirteenth National Conference on Artificial Intelligence, eds. B. Clancey and D. Weld (AAAI Press, August 1996).
5. M. Barbeau, F. Kabanza and R. St-Denis, Synthesizing plant controllers using real-time goals, in: Proc. IJCAI '95 (Morgan Kaufmann, August 1995) pp. 791-798.
6. D. Berleant and B.J. Kuipers, Using incomplete quantitative knowledge in qualitative reasoning, in: Proc. of the Sixth National Conference on Artificial Intelligence (1988) pp. 324-329.
7. G. Bhat, R. Cleaveland and O. Grumberg, Efficient on-the-fly model checking for CTL*, in: Proc. Conf. Logic in Computer Science (LICS '95) (1995).
8. G. Brajnik, Statistical properties of qualitative behaviors, in: Proc. Eleventh International Workshop for Qualitative Reasoning, Cortona, Italy (June 1997) pp. 233-240.
9. G. Brajnik and D.J. Clancy, Temporal constraints on trajectories in qualitative simulation, in: Proc. of the Thirteenth National Conference on Artificial Intelligence, eds. B. Clancey and D. Weld (AAAI Press, August 1996) pp. 979-984.
10. G. Brajnik and D.J. Clancy, Temporal constraints on trajectories in qualitative simulation, Technical Report UDMI-RT-01-96, Dip. di Matematica e Informatica, University of Udine, Udine, Italy (January 1996).
11. R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (1991) 61-95.
12. D. DeCoste, Goal-directed qualitative reasoning with partial states, Technical Report 57, The Institute for the Learning Sciences, University of Illinois at Urbana-Champaign (August 1994).
13. E.A. Emerson, Temporal and modal logic, in: Handbook of Theoretical Computer Science, ed. J. van Leeuwen (Elsevier/MIT Press, 1990) Chapter 16, pp. 995-1072.
14. T.A. Henzinger, Half-order modal logic: how to prove real-time properties, in: Proc. of the Ninth Annual Symposium on Principles of Distributed Computing (ACM Press, 1990) pp. 281-296.
15. D. Jonescu and J.Y. Lin, Optimal supervision of discrete event systems in a temporal logic framework, IEEE Transactions on Systems, Man and Cybernetics 25(12) (December 1995) 1595-1605.
16. H. Kay and B.J. Kuipers, Numerical behavior envelopes for qualitative models, in: Proc. of the Eleventh National Conference on Artificial Intelligence (AAAI Press/MIT Press, 1993).
17. B.J. Kuipers, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (MIT Press, Cambridge, MA, 1994).
18. B.J. Kuipers and B. Shults, Reasoning in logic about continuous change, in: Principles of Knowledge Representation and Reasoning (KR '94) (Morgan Kaufmann, 1994).
19. B. Shults and B. Kuipers, Proving properties of continuous systems: qualitative simulation and temporal logic, Artificial Intelligence 92 (1997) 91-129.
20. J.G. Thistle and W.M. Wonham, Control problems in a temporal logic framework, International Journal on Control 44(4) (1986) 943-976.
21. T. Washio and M. Kitamura, A fast history-oriented envisioning method introducing temporal logic, in: Ninth International Workshop on Qualitative Reasoning (QR '95), Amsterdam (May 1995) pp. 279-288.