BDD-based reasoning in the fluent calculus - first results

TL;DR

This paper presents initial findings on implementing the fluent calculus with binary decision diagrams, highlighting promising experimental results and techniques to enhance reasoning speed.

Contribution

It introduces a novel approach combining fluent calculus with BDDs and evaluates techniques to improve reasoning efficiency.

Findings

Initial experiment shows promising results

Techniques and heuristics can speed up reasoning

Insights into BDD-based fluent calculus reasoning

Abstract

The paper reports on first preliminary results and insights gained in a project aiming at implementing the fluent calculus using methods and techniques based on binary decision diagrams. After reporting on an initial experiment showing promising results we discuss our findings concerning various techniques and heuristics used to speed up the reasoning process.