Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Propositional Planning
Authors: Michael Fourman
Date:Apr 2000
Publication Title:Workshop on Model-Theoretic Approaches to Planning, AIPS2000
Publication Type:Conference Paper
We describe a general setting for finite-state planning, where planning operators, or actions, act as functions mapping sets of states to sets of states. In particular, we introduce propositional actions, which generalise STRIPS actions. Sets of states may be represented by Binary Decision Diagrams (BDDs), and propositional actions may be directly encoded as efficient operations on BDDs. We describe PropPlan a planner based on this representation, report its performance on a variety of benchmark problems, and discuss its relation to other BDD-based approaches to planning, and to GraphPlan, by which it was inspired.
2000 by Michael Fourman, The University of Edinburgh. All rights reserved.
Links To Paper
No links available
Bibtex format
author = { Michael Fourman },
title = {Propositional Planning},
book title = {Workshop on Model-Theoretic Approaches to Planning, AIPS2000},
year = 2000,
month = {Apr},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh