Implementing Behavior Trees using Three-Valued Logic
Thibaud de Souza

TL;DR
This paper introduces a three-valued logic framework for behavior trees, bridging control flow and state management, with a C# implementation relevant to planning, control, and game development.
Contribution
It presents a novel three-valued logic model for behavior trees, enhancing their flexibility and applicability in planning and control systems.
Findings
Three-valued logic effectively models behavior tree control flow.
C# implementation demonstrates practical applicability.
Bridges gap between stateful and stateless behavior models.
Abstract
With consideration to behavior trees and their relevance to planning and control, within and without game development, the distinction between stateful and stateless models is discussed; a three-valued logic bridging traditional control flow with behavior trees is introduced, and a C# implementation is presented.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Artificial Intelligence in Games · Logic, Reasoning, and Knowledge
