×

On the nature and role of modal truth criteria in planning. (English) Zbl 1508.68336

Summary: D. Chapman’s paper [“Planning for conjunctive goals”, Artif. Intell. 32, 333–377 (1987; Zbl 0642.68171)] has been widely acknowledged for its contribution toward understanding the nature of partial-order planning, and it has been one of the bases of later work by others – but it is not free of problems. This paper addresses some problems involving modal truth and the modal truth criterion (MTC). Our results are as follows: (i) Even though modal duality is a fundamental property of classical modal logics, it does not hold for modal truth in Chapman’s plans; i.e., “necessarily \(p\)” is not equivalent to “not possibly \(\neg p\)”. (ii) Although the MTC for necessary truth is correct, the MTC for possible truth is incorrect: it provides necessary but insufficient conditions for ensuring possible truth. Furthermore, even though necessary truth can be determined in polynomial time, possible truth is NP-hard. (iii) If we rewrite the MTC to talk about modal conditional truth (i.e., modal truth conditional on executability) rather than modal truth, then both the MTC for necessary conditional truth and the MTC for possible conditional truth are correct; and both can be computed in polynomial time. (iv) The MTC plays a different role in plan generation than it does in checking the correctness of plans, and this has led to several misconceptions about the MTC. Several researchers have mistakenly attempted to simplify the MTC by eliminating the white-knight declobbering clause from it; and others have used Chapman’s results to conjecture that partial-order planning will not scale up to more expressive action representations. We point out that these ideas are misconceptions, and explain why.

MSC:

68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68T27 Logic in artificial intelligence

Citations:

Zbl 0642.68171

Software:

UCPOP
Full Text: DOI

References:

