Stanford Research Institute Problem Solver (original) (raw)
STRIPS (Stanford Research Institute Problem Solver) ist ein von und Nils Nilsson im Jahr 1971 entwickelter automatischer Planer. Der Name STRIPS wurde später verwendet, um sich auf die formale Sprache zu beziehen, die als Eingabe für den Planer diente und heute die Grundlage zum Beschreiben der meisten Problemdomänen bietet. Dieser Artikel bezieht sich nur auf die Sprache, nicht auf den Planer.
| Property | Value |
|---|---|
| dbo:abstract | STRIPS (Stanford Research Institute Problem Solver) ist ein von und Nils Nilsson im Jahr 1971 entwickelter automatischer Planer. Der Name STRIPS wurde später verwendet, um sich auf die formale Sprache zu beziehen, die als Eingabe für den Planer diente und heute die Grundlage zum Beschreiben der meisten Problemdomänen bietet. Dieser Artikel bezieht sich nur auf die Sprache, nicht auf den Planer. (de) En Inteligencia artificial, STRIPS (Stanford Research Institute Problem Solver) es un generador de planes automatizado. El mismo nombre fue utilizado más tarde para referirse al lenguaje formal de las entradas de este generador de planes. (es) The Stanford Research Institute Problem Solver, known by its acronym STRIPS, is an automated planner developed by Richard Fikes and Nils Nilsson in 1971 at SRI International. The same name was later used to refer to the formal language of the inputs to this planner. This language is the base for most of the languages for expressing automated planning problem instances in use today; such languages are commonly known as action languages. This article only describes the language, not the planner. (en) STRIPS (ou Stanford Research Institute problem solver) est un algorithme de planification classique conçu par (en) et Nils John Nilsson en 1971. L'algorithme de STRIPS est assez simple, mais il est intéressant comme exemple pédagogique. On nomme aussi par ce nom le langage de représentation des données utilisée par l'algorithme. Avec le General Problem Solver de (en) et Simon de 1961, il fait partie des premiers planificateurs utilisés en intelligence artificielle et été suivi de nombreux dérivés (GraphPlan, IPP, STAN…). (fr) STRIPS（Stanford Research Institute Problem Solver）とは、1971年、Richard FikesとNils John Nilssonが開発した自動計画に関する人工知能の一種。後にそのシステムの入力に使う形式言語も同じ名前で呼ばれるようになった。自動計画用の言語としては最も広く利用されている。本項目では、システムではなく言語に関して解説する。 (ja) Nell'intelligenza artificiale, STRIPS (STanford Research Institute Problem Solver) è un pianificatore automatico sviluppato nel 1971 da e Nils Nilsson dell'università di Stanford . Il sistema sfrutta la logica delle proposizioni espansa con i predicati ed il meccanismo di ricerca nello spazio degli stati, per ottenere una possibile sequenza di azioni che, se eseguite, provocano il raggiungimento di uno stato finale del mondo a partire da uno iniziale. (it) STRIPS (Stanford Research Institute Problem Solver) — это автоматический планировщик, разработанный и в 1971. В последующем слово STRIPS стало также использоваться для обозначения формального языка, описывающего входные данные этого планировщика. Этот язык является основой большинства современных языков описания задач автоматического планирования. Данная статья описывает только язык (так называемый STRIPS-формализм), а не сам планировщик. (ru) STRIPS (Stanford Research Institute Problem Solver) — це , розроблений і у 1971 році. Найменування програми — абревіатура від Stanford Research Institute Problem Solver (вирішувач проблем Стенфордского дослідного інституту). Програма призначалася для вирішення проблеми формування плану поведінки робота Шекі (Shakey the Robot), що переміщує предмети через множину приміщень. В подальшому слово STRIPS стало також використовуватися для позначення формальної мови, що описує вхідні дані цього планувальника. Ця мова є основною більшої частини сучасних мов опису . Програма STRIPS зробила дуже великий вплив на наступні розробки в галузі штучного інтелекту, і ті базові методики подання знань, які були в ній використані для формування дій, не втратили своєї актуальності і дотепер. (uk) |
| dbo:wikiPageID | 1953958 (xsd:integer) |
| dbo:wikiPageLength | 9876 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1102911909 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Richard_Fikes dbr:SRI_International dbr:Genetic_programming dbr:NP-complete dbr:Computational_complexity dbr:Action_description_language dbr:Action_language dbc:Automated_planning_and_scheduling dbc:1971_software dbr:PSPACE dbr:Formal_language dbr:Free_variable dbr:Reinforcement_learning dbc:History_of_artificial_intelligence dbr:Hierarchical_task_network dbc:SRI_International_software dbr:Propositional_variable dbr:Monkey_and_banana_problem dbr:Planning_Domain_Definition_Language dbr:Nils_Nilsson_(researcher) dbr:Sussman_anomaly dbr:Predicate_(mathematics) dbr:Automated_planning |
| dbp:wikiPageUsesTemplate | dbt:Reflist dbt:Russell_Norvig_2003 |
| dct:subject | dbc:Automated_planning_and_scheduling dbc:1971_software dbc:History_of_artificial_intelligence dbc:SRI_International_software |
| rdfs:comment | STRIPS (Stanford Research Institute Problem Solver) ist ein von und Nils Nilsson im Jahr 1971 entwickelter automatischer Planer. Der Name STRIPS wurde später verwendet, um sich auf die formale Sprache zu beziehen, die als Eingabe für den Planer diente und heute die Grundlage zum Beschreiben der meisten Problemdomänen bietet. Dieser Artikel bezieht sich nur auf die Sprache, nicht auf den Planer. (de) En Inteligencia artificial, STRIPS (Stanford Research Institute Problem Solver) es un generador de planes automatizado. El mismo nombre fue utilizado más tarde para referirse al lenguaje formal de las entradas de este generador de planes. (es) The Stanford Research Institute Problem Solver, known by its acronym STRIPS, is an automated planner developed by Richard Fikes and Nils Nilsson in 1971 at SRI International. The same name was later used to refer to the formal language of the inputs to this planner. This language is the base for most of the languages for expressing automated planning problem instances in use today; such languages are commonly known as action languages. This article only describes the language, not the planner. (en) STRIPS (ou Stanford Research Institute problem solver) est un algorithme de planification classique conçu par (en) et Nils John Nilsson en 1971. L'algorithme de STRIPS est assez simple, mais il est intéressant comme exemple pédagogique. On nomme aussi par ce nom le langage de représentation des données utilisée par l'algorithme. Avec le General Problem Solver de (en) et Simon de 1961, il fait partie des premiers planificateurs utilisés en intelligence artificielle et été suivi de nombreux dérivés (GraphPlan, IPP, STAN…). (fr) STRIPS（Stanford Research Institute Problem Solver）とは、1971年、Richard FikesとNils John Nilssonが開発した自動計画に関する人工知能の一種。後にそのシステムの入力に使う形式言語も同じ名前で呼ばれるようになった。自動計画用の言語としては最も広く利用されている。本項目では、システムではなく言語に関して解説する。 (ja) Nell'intelligenza artificiale, STRIPS (STanford Research Institute Problem Solver) è un pianificatore automatico sviluppato nel 1971 da e Nils Nilsson dell'università di Stanford . Il sistema sfrutta la logica delle proposizioni espansa con i predicati ed il meccanismo di ricerca nello spazio degli stati, per ottenere una possibile sequenza di azioni che, se eseguite, provocano il raggiungimento di uno stato finale del mondo a partire da uno iniziale. (it) STRIPS (Stanford Research Institute Problem Solver) — это автоматический планировщик, разработанный и в 1971. В последующем слово STRIPS стало также использоваться для обозначения формального языка, описывающего входные данные этого планировщика. Этот язык является основой большинства современных языков описания задач автоматического планирования. Данная статья описывает только язык (так называемый STRIPS-формализм), а не сам планировщик. (ru) STRIPS (Stanford Research Institute Problem Solver) — це , розроблений і у 1971 році. Найменування програми — абревіатура від Stanford Research Institute Problem Solver (вирішувач проблем Стенфордского дослідного інституту). Програма призначалася для вирішення проблеми формування плану поведінки робота Шекі (Shakey the Robot), що переміщує предмети через множину приміщень. В подальшому слово STRIPS стало також використовуватися для позначення формальної мови, що описує вхідні дані цього планувальника. Ця мова є основною більшої частини сучасних мов опису . Програма STRIPS зробила дуже великий вплив на наступні розробки в галузі штучного інтелекту, і ті базові методики подання знань, які були в ній використані для формування дій, не втратили своєї актуальності і дотепер. (uk) |
| rdfs:label | STRIPS (de) STRIPS (es) STRIPS (fr) STRIPS (it) STRIPS (ja) Stanford Research Institute Problem Solver (en) STRIPS (ru) STRIPS (uk) |
| owl:sameAs | wikidata:Stanford Research Institute Problem Solver dbpedia-de:Stanford Research Institute Problem Solver dbpedia-es:Stanford Research Institute Problem Solver dbpedia-fa:Stanford Research Institute Problem Solver dbpedia-fr:Stanford Research Institute Problem Solver dbpedia-it:Stanford Research Institute Problem Solver dbpedia-ja:Stanford Research Institute Problem Solver dbpedia-nn:Stanford Research Institute Problem Solver dbpedia-ru:Stanford Research Institute Problem Solver dbpedia-uk:Stanford Research Institute Problem Solver https://global.dbpedia.org/id/57YRU |
| prov:wasDerivedFrom | wikipedia-en:Stanford_Research_Institute_Problem_Solver?oldid=1102911909&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Stanford_Research_Institute_Problem_Solver |
| is dbo:knownFor of | dbr:Richard_Fikes |
| is dbo:wikiPageWikiLink of | dbr:List_of_acronyms:_A dbr:History_of_artificial_intelligence dbr:List_of_SRI_International_people dbr:Pathfinding dbr:Richard_Fikes dbr:Decentralised_system dbr:List_of_programming_languages_for_artificial_intelligence dbr:Shakey_the_robot dbr:Object_Action_Complex dbr:Glossary_of_artificial_intelligence dbr:Deliberative_agent dbr:Strips dbr:Task_analysis_environment_modeling_simulation dbr:Action_description_language dbr:Action_language dbr:Action_model_learning dbr:GOAL_agent_programming_language dbr:3APL dbr:Expressive_Intelligence_Studio dbr:F.E.A.R. dbr:F.E.A.R._(video_game) dbr:Nils_John_Nilsson dbr:Graphplan dbr:Keith_Clark_(computer_scientist) dbr:Symbolic_artificial_intelligence dbr:Hierarchical_task_network dbr:Automated_planning_and_scheduling dbr:Means–ends_analysis dbr:Planning_Domain_Definition_Language dbr:Sussman_anomaly |
| is dbp:knownFor of | dbr:Richard_Fikes |
| is foaf:primaryTopic of | wikipedia-en:Stanford_Research_Institute_Problem_Solver |