Representation and control in IxTeT, a temporal planner
作者： Malik Ghallab , Hervé Laruelle
DOI:
关键词:
摘要: This paper presents a temporal planner, called IxTeT. It focuses on the representation and control issues, arguing for compromise between expressiveness efficiency of search. The relies point-based reified logic, associated to multi-valued domain attributes. Hierarchical planning operators offer an expressive description, with parallelism, durations, effects conditions at various moments action. Time in input scenario enables take into account predicted forthcoming events plan dynamic world. A compilation procedure checks consistency specified by user. use causal-links, Ae, algorithm, extended least-commitment strategy. uses two important procedures, "feasibility" "satisfiability", dealing respectively goal decomposition conflict resolution:
参考文章(16)
Malik Ghallab, Amine Mounir Alaoui, Managing efficiently temporal relations through indexed spanning trees international joint conference on artificial intelligence. pp. 1297- 1303 ,(1989)
Stephen J. S. Cranefield, A logical framework for practical planning european conference on artificial intelligence. pp. 633- 637 ,(1992)
Josh D. Tenenberg, Ronald J. Brachman, Henry A. Kautz, James F. Allen, Richard N. Pelavin, Reasoning About Plans ,(1991)
David McAllester, David Rosenblitt, Systematic nonlinear planning national conference on artificial intelligence. pp. 634- 639 ,(1991)
Henry Kautz, Marc Vilain, Constraint propagation algorithms for temporal reasoning national conference on artificial intelligence. pp. 377- 382 ,(1986)
L. A. Pérez Mlranda, J. M. Larrazabal, Reasoning about change Theoria-revista De Teoria Historia Y Fundamentos De La Ciencia. ,vol. 6, pp. 303- 307 ,(1991)
Josh D. Tenenberg, Craig A. Knoblock, Qiang Yang, Characterizing abstraction hierarchies for planning national conference on artificial intelligence. pp. 692- 697 ,(1991)
Subbarao Kambhampati, ON THE UTILITY OF SYSTEMATICITY: UNDERSTANDING TRADEOFFS BETWEEN REDUNDANCY AND COMMITMENT IN PARTIAL-ORDERING PLANNING international joint conference on artificial intelligence. pp. 1380- 1387 ,(1993)
Eric Rutten, Joachim Hertzberg, Temporal planner = nonlinear planner + time map manager Ai Communications. ,vol. 6, pp. 18- 26 ,(1993) , 10.3233/AIC-1993-6102
Ken Currie, Austin Tate, O-Plan: The open planning architecture Artificial Intelligence. ,vol. 52, pp. 49- 86 ,(1991) , 10.1016/0004-3702(91)90024-E