Skip to content

Latest commit

 

History

History
7 lines (5 loc) · 283 Bytes

File metadata and controls

7 lines (5 loc) · 283 Bytes

Suppose the ${Flip}$ action always changes the truth value of variable $L$. Show how to define its effects by using an action schema with conditional effects. Show that, despite the use of conditional effects, a 1-CNF belief state representation remains in 1-CNF after a ${Flip}$.