Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:software
|
gptkbp:demonstrates |
gptkb:Dartmouth_Summer_Research_Project_on_Artificial_Intelligence
|
gptkbp:developedBy |
gptkb:Allen_Newell
gptkb:Herbert_A._Simon gptkb:RAND_Corporation gptkb:Cliff_Shaw |
gptkbp:field |
gptkb:artificial_intelligence
|
https://www.w3.org/2000/01/rdf-schema#label |
Logic Theorist
|
gptkbp:influenced |
gptkb:General_Problem_Solver
|
gptkbp:language |
gptkb:Information_Processing_Language_(IPL)
|
gptkbp:notableFor |
first artificial intelligence program
proved 38 of the first 52 theorems in Principia Mathematica |
gptkbp:purpose |
prove mathematical theorems
|
gptkbp:releaseYear |
1956
|
gptkbp:type |
automated theorem prover
|
gptkbp:bfsParent |
gptkb:Allen_Newell
|
gptkbp:bfsLayer |
5
|