Two counterexamples related to Baker's approach to the frame problem

摘要

Andrew Baker's approach to reasoning about actions is the most robust circumscriptive approach currently known. Investigation of its applicability to nondeterministic actions reveals that this approach does not allow us to draw some intuitively plausible conclusions. Also, it does not always generate the proper existence of situations axiom. The limitations are traced to an unexpected interference of the axioms encoding observations with the minimization. A modification that avoids the shortcomings is suggested.