{"type":"ScholarlyArticle","title":"STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving","authors":[{"name":"Richard Fikes","slug":"richard-fikes","given":"Richard","family":"Fikes","affiliation":""},{"name":"Nils J. Nilsson","slug":"nils-j-nilsson","given":"Nils J.","family":"Nilsson","affiliation":""}],"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 proven to be true. STRIPS represents a \"·orld model as an arbitrary collection of first-order predicate calculus formulas and is designed to work \"·ith models 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.","doi":null,"url":"https://ijcai.org/proceedings/1971/63","pdf":"https://ijcai.org/proceedings/1971/0063.pdf","markdown":"https://ijcai.org/proceedings/1971/63.md","bibtex":"https://ijcai.org/proceedings/1971/bibtex/63","volume":{"slug":"1971","title":"Proceedings of the Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1971","url":"https://ijcai.org/proceedings/1971/","year":1971,"location":"London, UK","dates":"","editors":"D.C. Cooper","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":63,"pages":{"first":608,"last":619},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}