Auto Topic: plansat
auto_plansat | topic
Coverage Score
1
Mentioned Chunks
3
Mentioned Docs
1
Required Dimensions
definitionpros_cons
Covered Dimensions
definitionpros_cons
Keywords
plansat
Relations
| Source | Type | Target | W |
|---|
Evidence Chunks
| Source | Confidence | Mentions | Snippet |
|---|---|---|---|
textbook Artificial-Intelligence-A-Modern-Approach-4th-Edition.pdf | 0.59 | 3 | ... lexity of planning has been analyzed by several authors (By- lander, 1994; Ghallab et al., 2004; Rintanen, 2016). There are two main tasks: PlanSAT is the question of whether there exists any plan that solves a planning problem. Bounded PlanSAT asks whether there is a solution of ... |
textbook Artificial-Intelligence-A-Modern-Approach-4th-Edition.pdf | 0.55 | 1 | ... ing (because the number of states is finite). But if we add function symbols to the language, then the number of states becomes infinite, and PlanSAT becomes only semidecidable. For propositionalized problems both are in the complexity class PSPACE, a class that is larger (and henc ... |
textbook Artificial-Intelligence-A-Modern-Approach-4th-Edition.pdf | 0.55 | 1 | ... 3 reactive, 401, 975 regression, 368–369 route, 47 search space, 366–374 sensorless, 383, 385–388 planning graph, 370 plan recognition, 595 PlanSAT, 402 bounded, 402 Plappert, M., 966, 986, 1085 plateau (in local search), 131 Plato, 265, 358 Platt, J., 736, 1109 player (in a game ... |