STRIPS
Nils J.Nilsson 과 Richard Fikes 가 개발한 최초의 계획시스템 (planning system) 이다 ("STRIPS : A New Approach to the Application of Theorem Proving to Problem Solving," Arificial Intelligence, 1971).
STRIPS 는 주어진 최초의 상태를 변형시켜서 목표로 하는 상태를 만드는 과정이 true 라고 증명될 수 있도록 world model 공간에서 연산자 (operator) 의 순서를 찾아내려고 시도하는 새로운 problem solver 라고 할 수 있다. STRIPS 는 world model을 first-order predicate calculus formula 집합으로 표현하고, 많은 수의 formula 로 구성되는 모델과 작동하도록 설계되었다. 또한 특정 모델의 질문에 대답할 수 있도록 resolution theorem prover 를 사용하며, 그 특정 모델이 바람직한 목적 (desired goal-satisfying) 을 달성할 수 있도록 수단목표분석 (Means-Ends Analysis) 를 사용한다.
그 새로운 program-solving 프로그램의 이름은 STRIPS (STanford Research Institute Problem Solver) 라고 불리웠다. STRIPS 의 최초의 버전은 PDP-10 상에서 LISP 으로 구현되었고 SRI 에서 로봇 연구와 함께 사용되었다.
term :
계획 (Planning) 문제해결 (Problem Solving) 정리증명 (Theorem Proving) 휴리스틱 탐색 (Heuristic Search)
paper :