the problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logic
Frame problem
사고범위 문제
Problème du cadre
Rahmenproblem
Erfüllen der Vollständigkeitsbedingung mit minimalem Aufwand
Shouldn't then the frame axiom be the following modification of the above rule: '∀t.executeopen→open∧' ? In contrast, the formula 'on↔on' seems to be too particular taylored to the 'executeopen' situation.
What kind of logic? [Old reason: If ordinary predicate logic is meant, what is the purpose of the 'true →' in the 3rd formula? If some other logic is meant, it should be stated explicitly here, together with the purpose of the 'true →' in that logic.]
el problema de trobar col·leccions adequades d'axiomes per a una descripció viable d'un entorn de robot mitjançant la lògica de primer ordre
Mention the approach by which the frame problem was solved.
August 2013
Frame-probleem
フレーム問題