About: General Problem Solver     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:Work, within Data Space : dbpedia.org associated with source document(s)

AttributesValues
rdf:type
rdfs:label
  • General Problem Solver
  • General Problem Solver
  • General Problem Solver
  • General Problem Solver
  • General Problem Solver
  • General Problem Solver
  • General Problem Solver
  • General Problem Solver
  • Универсальный решатель задач
  • General Problem Solver
  • 通用解难器
rdfs:comment
  • General Problem Solver(GPS)とは、1957年、ハーバート・サイモンとアレン・ニューウェルが開発した、汎用の問題解決のためのプログラムである。GPS は任意の形式化された記号問題を解くことができる。例えば、定理証明、幾何学問題、チェスのプレイなどである。これは、サイモンとニューウェルの論理機械に関する理論研究に基づいていた。GPSは、正しく形式化されていさえすればハノイの塔も解くことが可能だったが、実世界の問題を解くことはできなかった。 ユーザーはオブジェクトとそのオブジェクトに関する操作を定義し、GPSは手段目標分析によって問題解決のためのヒューリスティックスを生成する。それは使用可能な操作に注目し、受容される入力と、その結果生成される出力を見つけ出す。次に目標に近づくためのサブゴールを生成していく。 GPSの方法論は後に Soar へと発展した。
  • General Problem Solver (o G.P.S.) era un programma per computer creato nel 1957 da H. A. Simon, e Allen Newell, al fine di risolvere problemi generali (formalizzati). Venne creato principalmente per risolvere problemi teorici, geometrici e anche per giocare a scacchi. Venne implementato con il linguaggio . Esso rappresenta uno dei primi programmi di Intelligenza Artificiale, utilizzando due generali sistemi euristici: e.
  • General Problem Solver (GPS, буквально Загальний розв'язувач задач) — комп'ютерна програма, створена в 1957 році Герберт Саймоном (Herbert Simon), Дж. Шоу (J.C. Shaw), і Алленом Ньюелом (Allen Newell), призначена для роботи як універсальна машина для розв'язування задач. За допомогою GPS можна розв'язати, в принципі, будь-яку символічно формалізовану задачу. Наприклад: доведення теорем, геометричні задачі й гра в шахи. Вона була заснована на теоретичній роботі Саймона і Ньюелла з логічних машин. GPS була першою комп'ютерною програмою, яка розділила свої знання про задачі (правила, які подавались на вхід програми) від своєї стратегії розв'язування задач (загальний розв'язувальний пошуковий рушій). Це було реалізовано в низькорівневій мові програмування .
  • El General Problem Solver (GPS), en español Solucionador General de Problemas, es un programa de ordenador creado en 1957 por Herbert Simon, J.C. Shaw, y Allen Newell con el objetivo de construir una máquina capaz de resolver problemas de carácter general. Cualquier problema simbólico formal puede ser resuelto, en principio, por el GPS. Por ejemplo: probar teoremas, resolver problemas geométricos, trabajar con lógica proposicional y jugar al ajedrez. Se basaba en el trabajo teórico previo de Simon y Newell sobre máquinas lógicas. El GPS fue el primer programa de computadora en el que se separó el conocimiento de los problemas de su estrategia sobre cómo resolverlos. Se implementó en el lenguaje de programación IPL (Information Processing Language).
  • Le General Problem Solver (GPS) est un programme informatique créé en 1959 par Herbert Simon, Cliff Shaw et Allen Newell dans le but de construire un solveur de problèmes universel . N'importe quel problème formalisé peut en principe être résolu par GPS, par exemple des preuves de théorèmes, des problèmes géométriques et des parties d'échecs. GPS était le premier programme à séparer sa base de données (tables) de sa stratégie de résolution de problèmes. GPS est implémenté dans le langage informatique IPL. Le paradigme GPS a évolué vers l'architecture Soar.
  • General Problem Solver (GPS) - program komputerowy stworzony w 1957 r. przez Herberta Simona i Allena Newella dla udowadniania teorematów, bazujący na teoretycznych pracach tych naukowców dotyczących maszyn logicznych. Pozwolił on m.in. udowodnić prostsze, dające się sformalizować problemy, jak Wieże Hanoi, ale okazał się nieskuteczny w rozwiązywaniu rzeczywistych problemów.
  • O General Problem Solver (GPS), ou Solucionador de problemas gerais, foi um programa de computador criado em 1957 por Herbert Simon, J. C. Shaw e Allen Newell destinado a funcionar como uma máquina universal de solucionar problemas. Qualquer problema simbólico formalizado poderia ser resolvido, em princípio, pelo GPS. Por exemplo: provas de teoremas, problemas em geometria e o jogo de xadrez. O programa GPS foi baseado no trabalho teórico de Simon e Newell em máquinas lógicas. GPS foi o primeiro programa de computador que separava seu conhecimento dos problemas (regras representadas como dados de entrada) de sua estratégia de como resolver os problemas (uma máquina solucionadora genérica). Foi implementado na linguagem de baixo nível IPL. Peter Norvig implementou uma versão do GPS e a demo
  • Универсальный решатель задач (англ. General Problem Solver, GPS) — компьютерная программа, созданная в 1959 году Гербертом Саймоном, (англ. Cliff Show) и Алленом Ньюэллом, предназначенная для работы в качестве универсальной машины для решения задач, сформулированных на языке хорновских дизъюнктов. В качестве примеров использования приводились доказательства теорем евклидовой геометрии и логики предикатов, решение шахматных задач.
  • 通用解难器(英語:General Problem Solver,简称 G.P.S.,又稱一般性問題解決程式)是由赫伯特·亚历山大·西蒙、和艾伦·纽厄尔三人于1957年编写的電腦程式,旨在作为解決通用問題的機器。任何可以表示为良式公式(WFFs)或霍恩子句,并構成一個以上源點(source,即公理)或匯點(sink,即期望結論)的有向图问题,原则上可以透過通用解难器來解决。谓词逻辑和欧几里德几何问题空间中的证明,是通用解难器適用領域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作,也是首先將問題知识(將規則表示為輸入數據)與問題解決策略(通用)分離開來的電腦程式。通用解难器是以三階編程語言「資訊處理語言」(IPL)來實現。 虽然通用解难器能够解決一些诸如河内塔等可被充分形式化的簡單問題,但無法用來解決現實世界中的問題,這是因为搜索很容易在中丢失。換句話說,透過推斷有向圖的「走訪」次數在計算上變得难以为继。(在实践中,即使像河内塔這樣直截了當的狀態空間搜索,在計算上也可能變得不可行,雖然透過像 A *和這樣基礎的人工智慧技術,仍可以對狀態空間進行明智的修剪) 用戶定義的對象、可在對象執行的操作,以及通用解难器可透過生成启发式算法來解決問題。它著重於可用的操作,找出哪些輸入是可接受的,以及生成了哪些輸出。然后會创建子目标,以便越來越靠近目标。
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • El General Problem Solver (GPS), en español Solucionador General de Problemas, es un programa de ordenador creado en 1957 por Herbert Simon, J.C. Shaw, y Allen Newell con el objetivo de construir una máquina capaz de resolver problemas de carácter general. Cualquier problema simbólico formal puede ser resuelto, en principio, por el GPS. Por ejemplo: probar teoremas, resolver problemas geométricos, trabajar con lógica proposicional y jugar al ajedrez. Se basaba en el trabajo teórico previo de Simon y Newell sobre máquinas lógicas. El GPS fue el primer programa de computadora en el que se separó el conocimiento de los problemas de su estrategia sobre cómo resolverlos. Se implementó en el lenguaje de programación IPL (Information Processing Language). El GPS consiguió resolver problemas sencillos, como el de las Torres de Hanói, que podía ser expresado de una manera lo suficientemente formalizada, pero no podía resolver los problemas del mundo real. El usuario definía los objetos y las operaciones que se podría hacer con y sobre los objetos y el GPS generaba la heurística mediante un análisis de los medios y los objetivos, a fin de resolver los problemas. Para ello, se centraba en las operaciones disponibles, encontrando qué entradas eran aceptables, y qué resultados se generaban. Se creaban entonces sub-objetivos para conseguir aproximarse más y más a la meta anteriormente definida. El paradigma GPS evolucionó hasta convertirse en la arquitectura simbólico-cognitiva SOAR (State Operator And Result).
  • Le General Problem Solver (GPS) est un programme informatique créé en 1959 par Herbert Simon, Cliff Shaw et Allen Newell dans le but de construire un solveur de problèmes universel . N'importe quel problème formalisé peut en principe être résolu par GPS, par exemple des preuves de théorèmes, des problèmes géométriques et des parties d'échecs. GPS était le premier programme à séparer sa base de données (tables) de sa stratégie de résolution de problèmes. GPS est implémenté dans le langage informatique IPL. Après la spécification des objets et les opérations applicables sur ces objets par l'utilisateur, GPS génère les heuristiques par une « confrontation moyens/fins » (means-ends analysis). Cette stratégie de résolution de problèmes est largement utilisée dans le domaine de l'intelligence artificielle. GPS a résolu des problèmes simples et facilement formalisés comme les tours de Hanoï. Pour les problèmes plus réalistes il est facilement victime de l'explosion combinatoire. Le paradigme GPS a évolué vers l'architecture Soar.
  • General Problem Solver(GPS)とは、1957年、ハーバート・サイモンとアレン・ニューウェルが開発した、汎用の問題解決のためのプログラムである。GPS は任意の形式化された記号問題を解くことができる。例えば、定理証明、幾何学問題、チェスのプレイなどである。これは、サイモンとニューウェルの論理機械に関する理論研究に基づいていた。GPSは、正しく形式化されていさえすればハノイの塔も解くことが可能だったが、実世界の問題を解くことはできなかった。 ユーザーはオブジェクトとそのオブジェクトに関する操作を定義し、GPSは手段目標分析によって問題解決のためのヒューリスティックスを生成する。それは使用可能な操作に注目し、受容される入力と、その結果生成される出力を見つけ出す。次に目標に近づくためのサブゴールを生成していく。 GPSの方法論は後に Soar へと発展した。
  • General Problem Solver (o G.P.S.) era un programma per computer creato nel 1957 da H. A. Simon, e Allen Newell, al fine di risolvere problemi generali (formalizzati). Venne creato principalmente per risolvere problemi teorici, geometrici e anche per giocare a scacchi. Venne implementato con il linguaggio . Esso rappresenta uno dei primi programmi di Intelligenza Artificiale, utilizzando due generali sistemi euristici: e.
  • General Problem Solver (GPS) - program komputerowy stworzony w 1957 r. przez Herberta Simona i Allena Newella dla udowadniania teorematów, bazujący na teoretycznych pracach tych naukowców dotyczących maszyn logicznych. Pozwolił on m.in. udowodnić prostsze, dające się sformalizować problemy, jak Wieże Hanoi, ale okazał się nieskuteczny w rozwiązywaniu rzeczywistych problemów. Użytkownik definiował obiekty i operacje wykonywane na obiektach, a GPS generował metodą prób i błędów heurystyki zbliżające do rozwiązania. Program koncentrował się na dostępnych operacjach, odgadując, jakie dane wejściowe są akceptowalne i jakie wyniki są generowane. Następnie tworzył rozwiązania niższego rzędu, zbliżając się coraz bardziej do ostatecznego rozwiązania.
  • Универсальный решатель задач (англ. General Problem Solver, GPS) — компьютерная программа, созданная в 1959 году Гербертом Саймоном, (англ. Cliff Show) и Алленом Ньюэллом, предназначенная для работы в качестве универсальной машины для решения задач, сформулированных на языке хорновских дизъюнктов. В качестве примеров использования приводились доказательства теорем евклидовой геометрии и логики предикатов, решение шахматных задач. Программа основана на теоретической работе Саймона и Ньюэлла о логических машинах. Считается первой компьютерной программой, в которой предпринята стратегия разделения знаний о задачах (правила, которые подавались на вход программы) от стратегии решения задач (общий решающий движок). Решающий алгоритм был реализован на низкоуровневом языке программирования IPL. Хотя GPS была способна решать простые задачи, как например головоломку о ханойских башнях, она не могла справиться со многими реальными задачами, поскольку поиск цепи решения приводил к комбинаторному взрыву числа промежуточных шагов.
  • O General Problem Solver (GPS), ou Solucionador de problemas gerais, foi um programa de computador criado em 1957 por Herbert Simon, J. C. Shaw e Allen Newell destinado a funcionar como uma máquina universal de solucionar problemas. Qualquer problema simbólico formalizado poderia ser resolvido, em princípio, pelo GPS. Por exemplo: provas de teoremas, problemas em geometria e o jogo de xadrez. O programa GPS foi baseado no trabalho teórico de Simon e Newell em máquinas lógicas. GPS foi o primeiro programa de computador que separava seu conhecimento dos problemas (regras representadas como dados de entrada) de sua estratégia de como resolver os problemas (uma máquina solucionadora genérica). Foi implementado na linguagem de baixo nível IPL. Peter Norvig implementou uma versão do GPS e a demonstrou em seu livro sobre Inteligência Artificial em Common Lisp. Embora o GPS fosse capaz de resolver problemas simples, como o problema das torres de Hanói que poderia ser suficientemente formalizado, ele não poderia resolver todos os problemas do mundo real, porque a busca facilmente se perderia em uma explosão combinatória de estados intermediários. O usuário definia os e as operações que poderiam ser feitas sobre os objetos e o GPS gerava as heurísticas por meio de análises meio-fim, a fim de resolver problemas. O programa focava-se sobre as operações disponíveis, encontrando quais entradas eram aceitáveis e que saídas seriam geradas. Em seguida, criava submetas para chegar cada vez mais perto do objetivo. O paradigma do GPS eventualmente evoluiu para a arquitetura Soar.
  • General Problem Solver (GPS, буквально Загальний розв'язувач задач) — комп'ютерна програма, створена в 1957 році Герберт Саймоном (Herbert Simon), Дж. Шоу (J.C. Shaw), і Алленом Ньюелом (Allen Newell), призначена для роботи як універсальна машина для розв'язування задач. За допомогою GPS можна розв'язати, в принципі, будь-яку символічно формалізовану задачу. Наприклад: доведення теорем, геометричні задачі й гра в шахи. Вона була заснована на теоретичній роботі Саймона і Ньюелла з логічних машин. GPS була першою комп'ютерною програмою, яка розділила свої знання про задачі (правила, які подавались на вхід програми) від своєї стратегії розв'язування задач (загальний розв'язувальний пошуковий рушій). Це було реалізовано в низькорівневій мові програмування .
  • 通用解难器(英語:General Problem Solver,简称 G.P.S.,又稱一般性問題解決程式)是由赫伯特·亚历山大·西蒙、和艾伦·纽厄尔三人于1957年编写的電腦程式,旨在作为解決通用問題的機器。任何可以表示为良式公式(WFFs)或霍恩子句,并構成一個以上源點(source,即公理)或匯點(sink,即期望結論)的有向图问题,原则上可以透過通用解难器來解决。谓词逻辑和欧几里德几何问题空间中的证明,是通用解难器適用領域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作,也是首先將問題知识(將規則表示為輸入數據)與問題解決策略(通用)分離開來的電腦程式。通用解难器是以三階編程語言「資訊處理語言」(IPL)來實現。 虽然通用解难器能够解決一些诸如河内塔等可被充分形式化的簡單問題,但無法用來解決現實世界中的問題,這是因为搜索很容易在中丢失。換句話說,透過推斷有向圖的「走訪」次數在計算上變得难以为继。(在实践中,即使像河内塔這樣直截了當的狀態空間搜索,在計算上也可能變得不可行,雖然透過像 A *和這樣基礎的人工智慧技術,仍可以對狀態空間進行明智的修剪) 用戶定義的對象、可在對象執行的操作,以及通用解难器可透過生成启发式算法來解決問題。它著重於可用的操作,找出哪些輸入是可接受的,以及生成了哪些輸出。然后會创建子目标,以便越來越靠近目标。 通用解难器范式後來演变为人工智慧的Soar架構。
prov:wasDerivedFrom
page length (characters) of wiki page
gold:hypernym
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git81 as of Jul 16 2021


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3322 as of Jul 22 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software