STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Fikes, R. & Nilsson, N. Technical Report AI Center, SRI International, 1971. SRI Project 8259abstract bibtex We describe a new problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proved to be true. STRIPS represents a world model as an arbitrary collection of first-order predicate calculus formulas and is designed to work with mode consisting of large numbers of formulas. It employs a resolution theorem-prover to answer questions of particular models and uses means-ends analysis to guide it to the desired goal-satisfying model.
@TechReport{fikes_STRIPS71,
Author = {Fikes, R.E. and Nilsson, N.J.},
Title = {S{TRIPS}: {A} {N}ew {A}pproach to the {A}pplication of
{T}heorem {P}roving to {P}roblem {S}olving},
Institution = {AI Center, SRI International},
Note = {SRI Project 8259},
abstract = {We describe a new problem solver called STRIPS that
attempts to find a sequence of operators in a space of
world models to transform a given initial world model
into a model in which a given goal formula can be
proved to be true. STRIPS represents a world model as
an arbitrary collection of first-order predicate
calculus formulas and is designed to work with mode
consisting of large numbers of formulas. It employs a
resolution theorem-prover to answer questions of
particular models and uses means-ends analysis to guide
it to the desired goal-satisfying model. },
year = 1971
}
Downloads: 0
{"_id":{"_str":"534279620e946d920a001511"},"__v":152,"authorIDs":["5462a2ba8a9aab071c000505"],"author_short":["Fikes, R.","Nilsson, N."],"bibbaseid":"fikes-nilsson-stripsanewapproachtotheapplicationoftheoremprovingtoproblemsolving-1971","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"propositions":[],"lastnames":["Fikes"],"firstnames":["R.E."],"suffixes":[]},{"propositions":[],"lastnames":["Nilsson"],"firstnames":["N.J."],"suffixes":[]}],"title":"STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving","institution":"AI Center, SRI International","note":"SRI Project 8259","abstract":"We describe a new problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world model into a model in which a given goal formula can be proved to be true. STRIPS represents a world model as an arbitrary collection of first-order predicate calculus formulas and is designed to work with mode consisting of large numbers of formulas. It employs a resolution theorem-prover to answer questions of particular models and uses means-ends analysis to guide it to the desired goal-satisfying model. ","year":"1971","bibtex":"@TechReport{fikes_STRIPS71,\n Author = {Fikes, R.E. and Nilsson, N.J.},\n Title = {S{TRIPS}: {A} {N}ew {A}pproach to the {A}pplication of\n {T}heorem {P}roving to {P}roblem {S}olving},\n Institution = {AI Center, SRI International},\n Note = {SRI Project 8259},\n abstract = {We describe a new problem solver called STRIPS that\n attempts to find a sequence of operators in a space of\n world models to transform a given initial world model\n into a model in which a given goal formula can be\n proved to be true. STRIPS represents a world model as\n an arbitrary collection of first-order predicate\n calculus formulas and is designed to work with mode\n consisting of large numbers of formulas. It employs a\n resolution theorem-prover to answer questions of\n particular models and uses means-ends analysis to guide\n it to the desired goal-satisfying model. },\n year = 1971\n}\n\n","author_short":["Fikes, R.","Nilsson, N."],"key":"fikes_STRIPS71","id":"fikes_STRIPS71","bibbaseid":"fikes-nilsson-stripsanewapproachtotheapplicationoftheoremprovingtoproblemsolving-1971","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":0,"keywords":[],"search_terms":["strips","new","approach","application","theorem","proving","problem","solving","fikes","nilsson"],"title":"STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving","year":1971,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa"]}