Frame problem (original) (raw)
사고범위 문제(思考範圍問題, 영어: frame problem, 프레임 문제)는 인공지능에서 중요한 문제의 하나로, 유한한 정보처리능력을 지닌 로봇이 현실에서 일어날 수 있는 모든 문제에 대해 대처하지 못하는 문제를 말한다. 1969년 존 매카시와 가, Some Philosophical Problems from the Standpoint of Artificial Intelligence→인공지능 관점에서의 몇몇 철학적 문제들에 서술한 것이 최초이며, 현재는 정형화된 것들이 여러 가지 있다.
| Property | Value |
|---|---|
| dbo:abstract | Das Rahmenproblem oder auch Frame-Problem bezeichnet in der künstlichen Intelligenz ein Problem bei der logischen Repräsentation der Effekte von Aktionen. In gewissen Logikkalkülen (etwa dem Situationskalkül) reicht es nicht aus, bloß die Effekte von Aktionen zu beschreiben, deren Wahrheitswerte sich ändern. Eine vollständige, explizite Beschreibung sämtlicher Auswirkungen von Aktionen auf alle in einer Welt geltenden Fakten (also nicht nur dessen, „was sich ändert“, sondern auch, „was gleich bleibt“) wäre allerdings zu aufwendig. Das Rahmenproblem beschäftigt sich somit mit der Frage, wie ein Logikkalkül vollständig sein kann, ohne triviale Nichtänderungen explizit zu beschreiben. Als Rahmenprobleme werden eine Reihe von ähnlichen Problemen bezeichnet. Neben den gelösten und Rahmenproblemen gibt es das , das keine vollständige Lösung hat. Der Name Rahmenproblem bezieht sich auf das Referenzsystem (Englisch: Frame of reference) in der Physik. Das Frame-Problem besteht darin, nicht nur die sich ändernden Objekte, sondern auch den statischen Rahmen des Bezugsystems zu erfassen. (de) 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 is 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. (en) En informatique et philosophie, plus précisément en intelligence artificielle, le problème du cadre (frame problem en anglais) concerne la modélisation de l'effet des actions. Il s'agit d'énoncer la préservation du cadre : toutes les propriétés non modifiées par une action. Par exemple, si un robot pose une tasse sur une table, il faut non seulement spécifier que la tasse est désormais sur la table, mais aussi que la lumière reste allumée, que la table est toujours au même endroit, que le robot est toujours dans la même pièce etc. Le problème du cadre a été initialement formulé en intelligence artificielle par John McCarthy et Patrick J. Hayes en 1969 dans leur article Some Philosophical Problems from the Standpoint of Artificial Intelligence. (fr) 사고범위 문제(思考範圍問題, 영어: frame problem, 프레임 문제)는 인공지능에서 중요한 문제의 하나로, 유한한 정보처리능력을 지닌 로봇이 현실에서 일어날 수 있는 모든 문제에 대해 대처하지 못하는 문제를 말한다. 1969년 존 매카시와 가, Some Philosophical Problems from the Standpoint of Artificial Intelligence→인공지능 관점에서의 몇몇 철학적 문제들에 서술한 것이 최초이며, 현재는 정형화된 것들이 여러 가지 있다. (ko) In de kunstmatige intelligentie is het frame-probleem het probleem om efficiënt te noteren in een logisch formalisme wat er verandert én wat er niet verandert als gevolg van een actie. Met efficiënt wordt bedoeld dat men niet voor elke veranderlijke eigenschap van de omgeving hoeft uit te schrijven dat het niet verandert als er een actie wordt uitgevoerd. Het werd voor het eerst geformuleerd door John McCarthy en in 1969 in hun publicatie met de titel Some philosophical problems from the standpoint of artificial intelligence. Later kreeg het frame-probleem ook een betekenis in de filosofie waarbij de vraag gesteld wordt hoe denkende systemen kunnen bepalen welke informatie relevant is en welke niet, bij het redeneren over een bepaalde gebeurtenis. Wanneer een gebeurtenis (bijvoorbeeld een gebeurtenis als gevolg van een geplande actie) plaatsvindt in de wereld, kunnen we ons afvragen: (A) Welke dingen veranderen en welke niet? Meer specifiek: * (A1) Wat zijn de noodzakelijke en voldoende voorwaarden voor het ontstaan van een gebeurtenis? * (A2) Wat zijn de (potentiële) veranderingen ontstaan door de gebeurtenis? * (B) Hoe representeren we (A)? * (C) Hoe kunnen we over (A) redeneren? (nl) フレーム問題（フレームもんだい、（英: frame problem）とは、人工知能における重要な難問の一つで、有限の情報処理能力しかないロボットには、現実に起こりうる問題全てに対処することができないことを示すものである。 1969年、ジョン・マッカーシーとの論文の中で述べられたのが最初で、現在では、数多くの定式化がある。 (ja) |
| dbo:wikiPageExternalLink | http://www.cs.utexas.edu/~vl/papers/jmc.pdf http://www-formal.stanford.edu/jmc/applications.html http://www-formal.stanford.edu/jmc/mcchay69.html http://www-formal.stanford.edu/jmc/mcchay69/mcchay69.html http://www.ep.liu.se/ej/etai/1997/002 http://www.ep.liu.se/ej/etai/1998/005 http://www.ep.liu.se/ej/etai/1998/007 http://www.ep.liu.se/ej/etai/1998/009 http://www.ep.liu.se/ej/etai/1998/010 http://www.d.umn.edu/~hudson/papers/ralpdt6.pdf http://www.ida.liu.se/ext/epa/ej/etai/1999/016/epapage.html https://books.google.com/books%3Fid=z8zR3Ds7xKQC&dq=%22Solving+the+frame+problem:+A+mathematical+investigation+of+the+common+sense+law+of+inertia.%22&pg=PR13%7Cisbn=9780262193849 https://web.archive.org/web/20140211073025/http:/www.cs.utexas.edu/~vl/papers/jmc.pdf http://www.umiacs.umd.edu/%7Ehorty/courses/readings/reiter-default-1980.pdf%7C http://www.ep.liu.se/ej/etai/1998/006 |
| dbo:wikiPageID | 11306 (xsd:integer) |
| dbo:wikiPageLength | 29246 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124509497 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Philosophical_problems dbr:Electronic_Transactions_on_Artificial_Intelligence dbr:Answer_set_programming dbr:University_of_Texas_at_Austin dbr:Default_logic dbr:Defeasible_reasoning dbc:Artificial_intelligence dbr:Common_sense dbr:Separation_logic dbr:Gottfried_Wilhelm_Leibniz dbr:Erik_Sandewall dbr:Linear_logic dbr:Stanford_University dbr:Commonsense_reasoning dbr:Proposition dbr:Action_description_language dbr:Drew_McDermott dbr:First-order_logic dbr:Non-monotonic_logic dbc:1969_introductions dbr:Fluent_(artificial_intelligence) dbr:Fluent_calculus dbr:Formal_language dbr:Journal_of_the_ACM dbr:Symbol_grounding dbr:Qualification_problem dbr:Ramification_problem dbr:Reification_(knowledge_representation) dbr:Artificial_intelligence dbc:Knowledge_representation dbc:Epistemology dbc:Logic_programming dbr:John_McCarthy_(computer_scientist) dbr:Binding_problem dbr:Hoare_logic dbr:Transition_system dbr:Yale_shooting_problem dbr:Axiom dbr:Philosophy dbr:Circumscription_(logic) dbr:Raymond_Reiter dbr:Situation_calculus dbr:Event_calculus dbr:Stable_model_semantics dbr:Block_world dbr:Ray_Reiter dbr:Patrick_J._Hayes dbr:Predicate_(computer_programming) dbr:Successor_state_axiom |
| dbp:date | August 2013 (en) |
| dbp: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. (en) Mention the approach by which the frame problem was solved. (en) 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.] (en) |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:Clarify dbt:Explain dbt:Reflist dbt:Short_description dbt:Cite_SEP dbt:John_McCarthy |
| dcterms:subject | dbc:Philosophical_problems dbc:Artificial_intelligence dbc:1969_introductions dbc:Knowledge_representation dbc:Epistemology dbc:Logic_programming |
| rdf:type | yago:Abstraction100002137 yago:Attribute100024264 yago:Condition113920835 yago:Difficulty114408086 yago:Problem114410605 yago:State100024720 yago:WikicatPhilosophicalProblems |
| rdfs:comment | 사고범위 문제(思考範圍問題, 영어: frame problem, 프레임 문제)는 인공지능에서 중요한 문제의 하나로, 유한한 정보처리능력을 지닌 로봇이 현실에서 일어날 수 있는 모든 문제에 대해 대처하지 못하는 문제를 말한다. 1969년 존 매카시와 가, Some Philosophical Problems from the Standpoint of Artificial Intelligence→인공지능 관점에서의 몇몇 철학적 문제들에 서술한 것이 최초이며, 현재는 정형화된 것들이 여러 가지 있다. (ko) フレーム問題（フレームもんだい、（英: frame problem）とは、人工知能における重要な難問の一つで、有限の情報処理能力しかないロボットには、現実に起こりうる問題全てに対処することができないことを示すものである。 1969年、ジョン・マッカーシーとの論文の中で述べられたのが最初で、現在では、数多くの定式化がある。 (ja) Das Rahmenproblem oder auch Frame-Problem bezeichnet in der künstlichen Intelligenz ein Problem bei der logischen Repräsentation der Effekte von Aktionen. In gewissen Logikkalkülen (etwa dem Situationskalkül) reicht es nicht aus, bloß die Effekte von Aktionen zu beschreiben, deren Wahrheitswerte sich ändern. Eine vollständige, explizite Beschreibung sämtlicher Auswirkungen von Aktionen auf alle in einer Welt geltenden Fakten (also nicht nur dessen, „was sich ändert“, sondern auch, „was gleich bleibt“) wäre allerdings zu aufwendig. Das Rahmenproblem beschäftigt sich somit mit der Frage, wie ein Logikkalkül vollständig sein kann, ohne triviale Nichtänderungen explizit zu beschreiben. (de) 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 is physically moved). The frame problem is the problem of finding adequate collections of axioms for a viable description of a robot environment. (en) En informatique et philosophie, plus précisément en intelligence artificielle, le problème du cadre (frame problem en anglais) concerne la modélisation de l'effet des actions. Il s'agit d'énoncer la préservation du cadre : toutes les propriétés non modifiées par une action. Par exemple, si un robot pose une tasse sur une table, il faut non seulement spécifier que la tasse est désormais sur la table, mais aussi que la lumière reste allumée, que la table est toujours au même endroit, que le robot est toujours dans la même pièce etc. (fr) In de kunstmatige intelligentie is het frame-probleem het probleem om efficiënt te noteren in een logisch formalisme wat er verandert én wat er niet verandert als gevolg van een actie. Met efficiënt wordt bedoeld dat men niet voor elke veranderlijke eigenschap van de omgeving hoeft uit te schrijven dat het niet verandert als er een actie wordt uitgevoerd. Het werd voor het eerst geformuleerd door John McCarthy en in 1969 in hun publicatie met de titel Some philosophical problems from the standpoint of artificial intelligence. Later kreeg het frame-probleem ook een betekenis in de filosofie waarbij de vraag gesteld wordt hoe denkende systemen kunnen bepalen welke informatie relevant is en welke niet, bij het redeneren over een bepaalde gebeurtenis. Wanneer een gebeurtenis (bijvoorbeeld een (nl) |
| rdfs:label | Rahmenproblem (de) Frame problem (en) Problème du cadre (fr) フレーム問題 (ja) 사고범위 문제 (ko) Frame-probleem (nl) |
| owl:sameAs | freebase:Frame problem yago-res:Frame problem wikidata:Frame problem dbpedia-de:Frame problem dbpedia-fr:Frame problem dbpedia-ja:Frame problem dbpedia-ko:Frame problem dbpedia-nl:Frame problem dbpedia-nn:Frame problem https://global.dbpedia.org/id/EPCD |
| prov:wasDerivedFrom | wikipedia-en:Frame_problem?oldid=1124509497&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Frame_problem |
| is dbo:wikiPageDisambiguates of | dbr:Frame |
| is dbo:wikiPageRedirects of | dbr:Frame_Problem dbr:Frame_problem_(philosophy) |
| is dbo:wikiPageWikiLink of | dbr:Satisficing dbr:History_of_artificial_intelligence dbr:Index_of_epistemology_articles dbr:Index_of_philosophy_articles_(D–H) dbr:Index_of_robotics_articles dbr:Information_metabolism dbr:Timeline_of_artificial_intelligence dbr:Nouvelle_AI dbr:Separation_logic dbr:Embodied_cognitive_science dbr:Glossary_of_artificial_intelligence dbr:Erik_Sandewall dbr:Linear_logic dbr:Logic_in_computer_science dbr:Abductive_reasoning dbr:Fluent_(artificial_intelligence) dbr:Fluent_calculus dbr:Frame_(artificial_intelligence) dbr:Knowledge_representation_and_reasoning dbr:Qualification_problem dbr:Ramification_problem dbr:John_McCarthy_(computer_scientist) dbr:Binding_problem dbr:Symbol_grounding_problem dbr:Yale_shooting_problem dbr:Modularity_of_mind dbr:Circumscription_(logic) dbr:Situation_calculus dbr:Frame dbr:Frame_Problem dbr:Event_calculus dbr:Outline_of_artificial_intelligence dbr:Frame_problem_(philosophy) |
| is foaf:primaryTopic of | wikipedia-en:Frame_problem |