Stanford Research Institute Problem Solver
GPTKB entity
Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:software
|
gptkbp:abbreviation |
gptkb:STRIPS
|
gptkbp:countryOfOrigin |
gptkb:Menlo_Park,_California
|
gptkbp:developedBy |
gptkb:Stanford_Research_Institute
1971 |
gptkbp:developer |
gptkb:Bertram_Raphael
gptkb:Nils_Nilsson gptkb:Richard_Fikes |
gptkbp:field |
gptkb:artificial_intelligence
automated planning |
https://www.w3.org/2000/01/rdf-schema#label |
Stanford Research Institute Problem Solver
|
gptkbp:influenced |
AI planning systems
|
gptkbp:language |
gptkb:Lisp
|
gptkbp:notableFor |
introduction of STRIPS formalism
|
gptkbp:publishedIn |
gptkb:STRIPS:_A_New_Approach_to_the_Application_of_Theorem_Proving_to_Problem_Solving
|
gptkbp:usedIn |
gptkb:Shakey_the_robot
|
gptkbp:bfsParent |
gptkb:STRIPS
|
gptkbp:bfsLayer |
6
|