Loading...
Please wait, while we are loading the content...
Similar Documents
Frugal Propositional Encodings for Planning
| Content Provider | CiteSeerX |
|---|---|
| Author | Mali, Amol D. Kambhampati, Subbarao |
| Abstract | Casting planning as a satisfiability problem has recently lead to the development of significantly faster planners. One key factor behind their success is the concise nature of the encodings of the planning problems. This has lead to an interest in designing schemes for automated generation of propositional encodings for the planning problems. These encodings are inspired by traditional planning algorithms like state space and causal link planning. We examine the existing schemes for generating encodings for causal planning and suggest several improvements to them. We show that these improvements reduce the number of clauses and/or variables in the encoding. Since the number of clauses and variables are related to the hardness of solving a constraint satisfaction problem, our results provide important directions in efficiently encoding planning problems. Our improvements derive plan encoding that is smaller than all other previously developed plan encodings. 1 Introduction A classical... |
| File Format | |
| Volume Number | 18 |
| Journal | Computational Intelligence Journal |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Frugal Propositional Encoding Planning Problem Key Factor Causal Planning State Space Several Improvement Automated Generation Constraint Satisfaction Problem Plan Encoding Propositional Encoding Concise Nature Satisfiability Problem Important Direction Traditional Planning Algorithm Improvement Derive Plan |
| Content Type | Text |
| Resource Type | Article |
