Claim and evidence Close ×
Fikes and Nilsson (1971) state that an initial version of STRIPS had been implemented in LISP on a PDP-10 and was being used in conjunction with robot research at SRI. Copy claim link
Copy claim reference
Machine-checked, not reviewed by an editor Stated in source Supported
Supporting evidence: primary · 1 source
Provision Statement · provision ID tl-strips-1971-implementation Date 1971 · publication Records dated 1971 → Scope and limits The authors' statement of the system's status at writing.
The evidence 02 primary source Supports the claim
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving ↗ IJCAI (proceedings host) · 1971
Copy source reference
Cite the original source Cite the original document, not Selekoa. Check these details against it.
Copy APA
Download BibTeX Download RIS Download CSL-JSON
Source excerpt “This paper describes a new problem-solving program called STRIPS (STanford Research Institute Problem Solver).” Location in source PDF p. 1, Introduction
How it was read Retrieved directly from the publisher
Machine-checked · 2026-10-31
Source details and check notes Authors Richard E. Fikes; Nils J. Nilsson Version Retrieved for the candidate pack on 2026-10-29 (SHA-256 293e2f5613b940bfa7f0f053d5669423fe08813cb23e19f1a356a8c47ea1c4bc). Proceedings PDF as hosted by ijcai.org (IJCAI 1971, paper 63, pp. 608–619); text layer noisy in places Canonical address Open the canonical source ↗ Accessed 2026-10-29 Language English (en) Attribution Richard E. Fikes, Nils J. Nilsson, “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving”, 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 (14 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. A cross-family machine check (31 October 2026, item 117) re-read the record’s sources and found that they support what the record states. No human editorial review. primary source Supports the claim
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving ↗ IJCAI (proceedings host) · 1971
Copy source reference
Cite the original source Cite the original document, not Selekoa. Check these details against it.
Copy APA
Download BibTeX Download RIS Download CSL-JSON
Paraphrase The introduction states that an initial version of the program has been implemented in LISP on a PDP-10 and is being used in conjunction with robot research at SRI.
Location in source PDF p. 1, Introduction
How it was read Retrieved directly from the publisher
Machine-checked · 2026-10-31
Source details and check notes Authors Richard E. Fikes; Nils J. Nilsson Version Retrieved for the candidate pack on 2026-10-29 (SHA-256 293e2f5613b940bfa7f0f053d5669423fe08813cb23e19f1a356a8c47ea1c4bc). Proceedings PDF as hosted by ijcai.org (IJCAI 1971, paper 63, pp. 608–619); text layer noisy in places Canonical address Open the canonical source ↗ Accessed 2026-10-29 Language English (en) Attribution Richard E. Fikes, Nils J. Nilsson, “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving”, 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 paraphrase is Selekoa’s, written from the text retrieved for the candidate pack on 2026-10-29; it is not a quotation and was not machine-matched. Paraphrased because the text layer garbles this sentence. A cross-family machine check (31 October 2026, item 117) re-read the record’s sources and found that they support what the record states. 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. An exact framework edition, or another document with an exact expression, states one provision: a capability threshold or risk level and its trigger, a required safeguard or action, a decision authority (who decides, recommends, can overrule or is informed), a stated exception, or another statement of its content, such as a licence term or a prospectus statement. The passage records what the document says, not implementation, compliance or effectiveness. Provisions with the same key align across editions of one family.
Date. Date of publication, as the source gives it.
Record ID th-tl-strips-1971-implementation