reasoning-about-actions

Symbolic Verification of GOLOG Programs with First-Order BDDs

loop: while (∃x.OnRobot(x)) do πx:Dish unload (x) endWhile; G OLOG is an agent language that allows defining behaviours πy:Room { goto(y); in terms of programs over actions defined in a Situation Cal- while (∃xDirty(x, y)) do culus action theory. Often it is vital to verify such...

Persistence, Causation and Counterfactuals

: We present a novel theory of nonmonotonic temporal reasoning. It is related to approaches based on causation, the main di erence being that in our ap- proach causal relations take a context argument which indicates under what circumstances they should hold. Our theory can handl...