Spaces:
Paused
Paused
| <html lang="en"> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> | |
| <title>Coverage for tinytroupe/steering/intervention.py: 0%</title> | |
| <link rel="icon" sizes="32x32" href="favicon_32_cb_c827f16f.png"> | |
| <link rel="stylesheet" href="style_cb_9ff733b0.css" type="text/css"> | |
| <script src="coverage_html_cb_dd2e7eb5.js" defer></script> | |
| </head> | |
| <body class="pyfile"> | |
| <header> | |
| <div class="content"> | |
| <h1> | |
| <span class="text">Coverage for </span><b>tinytroupe / steering / intervention.py</b>: | |
| <span class="pc_cov">0%</span> | |
| </h1> | |
| <aside id="help_panel_wrapper"> | |
| <input id="help_panel_state" type="checkbox"> | |
| <label for="help_panel_state"> | |
| <img id="keyboard_icon" src="keybd_closed_cb_900cfef5.png" alt="Show/hide keyboard shortcuts"> | |
| </label> | |
| <div id="help_panel"> | |
| <p class="legend">Shortcuts on this page</p> | |
| <div class="keyhelp"> | |
| <p> | |
| <kbd>r</kbd> | |
| <kbd>m</kbd> | |
| <kbd>x</kbd> | |
| toggle line displays | |
| </p> | |
| <p> | |
| <kbd>j</kbd> | |
| <kbd>k</kbd> | |
| next/prev highlighted chunk | |
| </p> | |
| <p> | |
| <kbd>0</kbd> (zero) top of page | |
| </p> | |
| <p> | |
| <kbd>1</kbd> (one) first highlighted chunk | |
| </p> | |
| <p> | |
| <kbd>[</kbd> | |
| <kbd>]</kbd> | |
| prev/next file | |
| </p> | |
| <p> | |
| <kbd>u</kbd> up to the index | |
| </p> | |
| <p> | |
| <kbd>?</kbd> show/hide this help | |
| </p> | |
| </div> | |
| </div> | |
| </aside> | |
| <h2> | |
| <span class="text">110 statements </span> | |
| <button type="button" class="run button_toggle_run" value="run" data-shortcut="r" title="Toggle lines run">0<span class="text"> run</span></button> | |
| <button type="button" class="mis show_mis button_toggle_mis" value="mis" data-shortcut="m" title="Toggle lines missing">110<span class="text"> missing</span></button> | |
| <button type="button" class="exc show_exc button_toggle_exc" value="exc" data-shortcut="x" title="Toggle lines excluded">0<span class="text"> excluded</span></button> | |
| </h2> | |
| <p class="text"> | |
| <a id="prevFileLink" class="nav" href="z_13b615ba9b634dc5___init___py.html">« prev</a> | |
| <a id="indexLink" class="nav" href="index.html">^ index</a> | |
| <a id="nextFileLink" class="nav" href="z_13b615ba9b634dc5_tiny_story_py.html">» next</a> | |
| | |
| <a class="nav" href="https://coverage.readthedocs.io/en/7.13.4">coverage.py v7.13.4</a>, | |
| created at 2026-02-28 17:48 +0000 | |
| </p> | |
| <aside class="hidden"> | |
| <button type="button" class="button_next_chunk" data-shortcut="j"></button> | |
| <button type="button" class="button_prev_chunk" data-shortcut="k"></button> | |
| <button type="button" class="button_top_of_page" data-shortcut="0"></button> | |
| <button type="button" class="button_first_chunk" data-shortcut="1"></button> | |
| <button type="button" class="button_prev_file" data-shortcut="["></button> | |
| <button type="button" class="button_next_file" data-shortcut="]"></button> | |
| <button type="button" class="button_to_index" data-shortcut="u"></button> | |
| <button type="button" class="button_show_hide_help" data-shortcut="?"></button> | |
| </aside> | |
| </div> | |
| </header> | |
| <main id="source"> | |
| <p class="mis show_mis"><span class="n"><a id="t1" href="#t1">1</a></span><span class="t"><span class="key">from</span> <span class="nam">typing</span> <span class="key">import</span> <span class="nam">Union</span><span class="op">,</span> <span class="nam">List</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t2" href="#t2">2</a></span><span class="t"><span class="key">from</span> <span class="nam">tinytroupe</span><span class="op">.</span><span class="nam">extraction</span> <span class="key">import</span> <span class="nam">logger</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t3" href="#t3">3</a></span><span class="t"><span class="key">from</span> <span class="nam">tinytroupe</span><span class="op">.</span><span class="nam">utils</span> <span class="key">import</span> <span class="nam">JsonSerializableRegistry</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t4" href="#t4">4</a></span><span class="t"><span class="key">from</span> <span class="nam">tinytroupe</span><span class="op">.</span><span class="nam">experimentation</span> <span class="key">import</span> <span class="nam">Proposition</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t5" href="#t5">5</a></span><span class="t"><span class="key">from</span> <span class="nam">tinytroupe</span><span class="op">.</span><span class="nam">environment</span> <span class="key">import</span> <span class="nam">TinyWorld</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t6" href="#t6">6</a></span><span class="t"><span class="key">from</span> <span class="nam">tinytroupe</span><span class="op">.</span><span class="nam">agent</span> <span class="key">import</span> <span class="nam">TinyPerson</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t7" href="#t7">7</a></span><span class="t"><span class="key">import</span> <span class="nam">tinytroupe</span><span class="op">.</span><span class="nam">utils</span> <span class="key">as</span> <span class="nam">utils</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t8" href="#t8">8</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t9" href="#t9">9</a></span><span class="t"><span class="nam">DEFAULT_FIRST_N</span> <span class="op">=</span> <span class="num">10</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t10" href="#t10">10</a></span><span class="t"><span class="nam">DEFAULT_LAST_N</span> <span class="op">=</span> <span class="num">100</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t11" href="#t11">11</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t12" href="#t12">12</a></span><span class="t"><span class="key">class</span> <span class="nam">InterventionBatch</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t13" href="#t13">13</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t14" href="#t14">14</a></span><span class="t"><span class="str"> A wrapper around multiple Intervention instances that allows chaining set_* methods.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t15" href="#t15">15</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t16" href="#t16">16</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t17" href="#t17">17</a></span><span class="t"> <span class="key">def</span> <span class="nam">__init__</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">interventions</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t18" href="#t18">18</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">interventions</span> <span class="op">=</span> <span class="nam">interventions</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t19" href="#t19">19</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t20" href="#t20">20</a></span><span class="t"> <span class="key">def</span> <span class="nam">__iter__</span><span class="op">(</span><span class="nam">self</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t21" href="#t21">21</a></span><span class="t"> <span class="str">"""Makes the batch iterable and compatible with list()"""</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t22" href="#t22">22</a></span><span class="t"> <span class="key">return</span> <span class="nam">iter</span><span class="op">(</span><span class="nam">self</span><span class="op">.</span><span class="nam">interventions</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t23" href="#t23">23</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t24" href="#t24">24</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_textual_precondition</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">text</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t25" href="#t25">25</a></span><span class="t"> <span class="key">for</span> <span class="nam">intervention</span> <span class="key">in</span> <span class="nam">self</span><span class="op">.</span><span class="nam">interventions</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t26" href="#t26">26</a></span><span class="t"> <span class="nam">intervention</span><span class="op">.</span><span class="nam">set_textual_precondition</span><span class="op">(</span><span class="nam">text</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t27" href="#t27">27</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t28" href="#t28">28</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t29" href="#t29">29</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_functional_precondition</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">func</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t30" href="#t30">30</a></span><span class="t"> <span class="key">for</span> <span class="nam">intervention</span> <span class="key">in</span> <span class="nam">self</span><span class="op">.</span><span class="nam">interventions</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t31" href="#t31">31</a></span><span class="t"> <span class="nam">intervention</span><span class="op">.</span><span class="nam">set_functional_precondition</span><span class="op">(</span><span class="nam">func</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t32" href="#t32">32</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t33" href="#t33">33</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t34" href="#t34">34</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_effect</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">effect_func</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t35" href="#t35">35</a></span><span class="t"> <span class="key">for</span> <span class="nam">intervention</span> <span class="key">in</span> <span class="nam">self</span><span class="op">.</span><span class="nam">interventions</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t36" href="#t36">36</a></span><span class="t"> <span class="nam">intervention</span><span class="op">.</span><span class="nam">set_effect</span><span class="op">(</span><span class="nam">effect_func</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t37" href="#t37">37</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t38" href="#t38">38</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t39" href="#t39">39</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_propositional_precondition</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">proposition</span><span class="op">,</span> <span class="nam">threshold</span><span class="op">=</span><span class="key">None</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t40" href="#t40">40</a></span><span class="t"> <span class="key">for</span> <span class="nam">intervention</span> <span class="key">in</span> <span class="nam">self</span><span class="op">.</span><span class="nam">interventions</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t41" href="#t41">41</a></span><span class="t"> <span class="nam">intervention</span><span class="op">.</span><span class="nam">set_propositional_precondition</span><span class="op">(</span><span class="nam">proposition</span><span class="op">,</span> <span class="nam">threshold</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t42" href="#t42">42</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t43" href="#t43">43</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t44" href="#t44">44</a></span><span class="t"> <span class="key">def</span> <span class="nam">as_list</span><span class="op">(</span><span class="nam">self</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t45" href="#t45">45</a></span><span class="t"> <span class="str">"""Return the list of individual interventions."""</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t46" href="#t46">46</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span><span class="op">.</span><span class="nam">interventions</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t47" href="#t47">47</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t48" href="#t48">48</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t49" href="#t49">49</a></span><span class="t"><span class="key">class</span> <span class="nam">Intervention</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t50" href="#t50">50</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t51" href="#t51">51</a></span><span class="t"> <span class="key">def</span> <span class="nam">__init__</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">targets</span><span class="op">:</span> <span class="nam">Union</span><span class="op">[</span><span class="nam">TinyPerson</span><span class="op">,</span> <span class="nam">TinyWorld</span><span class="op">,</span> <span class="nam">List</span><span class="op">[</span><span class="nam">TinyPerson</span><span class="op">]</span><span class="op">,</span> <span class="nam">List</span><span class="op">[</span><span class="nam">TinyWorld</span><span class="op">]</span><span class="op">]</span><span class="op">,</span> </span><span class="r"></span></p> | |
| <p class="mis mis2 show_mis"><span class="n"><a id="t52" href="#t52">52</a></span><span class="t"> <span class="nam">first_n</span><span class="op">:</span><span class="nam">int</span><span class="op">=</span><span class="nam">DEFAULT_FIRST_N</span><span class="op">,</span> <span class="nam">last_n</span><span class="op">:</span><span class="nam">int</span><span class="op">=</span><span class="nam">DEFAULT_LAST_N</span><span class="op">,</span> </span><span class="r"></span></p> | |
| <p class="mis mis2 show_mis"><span class="n"><a id="t53" href="#t53">53</a></span><span class="t"> <span class="nam">name</span><span class="op">:</span> <span class="nam">str</span> <span class="op">=</span> <span class="key">None</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t54" href="#t54">54</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t55" href="#t55">55</a></span><span class="t"><span class="str"> Initialize the intervention.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t56" href="#t56">56</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t57" href="#t57">57</a></span><span class="t"><span class="str"> Args:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t58" href="#t58">58</a></span><span class="t"><span class="str"> target (Union[TinyPerson, TinyWorld, List[TinyPerson], List[TinyWorld]]): the target to intervene on</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t59" href="#t59">59</a></span><span class="t"><span class="str"> first_n (int): the number of first interactions to consider in the context</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t60" href="#t60">60</a></span><span class="t"><span class="str"> last_n (int): the number of last interactions (most recent) to consider in the context</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t61" href="#t61">61</a></span><span class="t"><span class="str"> name (str): the name of the intervention</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t62" href="#t62">62</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t63" href="#t63">63</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t64" href="#t64">64</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">targets</span> <span class="op">=</span> <span class="nam">targets</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t65" href="#t65">65</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t66" href="#t66">66</a></span><span class="t"> <span class="com"># initialize the possible preconditions</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t67" href="#t67">67</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">text_precondition</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t68" href="#t68">68</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">precondition_func</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t69" href="#t69">69</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t70" href="#t70">70</a></span><span class="t"> <span class="com"># effects</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t71" href="#t71">71</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">effect_func</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t72" href="#t72">72</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t73" href="#t73">73</a></span><span class="t"> <span class="com"># which events to pay attention to?</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t74" href="#t74">74</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">first_n</span> <span class="op">=</span> <span class="nam">first_n</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t75" href="#t75">75</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">last_n</span> <span class="op">=</span> <span class="nam">last_n</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t76" href="#t76">76</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t77" href="#t77">77</a></span><span class="t"> <span class="com"># name</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t78" href="#t78">78</a></span><span class="t"> <span class="key">if</span> <span class="nam">name</span> <span class="key">is</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t79" href="#t79">79</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">name</span> <span class="op">=</span> <span class="nam">self</span><span class="op">.</span><span class="nam">name</span> <span class="op">=</span> <span class="fst">f"</span><span class="fst">Intervention </span><span class="op">{</span><span class="nam">utils</span><span class="op">.</span><span class="nam">fresh_id</span><span class="op">(</span><span class="nam">self</span><span class="op">.</span><span class="nam">__class__</span><span class="op">.</span><span class="nam">__name__</span><span class="op">)</span><span class="op">}</span><span class="fst">"</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t80" href="#t80">80</a></span><span class="t"> <span class="key">else</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t81" href="#t81">81</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">name</span> <span class="op">=</span> <span class="nam">name</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t82" href="#t82">82</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t83" href="#t83">83</a></span><span class="t"> <span class="com"># the most recent precondition proposition used to check the precondition</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t84" href="#t84">84</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_text_precondition_proposition</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t85" href="#t85">85</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_functional_precondition_check</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t86" href="#t86">86</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t87" href="#t87">87</a></span><span class="t"> <span class="com"># propositional precondition (optional)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t88" href="#t88">88</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t89" href="#t89">89</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition_threshold</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t90" href="#t90">90</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_propositional_precondition_check</span> <span class="op">=</span> <span class="key">None</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t91" href="#t91">91</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t92" href="#t92">92</a></span><span class="t"> <span class="com">################################################################################################</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t93" href="#t93">93</a></span><span class="t"> <span class="com"># Intervention flow</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t94" href="#t94">94</a></span><span class="t"> <span class="com">################################################################################################ </span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t95" href="#t95">95</a></span><span class="t"> <span class="op">@</span><span class="nam">classmethod</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t96" href="#t96">96</a></span><span class="t"> <span class="key">def</span> <span class="nam">create_for_each</span><span class="op">(</span><span class="nam">cls</span><span class="op">,</span> <span class="nam">targets</span><span class="op">,</span> <span class="nam">first_n</span><span class="op">=</span><span class="nam">DEFAULT_FIRST_N</span><span class="op">,</span> <span class="nam">last_n</span><span class="op">=</span><span class="nam">DEFAULT_LAST_N</span><span class="op">,</span> <span class="nam">name</span><span class="op">=</span><span class="key">None</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t97" href="#t97">97</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t98" href="#t98">98</a></span><span class="t"><span class="str"> Create separate interventions for each target in the list.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t99" href="#t99">99</a></span><span class="t"><span class="str"> </span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t100" href="#t100">100</a></span><span class="t"><span class="str"> Args:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t101" href="#t101">101</a></span><span class="t"><span class="str"> targets (list): List of targets (TinyPerson or TinyWorld instances)</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t102" href="#t102">102</a></span><span class="t"><span class="str"> first_n (int): the number of first interactions to consider in the context</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t103" href="#t103">103</a></span><span class="t"><span class="str"> last_n (int): the number of last interactions (most recent) to consider in the context</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t104" href="#t104">104</a></span><span class="t"><span class="str"> name (str): the name of the intervention</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t105" href="#t105">105</a></span><span class="t"><span class="str"> </span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t106" href="#t106">106</a></span><span class="t"><span class="str"> Returns:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t107" href="#t107">107</a></span><span class="t"><span class="str"> InterventionBatch: A wrapper that allows chaining set_* methods that will apply to all interventions</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t108" href="#t108">108</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t109" href="#t109">109</a></span><span class="t"> <span class="key">if</span> <span class="key">not</span> <span class="nam">isinstance</span><span class="op">(</span><span class="nam">targets</span><span class="op">,</span> <span class="nam">list</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t110" href="#t110">110</a></span><span class="t"> <span class="nam">targets</span> <span class="op">=</span> <span class="op">[</span><span class="nam">targets</span><span class="op">]</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t111" href="#t111">111</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t112" href="#t112">112</a></span><span class="t"> <span class="nam">interventions</span> <span class="op">=</span> <span class="op">[</span><span class="nam">cls</span><span class="op">(</span><span class="nam">target</span><span class="op">,</span> <span class="nam">first_n</span><span class="op">=</span><span class="nam">first_n</span><span class="op">,</span> <span class="nam">last_n</span><span class="op">=</span><span class="nam">last_n</span><span class="op">,</span> </span><span class="r"></span></p> | |
| <p class="mis mis2 show_mis"><span class="n"><a id="t113" href="#t113">113</a></span><span class="t"> <span class="nam">name</span><span class="op">=</span><span class="fst">f"</span><span class="op">{</span><span class="nam">name</span><span class="op">}</span><span class="fst">_</span><span class="op">{</span><span class="nam">i</span><span class="op">}</span><span class="fst">"</span> <span class="key">if</span> <span class="nam">name</span> <span class="key">else</span> <span class="key">None</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis mis2 show_mis"><span class="n"><a id="t114" href="#t114">114</a></span><span class="t"> <span class="key">for</span> <span class="nam">i</span><span class="op">,</span> <span class="nam">target</span> <span class="key">in</span> <span class="nam">enumerate</span><span class="op">(</span><span class="nam">targets</span><span class="op">)</span><span class="op">]</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t115" href="#t115">115</a></span><span class="t"> <span class="key">return</span> <span class="nam">InterventionBatch</span><span class="op">(</span><span class="nam">interventions</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t116" href="#t116">116</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t117" href="#t117">117</a></span><span class="t"> <span class="key">def</span> <span class="nam">__call__</span><span class="op">(</span><span class="nam">self</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t118" href="#t118">118</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t119" href="#t119">119</a></span><span class="t"><span class="str"> Execute the intervention.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t120" href="#t120">120</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t121" href="#t121">121</a></span><span class="t"><span class="str"> Returns:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t122" href="#t122">122</a></span><span class="t"><span class="str"> bool: whether the intervention effect was applied.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t123" href="#t123">123</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t124" href="#t124">124</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span><span class="op">.</span><span class="nam">execute</span><span class="op">(</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t125" href="#t125">125</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t126" href="#t126">126</a></span><span class="t"> <span class="key">def</span> <span class="nam">execute</span><span class="op">(</span><span class="nam">self</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t127" href="#t127">127</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t128" href="#t128">128</a></span><span class="t"><span class="str"> Execute the intervention. It first checks the precondition, and if it is met, applies the effect.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t129" href="#t129">129</a></span><span class="t"><span class="str"> This is the simplest method to run the intervention.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t130" href="#t130">130</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t131" href="#t131">131</a></span><span class="t"><span class="str"> Returns:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t132" href="#t132">132</a></span><span class="t"><span class="str"> bool: whether the intervention effect was applied.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t133" href="#t133">133</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t134" href="#t134">134</a></span><span class="t"> <span class="nam">logger</span><span class="op">.</span><span class="nam">debug</span><span class="op">(</span><span class="fst">f"</span><span class="fst">Executing intervention: </span><span class="op">{</span><span class="nam">self</span><span class="op">}</span><span class="fst">"</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t135" href="#t135">135</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">check_precondition</span><span class="op">(</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t136" href="#t136">136</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">apply_effect</span><span class="op">(</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t137" href="#t137">137</a></span><span class="t"> <span class="nam">logger</span><span class="op">.</span><span class="nam">debug</span><span class="op">(</span><span class="fst">f"</span><span class="fst">Precondition was true, intervention effect was applied.</span><span class="fst">"</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t138" href="#t138">138</a></span><span class="t"> <span class="key">return</span> <span class="key">True</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t139" href="#t139">139</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t140" href="#t140">140</a></span><span class="t"> <span class="nam">logger</span><span class="op">.</span><span class="nam">debug</span><span class="op">(</span><span class="fst">f"</span><span class="fst">Precondition was false, intervention effect was not applied.</span><span class="fst">"</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t141" href="#t141">141</a></span><span class="t"> <span class="key">return</span> <span class="key">False</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t142" href="#t142">142</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t143" href="#t143">143</a></span><span class="t"> <span class="key">def</span> <span class="nam">check_precondition</span><span class="op">(</span><span class="nam">self</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t144" href="#t144">144</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t145" href="#t145">145</a></span><span class="t"><span class="str"> Check if the precondition for the intervention is met.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t146" href="#t146">146</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t147" href="#t147">147</a></span><span class="t"> <span class="com">#</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t148" href="#t148">148</a></span><span class="t"> <span class="com"># Textual precondition</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t149" href="#t149">149</a></span><span class="t"> <span class="com">#</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t150" href="#t150">150</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">text_precondition</span> <span class="key">is</span> <span class="key">not</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t151" href="#t151">151</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_text_precondition_proposition</span> <span class="op">=</span> <span class="nam">Proposition</span><span class="op">(</span><span class="nam">claim</span><span class="op">=</span><span class="nam">self</span><span class="op">.</span><span class="nam">text_precondition</span><span class="op">,</span> <span class="nam">target</span><span class="op">=</span><span class="nam">self</span><span class="op">.</span><span class="nam">targets</span><span class="op">,</span> <span class="nam">first_n</span><span class="op">=</span><span class="nam">self</span><span class="op">.</span><span class="nam">first_n</span><span class="op">,</span> <span class="nam">last_n</span><span class="op">=</span><span class="nam">self</span><span class="op">.</span><span class="nam">last_n</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t152" href="#t152">152</a></span><span class="t"> <span class="nam">llm_precondition_check</span> <span class="op">=</span> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_text_precondition_proposition</span><span class="op">.</span><span class="nam">check</span><span class="op">(</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t153" href="#t153">153</a></span><span class="t"> <span class="key">else</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t154" href="#t154">154</a></span><span class="t"> <span class="nam">llm_precondition_check</span> <span class="op">=</span> <span class="key">True</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t155" href="#t155">155</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t156" href="#t156">156</a></span><span class="t"> <span class="com">#</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t157" href="#t157">157</a></span><span class="t"> <span class="com"># Functional precondition</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t158" href="#t158">158</a></span><span class="t"> <span class="com">#</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t159" href="#t159">159</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">precondition_func</span> <span class="key">is</span> <span class="key">not</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t160" href="#t160">160</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_functional_precondition_check</span> <span class="op">=</span> <span class="nam">self</span><span class="op">.</span><span class="nam">precondition_func</span><span class="op">(</span><span class="nam">self</span><span class="op">.</span><span class="nam">targets</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t161" href="#t161">161</a></span><span class="t"> <span class="key">else</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t162" href="#t162">162</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_functional_precondition_check</span> <span class="op">=</span> <span class="key">True</span> <span class="com"># default to True if no functional precondition is set</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t163" href="#t163">163</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t164" href="#t164">164</a></span><span class="t"> <span class="com">#</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t165" href="#t165">165</a></span><span class="t"> <span class="com"># Propositional precondition</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t166" href="#t166">166</a></span><span class="t"> <span class="com">#</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t167" href="#t167">167</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_propositional_precondition_check</span> <span class="op">=</span> <span class="key">True</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t168" href="#t168">168</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition</span> <span class="key">is</span> <span class="key">not</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t169" href="#t169">169</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition_threshold</span> <span class="key">is</span> <span class="key">not</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t170" href="#t170">170</a></span><span class="t"> <span class="nam">score</span> <span class="op">=</span> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition</span><span class="op">.</span><span class="nam">score</span><span class="op">(</span><span class="nam">target</span><span class="op">=</span><span class="nam">self</span><span class="op">.</span><span class="nam">targets</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t171" href="#t171">171</a></span><span class="t"> <span class="key">if</span> <span class="nam">score</span> <span class="op">>=</span> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition_threshold</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t172" href="#t172">172</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_propositional_precondition_check</span> <span class="op">=</span> <span class="key">False</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t173" href="#t173">173</a></span><span class="t"> <span class="key">else</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t174" href="#t174">174</a></span><span class="t"> <span class="key">if</span> <span class="key">not</span> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition</span><span class="op">.</span><span class="nam">check</span><span class="op">(</span><span class="nam">target</span><span class="op">=</span><span class="nam">self</span><span class="op">.</span><span class="nam">targets</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t175" href="#t175">175</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_propositional_precondition_check</span> <span class="op">=</span> <span class="key">False</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t176" href="#t176">176</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t177" href="#t177">177</a></span><span class="t"> <span class="key">return</span> <span class="nam">llm_precondition_check</span> <span class="key">and</span> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_functional_precondition_check</span> <span class="key">and</span> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_propositional_precondition_check</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t178" href="#t178">178</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t179" href="#t179">179</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t180" href="#t180">180</a></span><span class="t"> <span class="key">def</span> <span class="nam">apply_effect</span><span class="op">(</span><span class="nam">self</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t181" href="#t181">181</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t182" href="#t182">182</a></span><span class="t"><span class="str"> Apply the intervention's effects. This won't check the precondition, </span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t183" href="#t183">183</a></span><span class="t"><span class="str"> so it should be called after check_precondition.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t184" href="#t184">184</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t185" href="#t185">185</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">effect_func</span><span class="op">(</span><span class="nam">self</span><span class="op">.</span><span class="nam">targets</span><span class="op">)</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t186" href="#t186">186</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t187" href="#t187">187</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t188" href="#t188">188</a></span><span class="t"> <span class="com">################################################################################################</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t189" href="#t189">189</a></span><span class="t"> <span class="com"># Pre and post conditions</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t190" href="#t190">190</a></span><span class="t"> <span class="com">################################################################################################</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t191" href="#t191">191</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t192" href="#t192">192</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_textual_precondition</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">text</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t193" href="#t193">193</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t194" href="#t194">194</a></span><span class="t"><span class="str"> Set a precondition as text, to be interpreted by a language model.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t195" href="#t195">195</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t196" href="#t196">196</a></span><span class="t"><span class="str"> Args:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t197" href="#t197">197</a></span><span class="t"><span class="str"> text (str): the text of the precondition</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t198" href="#t198">198</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t199" href="#t199">199</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">text_precondition</span> <span class="op">=</span> <span class="nam">text</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t200" href="#t200">200</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> <span class="com"># for chaining</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t201" href="#t201">201</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t202" href="#t202">202</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_functional_precondition</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">func</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t203" href="#t203">203</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t204" href="#t204">204</a></span><span class="t"><span class="str"> Set a precondition as a function, to be evaluated by the code.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t205" href="#t205">205</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t206" href="#t206">206</a></span><span class="t"><span class="str"> Args:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t207" href="#t207">207</a></span><span class="t"><span class="str"> func (function): the function of the precondition. </span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t208" href="#t208">208</a></span><span class="t"><span class="str"> Must have the a single argument, targets (either a TinyWorld or TinyPerson, or a list). Must return a boolean.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t209" href="#t209">209</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t210" href="#t210">210</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">precondition_func</span> <span class="op">=</span> <span class="nam">func</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t211" href="#t211">211</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> <span class="com"># for chaining</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t212" href="#t212">212</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t213" href="#t213">213</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_effect</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">effect_func</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t214" href="#t214">214</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t215" href="#t215">215</a></span><span class="t"><span class="str"> Set the effect of the intervention.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t216" href="#t216">216</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t217" href="#t217">217</a></span><span class="t"><span class="str"> Args:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t218" href="#t218">218</a></span><span class="t"><span class="str"> effect (str): the effect function of the intervention</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t219" href="#t219">219</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t220" href="#t220">220</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">effect_func</span> <span class="op">=</span> <span class="nam">effect_func</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t221" href="#t221">221</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> <span class="com"># for chaining</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t222" href="#t222">222</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t223" href="#t223">223</a></span><span class="t"> <span class="key">def</span> <span class="nam">set_propositional_precondition</span><span class="op">(</span><span class="nam">self</span><span class="op">,</span> <span class="nam">proposition</span><span class="op">:</span><span class="nam">Proposition</span><span class="op">,</span> <span class="nam">threshold</span><span class="op">:</span><span class="nam">int</span><span class="op">=</span><span class="key">None</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t224" href="#t224">224</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t225" href="#t225">225</a></span><span class="t"><span class="str"> Set a propositional precondition using the Proposition class,</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t226" href="#t226">226</a></span><span class="t"><span class="str"> optionally with a score threshold.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t227" href="#t227">227</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t228" href="#t228">228</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t229" href="#t229">229</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition</span> <span class="op">=</span> <span class="nam">proposition</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t230" href="#t230">230</a></span><span class="t"> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition_threshold</span> <span class="op">=</span> <span class="nam">threshold</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t231" href="#t231">231</a></span><span class="t"> <span class="key">return</span> <span class="nam">self</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t232" href="#t232">232</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t233" href="#t233">233</a></span><span class="t"> <span class="com">################################################################################################</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t234" href="#t234">234</a></span><span class="t"> <span class="com"># Inspection</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t235" href="#t235">235</a></span><span class="t"> <span class="com">################################################################################################</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t236" href="#t236">236</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t237" href="#t237">237</a></span><span class="t"> <span class="key">def</span> <span class="nam">precondition_justification</span><span class="op">(</span><span class="nam">self</span><span class="op">)</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t238" href="#t238">238</a></span><span class="t"> <span class="str">"""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t239" href="#t239">239</a></span><span class="t"><span class="str"> Get the justification for the precondition.</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t240" href="#t240">240</a></span><span class="t"><span class="str"> """</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t241" href="#t241">241</a></span><span class="t"> <span class="nam">justification</span> <span class="op">=</span> <span class="str">""</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t242" href="#t242">242</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t243" href="#t243">243</a></span><span class="t"> <span class="com"># text precondition justification</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t244" href="#t244">244</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_text_precondition_proposition</span> <span class="key">is</span> <span class="key">not</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t245" href="#t245">245</a></span><span class="t"> <span class="nam">justification</span> <span class="op">+=</span> <span class="fst">f"</span><span class="op">{</span><span class="nam">self</span><span class="op">.</span><span class="nam">_last_text_precondition_proposition</span><span class="op">.</span><span class="nam">justification</span><span class="op">}</span><span class="fst"> (confidence = </span><span class="op">{</span><span class="nam">self</span><span class="op">.</span><span class="nam">_last_text_precondition_proposition</span><span class="op">.</span><span class="nam">confidence</span><span class="op">}</span><span class="fst">)\n\n</span><span class="fst">"</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t246" href="#t246">246</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t247" href="#t247">247</a></span><span class="t"> <span class="com"># functional precondition justification</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t248" href="#t248">248</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">precondition_func</span> <span class="key">is</span> <span class="key">not</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t249" href="#t249">249</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_functional_precondition_check</span> <span class="op">==</span> <span class="key">True</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t250" href="#t250">250</a></span><span class="t"> <span class="nam">justification</span> <span class="op">+=</span> <span class="fst">f"</span><span class="fst">Functional precondition was met.\n\n</span><span class="fst">"</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t251" href="#t251">251</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t252" href="#t252">252</a></span><span class="t"> <span class="key">else</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t253" href="#t253">253</a></span><span class="t"> <span class="nam">justification</span> <span class="op">+=</span> <span class="str">"Preconditions do not appear to be met.\n\n"</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t254" href="#t254">254</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t255" href="#t255">255</a></span><span class="t"> <span class="com"># propositional precondition justification</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t256" href="#t256">256</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">propositional_precondition</span> <span class="key">is</span> <span class="key">not</span> <span class="key">None</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t257" href="#t257">257</a></span><span class="t"> <span class="key">if</span> <span class="nam">self</span><span class="op">.</span><span class="nam">_last_propositional_precondition_check</span> <span class="op">==</span> <span class="key">True</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t258" href="#t258">258</a></span><span class="t"> <span class="nam">justification</span> <span class="op">+=</span> <span class="fst">f"</span><span class="fst">Propositional precondition was met.\n\n</span><span class="fst">"</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t259" href="#t259">259</a></span><span class="t"> <span class="key">else</span><span class="op">:</span> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t260" href="#t260">260</a></span><span class="t"> <span class="nam">justification</span> <span class="op">+=</span> <span class="str">"Propositional precondition was not met.\n\n"</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t261" href="#t261">261</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t262" href="#t262">262</a></span><span class="t"> <span class="key">return</span> <span class="nam">justification</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t263" href="#t263">263</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="mis show_mis"><span class="n"><a id="t264" href="#t264">264</a></span><span class="t"> <span class="key">return</span> <span class="nam">justification</span> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t265" href="#t265">265</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t266" href="#t266">266</a></span><span class="t"> </span><span class="r"></span></p> | |
| <p class="pln"><span class="n"><a id="t267" href="#t267">267</a></span><span class="t"> </span><span class="r"></span></p> | |
| </main> | |
| <footer> | |
| <div class="content"> | |
| <p> | |
| <a class="nav" href="z_13b615ba9b634dc5___init___py.html">« prev</a> | |
| <a class="nav" href="index.html">^ index</a> | |
| <a class="nav" href="z_13b615ba9b634dc5_tiny_story_py.html">» next</a> | |
| | |
| <a class="nav" href="https://coverage.readthedocs.io/en/7.13.4">coverage.py v7.13.4</a>, | |
| created at 2026-02-28 17:48 +0000 | |
| </p> | |
| </div> | |
| </footer> | |
| </body> | |
| </html> | |