[1] Bäckström, C., Finding least-constrained plans and optimal parallel executions is harder than we thought, (Proceedings 2nd European Workshop on Planning (1993))
[2] Chapman, D., Planning for conjunctive goals, Artif. Intell., 32, 333-379 (1987) · Zbl 0642.68171
[3] Currie, K.; Tate, A., O-Plan: the open planning architecture, Artif. Intell., 52, 49-86 (1991)
[4] E. Davis, Representations of Commonsense Knowledge (Morgan Kaufmann, San Mateo, CA).
[5] Dean, T.; Boddy, M., Reasoning about partially ordered events, Artif. Intell., 36, 375-399 (1988) · Zbl 0688.68083
[6] M. Drummond, Private communication, 1991.
[7] Erol, K.; Nau, D.; Subrahmanian, V. S., When is planning decidable?, (Proceedings First International Conference AI Planning Systems (1992)), 222-227
[8] Erol, K.; Nau, D. S.; Subrahmanian, V. S., Complexity, decidability and undecidability results for domain-independent planning, Artif. Intell., 76, 75-88 (1995) · Zbl 1013.68548
[9] Garey, M. R.; Johnson, D. S., (Computers and Intractability: A Guide to the Theory of NP-Completeness (1979), Freeman: Freeman New York) · Zbl 0411.68039
[10] Ginsberg, M. L., What is a modal truth criterion? (1990), Unpublished manuscript
[11] Gupta, N.; Nau, D. S., On the complexity of blocks-world planning, Artif. Intell., 56, 223-254 (1992) · Zbl 0785.68046
[12] Hanks, S.; Weld, D. S., Systematic adaptation for case- based planning, (Proceedings First International Conference AI Planning Systems (1992)), 96-105
[13] Jacopin, E.; Le Pape, C.; Puget, J. F., A theoretical analysis of the “uselessness” of white-knights, (Tech. Rept. 92/27 (1992), Institut Blaise Pascal)
[14] Kambhampati, S., On the utility of systematicity: Understanding tradeoffs between redundancy and commitment in partial ordering planning, (Proceedings IJCAI-93. Proceedings IJCAI-93, Chambery, France (1993))
[15] Kambhampati, S., Multi-contributor causal structures for planning: a formalization and evaluation, Artif. Intell., 69, 235-278 (1994) · Zbl 0941.68739
[16] Kambhampati, S., Refinement search as a unifying framework for analyzing planning algorithms, (Proceedings 4th International Conference on Principles of Knowledge Representation and Reasoning. Proceedings 4th International Conference on Principles of Knowledge Representation and Reasoning, Bonn (1994))
[17] Kambhampati, S.; Chen, J., Relative utility of EBG based plan reuse in total ordering vs. partial ordering planning, (Proceedings AAAI-93. Proceedings AAAI-93, Washington, DC (1993))
[18] Kambhampati, S.; Kedar, S., Explanation- based generalization of partially ordered plans, (Proceedings AAAI-91. Proceedings AAAI-91, Anaheim, CA (1991)), 679-685
[19] Kambhampati, S.; Kedar, S., A unified framework for explanation- based generalization of partially ordered and partially instantiated plans, Artif. Intell., 67, 29-70 (1994) · Zbl 0807.68081
[20] Kambhampati, S.; Knoblock, C. A.; Yang, Q., Planning as refinement search: a unified framework for evaluating design tradeoffs in partial order planning, Artif. Intell., 76, 167-238 (1995)
[21] Knoblock, C. A., Generating parallel execution plans with a partial-order planner, (Proceedings AIPS-94 (1994))
[22] McAllester, D.; Rosenblitt, D., Systematic nonlinear planning, (Proceedings AAAI-91. Proceedings AAAI-91, Anaheim, CA (1991)), 634-639
[23] McDermott, D., Regression planning, Int. J. Intelligent Systems, 6, 357-416 (1991) · Zbl 0734.68087
[24] Minton, S.; Drummond, M.; Bresina, J.; Philips, A., Total order vs. partial order planning: factors influencing performance, (Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning. Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992))
[25] Nau, D., On the complexity of possible truth, (Proceedings AAAI Spring Symposium. Proceedings AAAI Spring Symposium, Stanford, CA (1993))
[26] Nebel, B.; Bäckström, C., On the computational complexity of temporal projection, planning and plan validation, Artif. Intell., 66, 125-160 (1994) · Zbl 0803.68122
[27] Pednault, E. P.D., Synthesizing plans that contain actions with context-dependent effects, Comput. Intell., 4, 356-372 (1988)
[28] Pednault, E. P.D., Generalizing nonlinear planning to handle complex goals and actions with context-dependent effects, (Proceedings IJCAI-91. Proceedings IJCAI-91, Sydney, Australia (1991)) · Zbl 0745.68111
[29] Pratt, V., Semantical considerations on Floyd-Hoare logic, (Proceedings 17th Annual Symposium on Foundations of Computer Science. Proceedings 17th Annual Symposium on Foundations of Computer Science, Houston, TX (1977)), 109-121
[30] Penberthy, J. S.; Weld, D. S., UCPOP: a sound, complete, partial order planner for ADL, (Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning. Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992))
[31] Peot, M. A., Conditional nonlinear planning, (Proceedings First International Conference on AI Planning Systems (1992)), 189-197
[32] Rosenschein, S., Plan synthesis: a logical perspective, (Proceedings IJCAI-81. Proceedings IJCAI-81, Vancouver, BC (1981)), 331-337
[33] Tate, A., Generating project networks, (Proceedings IJCAI-77. Proceedings IJCAI-77, Cambridge, MA (1977)), 888-893
[34] Veloso, M. M.; Perez, M. A.; Carbonell, J. G., Nonlinear planning with parallel resource allocation, (Proceedings Workshop on Innovative Approaches to Planning, Scheduling and Control (1990)), 207-212
[35] Veloso, M. M., Learning by analogical reasoning in general problem solving, (Ph.D. thesis (CMU-CS-92-174) (1992), Carnegie-Mellon University: Carnegie-Mellon University Pittsburgh, PA)
[36] Yang, Q.; Tenenberg, J. D., A btweak: abstracting a nonlinear, least commitment planner, (Proceedings AAAI-90. Proceedings AAAI-90, Boston, MA (1990)), 204-209
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.