This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n5http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q1387212
owl:sameAs
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:GPS_(曖昧さ回避)
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
dbo:wikiPageDisambiguates
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:General_Problem_Solver
rdfs:label
General Problem Solver
rdfs:comment
General Problem Solver（GPS）とは、1957年、ハーバート・サイモンとアレン・ニューウェルが開発した、汎用の問題解決のためのプログラムである。GPS は任意の形式化された記号問題を解くことができる。例えば、定理証明、幾何学問題、チェスのプレイなどである。これは、サイモンとニューウェルの論理機械に関する理論研究に基づいていた。GPSは、正しく形式化されていさえすればハノイの塔も解くことが可能だったが、実世界の問題を解くことはできなかった。 ユーザーはオブジェクトとそのオブジェクトに関する操作を定義し、GPSは手段目標分析によって問題解決のためのヒューリスティックスを生成する。それは使用可能な操作に注目し、受容される入力と、その結果生成される出力を見つけ出す。次に目標に近づくためのサブゴールを生成していく。 GPSの方法論は後に Soar へと発展した。
owl:sameAs
freebase:m.04kt6l
dct:subject
n5:人工知能の歴史
dbo:wikiPageID
740471
dbo:wikiPageRevisionID
75656731
dbo:wikiPageWikiLink
n5:人工知能の歴史 dbpedia-ja:手段目標分析 dbpedia-ja:幾何学 dbpedia-ja:アレン・ニューウェル dbpedia-ja:ハーバート・サイモン dbpedia-ja:チェス dbpedia-ja:プログラム_(コンピュータ) dbpedia-ja:定理 dbpedia-ja:1957年 dbpedia-ja:ヒューリスティックス dbpedia-ja:Soar_(認知アーキテクチャ) dbpedia-ja:ハノイの塔
prop-ja:wikiPageUsesTemplate
template-ja:Otheruses
dbo:abstract
General Problem Solver（GPS）とは、1957年、ハーバート・サイモンとアレン・ニューウェルが開発した、汎用の問題解決のためのプログラムである。GPS は任意の形式化された記号問題を解くことができる。例えば、定理証明、幾何学問題、チェスのプレイなどである。これは、サイモンとニューウェルの論理機械に関する理論研究に基づいていた。GPSは、正しく形式化されていさえすればハノイの塔も解くことが可能だったが、実世界の問題を解くことはできなかった。 ユーザーはオブジェクトとそのオブジェクトに関する操作を定義し、GPSは手段目標分析によって問題解決のためのヒューリスティックスを生成する。それは使用可能な操作に注目し、受容される入力と、その結果生成される出力を見つけ出す。次に目標に近づくためのサブゴールを生成していく。 GPSの方法論は後に Soar へと発展した。
dbo:wikiPageLength
1154
prov:wasDerivedFrom
wikipedia-ja:General_Problem_Solver?oldid=75656731&ns=0
foaf:isPrimaryTopicOf
wikipedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:Information_Processing_Language
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:Logic_Theorist
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:アレン・ニューウェル
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:人工知能の歴史
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:問題解決
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:心理学の歴史
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:手段目標分析
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:自動定理証明
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:連結リスト
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
Subject Item
dbpedia-ja:一般問題解決機
dbo:wikiPageWikiLink
dbpedia-ja:General_Problem_Solver
dbo:wikiPageRedirects
dbpedia-ja:General_Problem_Solver
Subject Item
wikipedia-ja:General_Problem_Solver
foaf:primaryTopic
dbpedia-ja:General_Problem_Solver