Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia

摘要: Why is the frame problem? describing non-effects of actions introducing situation calculus axioms towards a solution making more compact criteria for to problem elaboration tolerance non-monotonic solutions common sense law inertia monotonic versus explanations, qualifications and narrative philosophical reflections. Logical foundations: language predicate semantics many-sorted second-order ontology os formulae situations result function limitations default reasoning circumscription complicated policies. Towards solution: formalising an example that works Hanks-McDermott variations on Hanks McDermott theme differences in style importance Hanks-Mcdermott problem. Chronological minisation: Yale shooting scenario Default Logic generating extensions directionality time chronological minimisation stolen car improving minimisation. Casual minimisation: eliminating spontaneous change scenarios principles separation with context-dependent effects causal explanation ramifications casual Introducing state-based varying adding existence-of-situations axiom need domain closure universal existence-of axiom. Generalising logical prerequisites first-order formalisations applying existence-of-situation general theorems about Tailor-made techniques: automatically derived successor state A. Narratives calculus: narratives arboreality associating each actual two point comparing approaches. (Part contents).