Frame problem
description: the problem of finding adequate collections of axioms for a viable description of a robot environment using first-order logic
subject: Category:Concepts in epistemology
subject: Category:Problems in artificial intelligence
label: 사고범위 문제 @ko
label: Problème du cadre @fr
label: Rahmenproblem @de
description: Erfüllen der Vollständigkeitsbedingung mit minimalem Aufwand @de
reason: 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.
reason: 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.]
subject: Category:1969 introductions
description: 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 @ca
reason: Mention the approach by which the frame problem was solved.
subject: Category:Logic programming
date: August 2013
label: Frame-probleem @nl
subject: Category:Knowledge representation
label: フレーム問題 @ja
subject: Category:Philosophical problems