H ? « ‹ ← → › »

Language peer sets for Strips:
United States↑
United States/1969↑
Designed 1969 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Goal description ↑
Specialised Languages ↑
Goal description↑
Context-based ↑
Data representation ↑
Goal description/1969↑
Context-based /1969↑
Data representation/1969↑
Goal description/United States↑
Context-based /United States↑
Data representation/United States↑
Specialised Languages ↑
Specialised Languages/1969↑
Specialised Languages/us ↑

Strips(ID:2413/str018)

Extra-logical problem solver 

alternate simple view
Country: United States
Designed 1969
Genus: Goal description
Sammet category: Specialised Languages

for STanford Research Institute Problem Solver

Extra-logical problem solver

Stanford Research Institute

STRIPS is a formal language invented by Richard Fikes and Nils Nilsson for declaring instances of automated planning problems in artificial intelligence. A STRIPS instance is composed of:

An initial state;
The specification of the goal states ie situations which the planner is trying to reach;
A set of actions. For each action, the following are included:
preconditions (what must be established before the action is performed);
postconditions (what is established after the action is performed).
Related languages
QA4 → Strips   Evolution of
Strips → HEOPS   Incorporated features of
References:
  • Green (1969) Green, C. Cordell. "The Application of Theorem Proving to Question-Answering Systems" Stanford University Computer Science Department Report CS-138. 1969.
  • Fikes and Nilsson (1971) Fikes, R. and Nilsson, N., "STRIPS: A new approach to the application of theorem proving to problem solving"
          in [AI] (1971) Artificial Intelligence, Volume 2, Winter 1971
  • Fikes (1971) Fikes, Richard "Monitored Execution of Robot Plans Producted by STRIPS" IFIP Congress (1) 1971: 189-194
          in [AI] (1971) Artificial Intelligence, Volume 2, Winter 1971
  • Fikes and Nilsson (1971) Fikes, Richard; Nilsson, Nils J. "STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving" pp608-620
          in [Proceedings] (1971) Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI), September 5 - 8, 1971, London, England
  • Wilber (1971) Wilber, M. "RFC152 SRI ARC-NIC status" 10 May 1971 Extract: Related work
          in [Proceedings] (1971) Proceedings of the Second International Joint Conference on Artificial Intelligence (IJCAI), September 5 - 8, 1971, London, England
  • Siklossy (1972) Siklossy, L. review of Fikes and Nillson Abstract
          in (1972) ACM Computing Reviews 13(05) May 1972
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract Extract: STRIPS
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • (1985) McCarthy, John "Formalization of Strips in Situation Calculus" 1985 Abstract Online copy
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Lifschitz (1987) Lifschitz, Vladimir "On the Semantics of Strips" Reasoning About Actions and Plans, M. Georgeff and A. Lansky (Eds.) pp1-9 1986 Abstract Extract: Introduction
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Lyon (1991) Lyon, Douglas A. "Parallel Parking with Nonholonomic Constraints" Ph D Thesis Rensselaer Polytechnic Institute Troy, New York December 1991 Extract: Planners
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Fikes (1993) Fikes, Richard "STRIPS, A Retrospective" Artif. Intell. 59(1-2): 227-232 1993
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder