Planning graphs and propositional clause-learning
Description
The planning graph of Blum and Furst is one of the frequently used tools in planning. It is a data structure which can be visualized as a bipartite graph with state variables and actions as nodes and which approximates (upper bound) the set of reachable states with a given number of sets of simultaneous actions. We show that the contents of planning graphs follow from two more general notions: extended clause learning restricted to 2-literal clauses and the representation of parallel plans...[Show more]
Collections | ANU Research Publications |
---|---|
Date published: | 2008 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/53199 |
Source: | Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Rintanen_Planning_graphs_and_2008.pdf | 53.42 kB | Adobe PDF | Request a copy | |
02_Rintanen_Planning_graphs_and_2008.pdf | 1.06 MB | Adobe PDF | Request a copy | |
03_Rintanen_Planning_graphs_and_2008.pdf | 159.65 kB | Adobe PDF | Request a copy | |
04_Rintanen_Planning_graphs_and_2008.pdf | 1.05 MB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator