Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Frame_problem> ?p ?o }
- Frame_problem abstract "In artificial intelligence, the frame problem describes an issue with using first-order logic (FOL) to express facts about a robot in the world. Representing the state of a robot with traditional FOL requires the use of many axioms that simply imply that things in the environment do not change arbitrarily. For example, Hayes describes a 'block world' with rules about stacking blocks together. In a FOL system, additional axioms are required to make inferences about the environment (for example, that a block cannot change position unless it's physically moved). The frame problem is the problem of finding adequate collections of axioms for a viable description of a robot environment.John McCarthy and Patrick J. Hayes defined this problem in their 1969 article, Some Philosophical Problems from the Standpoint of Artificial Intelligence. In this paper and many that came after the formal mathematical problem was a starting point for more general discussions of the difficulty of knowledge representation for artificial intelligence. Issues such as how to provide rational default assumptions and what humans consider common sense in a virtual environment. Later, the term acquired a broader meaning in philosophy, where it is formulated as the problem of limiting the beliefs that have to be updated in response to actions. In the logical context, actions are typically specified by what they change, with the implicit assumption that everything else (the frame) remains unchanged.".
- Frame_problem wikiPageExternalLink mcchay69.html.
- Frame_problem wikiPageExternalLink mcchay69.html.
- Frame_problem wikiPageExternalLink jmc.pdf.
- Frame_problem wikiPageExternalLink 002.
- Frame_problem wikiPageExternalLink 005.
- Frame_problem wikiPageExternalLink 006.
- Frame_problem wikiPageExternalLink 007.
- Frame_problem wikiPageExternalLink 009.
- Frame_problem wikiPageExternalLink 010.
- Frame_problem wikiPageExternalLink epapage.html.
- Frame_problem wikiPageExternalLink applications.html.
- Frame_problem wikiPageExternalLink ralpdt6.pdf.
- Frame_problem wikiPageID "11306".
- Frame_problem wikiPageLength "24939".
- Frame_problem wikiPageOutDegree "48".
- Frame_problem wikiPageRevisionID "678936159".
- Frame_problem wikiPageWikiLink Action_description_language.
- Frame_problem wikiPageWikiLink Answer_set_programming.
- Frame_problem wikiPageWikiLink Artificial_intelligence.
- Frame_problem wikiPageWikiLink Binding_problem.
- Frame_problem wikiPageWikiLink Category:Artificial_intelligence.
- Frame_problem wikiPageWikiLink Category:Epistemology.
- Frame_problem wikiPageWikiLink Category:Knowledge_representation.
- Frame_problem wikiPageWikiLink Category:Logic_programming.
- Frame_problem wikiPageWikiLink Category:Philosophical_problems.
- Frame_problem wikiPageWikiLink Circumscription_(logic).
- Frame_problem wikiPageWikiLink Common_sense.
- Frame_problem wikiPageWikiLink Commonsense_reasoning.
- Frame_problem wikiPageWikiLink Default_logic.
- Frame_problem wikiPageWikiLink Defeasible_reasoning.
- Frame_problem wikiPageWikiLink Drew_McDermott.
- Frame_problem wikiPageWikiLink Electronic_Transactions_on_Artificial_Intelligence.
- Frame_problem wikiPageWikiLink Erik_Sandewall.
- Frame_problem wikiPageWikiLink Event_calculus.
- Frame_problem wikiPageWikiLink First-order_logic.
- Frame_problem wikiPageWikiLink Fluent_(artificial_intelligence).
- Frame_problem wikiPageWikiLink Fluent_calculus.
- Frame_problem wikiPageWikiLink Formal_language.
- Frame_problem wikiPageWikiLink Gottfried_Wilhelm_Leibniz.
- Frame_problem wikiPageWikiLink John_McCarthy_(computer_scientist).
- Frame_problem wikiPageWikiLink Journal_of_the_ACM.
- Frame_problem wikiPageWikiLink Linear_logic.
- Frame_problem wikiPageWikiLink Non-monotonic_logic.
- Frame_problem wikiPageWikiLink Pat_Hayes.
- Frame_problem wikiPageWikiLink Patrick_J._Hayes.
- Frame_problem wikiPageWikiLink Philosophy.
- Frame_problem wikiPageWikiLink Predicate_(computer_programming).
- Frame_problem wikiPageWikiLink Predicate_(mathematical_logic).
- Frame_problem wikiPageWikiLink Proposition.
- Frame_problem wikiPageWikiLink Ray_Reiter.
- Frame_problem wikiPageWikiLink Raymond_Reiter.
- Frame_problem wikiPageWikiLink Reification_(knowledge_representation).
- Frame_problem wikiPageWikiLink Royal_Swedish_Academy_of_Sciences.
- Frame_problem wikiPageWikiLink Situation_calculus.
- Frame_problem wikiPageWikiLink Stable_model_semantics.
- Frame_problem wikiPageWikiLink Stanford_University.
- Frame_problem wikiPageWikiLink Successor_state_axiom.
- Frame_problem wikiPageWikiLink Symbol_grounding.
- Frame_problem wikiPageWikiLink Symbol_grounding_problem.
- Frame_problem wikiPageWikiLink Transition_system.
- Frame_problem wikiPageWikiLink University_of_Texas_at_Austin.
- Frame_problem wikiPageWikiLink Yale_shooting_problem.
- Frame_problem wikiPageWikiLinkText "Frame problem".
- Frame_problem wikiPageWikiLinkText "Frames".
- Frame_problem wikiPageWikiLinkText "frame problem".
- Frame_problem wikiPageWikiLinkText "frame".
- Frame_problem date "August 2013".
- Frame_problem hasPhotoCollection Frame_problem.
- Frame_problem reason "Mention the approach by which the frame problem was solved.".
- Frame_problem 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.".
- Frame_problem reason "What kind of logic? 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.".
- Frame_problem wikiPageUsesTemplate Template:Cite_book.
- Frame_problem wikiPageUsesTemplate Template:Cite_journal.
- Frame_problem wikiPageUsesTemplate Template:Cite_paper.
- Frame_problem wikiPageUsesTemplate Template:Clarify.
- Frame_problem wikiPageUsesTemplate Template:John_McCarthy_navbox.
- Frame_problem wikiPageUsesTemplate Template:Reflist.
- Frame_problem wikiPageUsesTemplate Template:SEP.
- Frame_problem subject Category:Artificial_intelligence.
- Frame_problem subject Category:Epistemology.
- Frame_problem subject Category:Knowledge_representation.
- Frame_problem subject Category:Logic_programming.
- Frame_problem subject Category:Philosophical_problems.
- Frame_problem type Area.
- Frame_problem type Article.
- Frame_problem type Area.
- Frame_problem type Article.
- Frame_problem type Concept.
- Frame_problem comment "In artificial intelligence, the frame problem describes an issue with using first-order logic (FOL) to express facts about a robot in the world. Representing the state of a robot with traditional FOL requires the use of many axioms that simply imply that things in the environment do not change arbitrarily. For example, Hayes describes a 'block world' with rules about stacking blocks together.".
- Frame_problem label "Frame problem".
- Frame_problem sameAs Rahmenproblem.
- Frame_problem sameAs Problème_du_cadre.
- Frame_problem sameAs フレーム問題.
- Frame_problem sameAs 사고범위_문제.
- Frame_problem sameAs Frame-probleem.
- Frame_problem sameAs Rammeproblemet.
- Frame_problem sameAs m.0308y.
- Frame_problem sameAs Q1185775.
- Frame_problem sameAs Q1185775.