Planning in the Fluent Calculus Using Binary Decision Diagrams

Authors

  • Hans-Peter Storr

DOI:

https://doi.org/10.1609/aimag.v22i3.1582

Abstract

BDDplan was created to perform certain reasoning processes in the fluent calculus, a flexible framework for reasoning about action and change based on first-order logic with equality (plus some second-order extensions in some cases). The reasoning is done by mapping the problems into propositional logic, which, in turn, can be implemented as operations on binary decision diagrams (BDDs).

Downloads

Published

2001-09-15

How to Cite

Storr, H.-P. (2001). Planning in the Fluent Calculus Using Binary Decision Diagrams. AI Magazine, 22(3), 103. https://doi.org/10.1609/aimag.v22i3.1582

Issue

Section

Articles