| … | … | @@ -118,7 +118,7 @@ The following are optimal action plans the agent learned to get a reward: |
| 118 | 118 | |
| 119 | 119 | 2. Polyaction plans |
| 120 | 120 | |
| 121 | | 2.1.`(outside(self, house) ∧ do(go_to_key) ≺ do(go_to_house)) ≺ do(go_to_diamonds) ↝ Reward(1)` |
| 121 | 2.1.`(outside(self, house) ∧ do(go_to_key) ⩘ do(go_to_house)) ⩘ do(go_to_diamonds) ↝ Reward(1)` |
| 122 | 122 | |
| 123 | 123 | ```scheme |
| 124 | 124 | (BackPredictiveImplicationScopeLink (stv 1 0.00503106) |
| … | … | @@ -165,7 +165,7 @@ The following are optimal action plans the agent learned to get a reward: |
| 165 | 165 | ) ; [bd6c515d92fe0be1][3] |
| 166 | 166 | ``` |
| 167 | 167 | |
| 168 | | 2.2. `outside(self, house) ∧ do(go_to_key) ≺ do(go_to_house) ↝ inside(self, house)` |
| 168 | 2.2. `outside(self, house) ∧ do(go_to_key) ⩘ do(go_to_house) ↝ inside(self, house)` |
| 169 | 169 | |
| 170 | 170 | ```scheme |
| 171 | 171 | (BackPredictiveImplicationScopeLink (stv 1 0.00559006) |
| … | … | @@ -206,7 +206,7 @@ The following are optimal action plans the agent learned to get a reward: |
| 206 | 206 | ) ; [c4a99a11fb34aeb2][3] |
| 207 | 207 | ``` |
| 208 | 208 | |
| 209 | | 2.3 `hold(self, key) ∧ do(go_to_house) ≺ do(go_to_diamonds) ↝ Reward(1)` |
| 209 | 2.3 `hold(self, key) ∧ do(go_to_house) ⩘ do(go_to_diamonds) ↝ Reward(1)` |
| 210 | 210 | |
| 211 | 211 | ```scheme |
| 212 | 212 | (BackPredictiveImplicationScopeLink (stv 1 0.00559006) |