Behavior tree: Difference between revisions

Revision as of 13:47, 28 May 2025

Revision as of 22:48, 28 May 2025

Line 1:

{{about|behavior trees for requirement handling|another use|Behavior tree (artificial intelligence, robotics and control)}}

{{Use dmy dates|date=May 2025}}{{Use American English|date=May 2025}}

[[File:Building a System Out of its Requirements.png|thumb|320px|Building a system out of its requirements – dynamic view]]

[[File:Static Integrated View.jpg|thumb|320px|Building a system out of its requirements – static view]]

Line 17 ⟶ 18:

* '''Requirement behavior trees (RBT):''' Initially, individual requirement behavior trees are used to capture all the fragments of behavior in each individual natural language requirement by a process of rigorous, intent-preserving and vocabulary-preserving translation. The translation process can uncover a range of defects in original [[natural language]] requirements.

* '''Integrated behavior trees (IBT):''' Because a set of requirements imply the integrated behavior of a system, all the individual requirement behavior trees can be composed to construct an integrated behavior tree that provides a single holistic view of the emergent integrated behavior of the system. This enables the construction of the system's integrated behaviourbehavior from its requirements.<ref name = "winters">Winter, K. 2007. [http://espace.library.uq.edu.au/eserv/UQ:100586/Formalising_behaviour_trees_with_csp.pdf Formalising Behaviour Trees with CSP]</ref> An analogy to help describe this process is the transition from a randomly arranged set of [[jigsaw puzzle]] pieces to putting each of the pieces in its appropriate place. When this happens, each piece of information is placed in its intended context and their collective emergent properties become clear.

Having all the requirements converted to behavior trees (RBT) is similar to having all the pieces for a [[jigsaw puzzle]] randomly spread out on a table – until all the pieces are connected, the emergent picture remains unclear, and it's uncertain whether any pieces are missing, or do not fit. Constructing an integrated behavior tree (IBT) reveals the emergent behavior and missing pieces.<ref name = "dromey06FormalizingTrans"/><ref name = "dromey03K1-Dromey"/>