Claim · 1971 · publication · Stated in source · Supported

Fikes and Nilsson (1971) describe STRIPS as a problem solver that searches a space of world models for a sequence of operators transforming an initial model into one in which a goal formula can be proven.

One recorded claim. The claim panel gives its qualification, the source passages with their place in each source, and how it was checked.

What it connects

STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving → discusses →

Where it appears

No collection page holds this claim. It is listed with its records in the explorer.

Claim and evidence

STRIPS: A New Approach to the Application of Theorem Proving to Problem Solvingdiscusses ↓

Machine-checked, not reviewed by an editorStated in sourceSupported

Supporting evidence: primary · 1 source

Date: 1971 · publication Records dated 1971 →

Scope and limitsDescription of one system's method, as its authors state it.

The evidence 01

primary sourceSupports the claim

STRIPS paper detail page (ijcai.org)

IJCAI · 1971

Cite the original source

Cite the original document, not Selekoa. Check these details against it.

Source excerpt

“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.”

Location in source paper detail page, Abstract

How it was read Retrieved directly from the publisher

Machine-checked · 2026-10-31

Source details and check notes

Authors: IJCAI
Version: Retrieved for the candidate pack on 2026-10-29 (SHA-256 837d527c891d30932085f2c8525eb54ae0a32f3c28bdb944a6f433a03cd19fe9). Current paper detail page with abstract and extracted references, ijcai.org
Canonical address: Open the canonical source ↗
Accessed: 2026-10-29
Language: English (en)
Attribution: IJCAI, “STRIPS paper detail page (ijcai.org)”, 1971.
Reuse: No open redistribution licence asserted. Bibliographic metadata, editorial paraphrases and short attributed quotations (at most 50 words each). Recheck terms before wider redistribution.
Check notes: Candidate pack passage, Kinds of AI and technical history (research/technical-history). The quotation (44 words) matched the text retrieved for the candidate pack on 2026-10-29. Matching ignored differences of whitespace, case, quotation marks, dashes, PDF line-break hyphens and Unicode compatibility forms, so the source’s typography can differ. No human editorial review.

Status and meaning

Editorial status. Not reviewed by an editor. An exploratory record that no editor has accepted. This status does not say whether a person has read any linked passage. Each evidence record above shows how it was checked.

Relation. The concept is explicitly discussed in the document. This makes no earliest-use, invention or transmission claim.

Date. Date of publication, as the source gives it.

Record ID th-sp-def-strips-1971