{"entities":[{"id":"nils-j-nilsson","name":"Nils J. Nilsson","type":"person"},{"id":"th-fikes-nilsson-1971-strips","name":"STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving","type":"document","subtype":"Research paper","description":"Richard E. Fikes and Nils J. Nilsson, “STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving”. Proceedings of the Second International Joint Conference on Artificial Intelligence, pp. 608–619 (published 1971). Second IJCAI, London, 1–3 September 1971 (conference, September 1971). The 1971 Artificial Intelligence journal version was not retrieved.","sourceIds":["source-th-a-strips-1971","source-th-a-ijcai-1971-detail","source-th-a-ijcai-1971-index"]},{"id":"th-fam-search-planning","name":"Search and planning","type":"concept"}],"claims":[{"id":"th-tl-strips-1971-implementation","subject":"th-fikes-nilsson-1971-strips","predicate":"states_provision","object":{"kind":"literal","value":"Initial version of STRIPS implemented in LISP on a PDP-10 and used with robot research at SRI"},"topic":"ideas","statement":"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.","time":{"kind":"event","date":"1971","basis":"publication","note":"Date of publication, as the source gives it."},"resolution":"supported","evidenceIds":["evidence-th-tl-strips-1971-implementation-1","evidence-th-tl-strips-1971-implementation-2"],"attributes":{"provision":{"kind":"statement","key":"tl-strips-1971-implementation"}}},{"id":"th-auth-nilsson-1971","subject":"nils-j-nilsson","predicate":"authored","object":{"kind":"entity","entityId":"th-fikes-nilsson-1971-strips"},"topic":"ideas","statement":"Nils J. Nilsson is a co-author, with Richard E. Fikes, of the 1971 STRIPS paper.","time":{"kind":"event","date":"1971","basis":"publication","note":"Date of publication, as the source gives it."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-th-auth-nilsson-1971-1"]},{"id":"th-sp-name-strips-1971","subject":"th-fikes-nilsson-1971-strips","predicate":"uses_term","object":{"kind":"entity","entityId":"th-fam-search-planning"},"topic":"ideas","statement":"Fikes and Nilsson's STRIPS paper lists 'robot planning' and 'heuristic search' among its descriptive terms.","time":{"kind":"event","date":"1971","basis":"publication","note":"Date of publication, as the source gives it."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-th-sp-name-strips-1971-1"],"attributes":{"naming":{"string":"robot planning; heuristic search","sense":"meets","role":"use","register":"nonfiction","reading":"text"}}},{"id":"th-sp-def-strips-1971","subject":"th-fikes-nilsson-1971-strips","predicate":"discusses","object":{"kind":"entity","entityId":"th-fam-search-planning"},"topic":"ideas","statement":"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.","time":{"kind":"event","date":"1971","basis":"publication","note":"Date of publication, as the source gives it."},"derivation":"explicit","resolution":"supported","editorialState":"seed","evidenceIds":["evidence-th-sp-def-strips-1971-1"],"attributes":{"technical":{"kind":"definition"}}}],"sources":[{"id":"source-th-a-strips-1971","documentId":"th-fikes-nilsson-1971-strips","title":"STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving","authors":["Richard E. Fikes","Nils J. Nilsson"],"publisher":"IJCAI (proceedings host)","publicationDate":"1971","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","evidenceUrl":"https://ijcai.org/proceedings/1971/0063.pdf","language":"en"},{"id":"source-th-a-ijcai-1971-detail","documentId":"th-fikes-nilsson-1971-strips","title":"STRIPS paper detail page (ijcai.org)","authors":["IJCAI"],"publisher":"IJCAI","publicationDate":"1971","version":"Retrieved for the candidate pack on 2026-10-29 (SHA-256 837d527c891d30932085f2c8525eb54ae0a32f3c28bdb944a6f433a03cd19fe9). Current paper detail page with abstract and extracted references, ijcai.org","evidenceUrl":"https://ijcai.org/proceedings/1971/63","language":"en"},{"id":"source-th-a-ijcai-1971-index","documentId":"th-fikes-nilsson-1971-strips","title":"Proceedings of the Second International Joint Conference on Artificial Intelligence (ijcai.org index page)","authors":["IJCAI"],"publisher":"IJCAI","publicationDate":"1971","version":"Retrieved for the candidate pack on 2026-10-29 (SHA-256 cb2a6be03c5ecd923fd22140d01ff13092b490201b304b507c22407e2c08500a). Current proceedings index page, ijcai.org; read for the bounded title search only","evidenceUrl":"https://ijcai.org/proceedings/1971/","language":"en"}],"evidence":[{"id":"evidence-th-tl-strips-1971-implementation-1","claimId":"th-tl-strips-1971-implementation","sourceId":"source-th-a-strips-1971","support":"supports","locator":"PDF p. 1, Introduction","passage":"This paper describes a new problem-solving program called STRIPS (STanford Research Institute Problem Solver).","passageType":"quote"},{"id":"evidence-th-auth-nilsson-1971-1","claimId":"th-auth-nilsson-1971","sourceId":"source-th-a-ijcai-1971-detail","sourceRole":"primary","support":"supports","verification":"machine_checked","retrievalRoute":"direct"},{"id":"evidence-th-sp-name-strips-1971-1","claimId":"th-sp-name-strips-1971","sourceId":"source-th-a-strips-1971","sourceRole":"primary","support":"supports","verification":"machine_checked","retrievalRoute":"direct"},{"id":"evidence-th-sp-def-strips-1971-1","claimId":"th-sp-def-strips-1971","sourceId":"source-th-a-ijcai-1971-detail","sourceRole":"primary","support":"supports","verification":"machine_checked","retrievalRoute":"direct"}],"at":{"entities":[906,1577,1664],"claims":[4752,4757,4850,4854],"sources":[1494,1495,1496],"evidence":[6217,6224,6350,6355]},"index":{"byClaim":[],"marks":[],"chronicle":{"years":[{"year":1863,"topics":{"ideas":5},"stated":0},{"year":1865,"topics":{"ideas":1},"stated":0},{"year":1872,"topics":{"ideas":7},"stated":0},{"year":1943,"topics":{"ideas":1},"stated":0},{"year":1947,"topics":{"ideas":2},"stated":0},{"year":1950,"topics":{"ideas":7},"stated":0},{"year":1951,"topics":{"ideas":5},"stated":0},{"year":1952,"topics":{"ideas":2},"stated":0},{"year":1955,"topics":{"ideas":31},"stated":0},{"year":1956,"topics":{"ideas":1},"stated":0},{"year":1957,"topics":{"ideas":1},"stated":0},{"year":1958,"topics":{"ideas":3},"stated":0},{"year":1959,"topics":{"ideas":6},"stated":0},{"year":1960,"topics":{"ideas":11},"stated":0},{"year":1961,"topics":{"ideas":10},"stated":0},{"year":1965,"topics":{"ideas":8},"stated":0},{"year":1966,"topics":{"ideas":20},"stated":0},{"year":1968,"topics":{"ideas":5},"stated":0},{"year":1969,"topics":{"ideas":2},"stated":0},{"year":1971,"topics":{"ideas":4},"stated":0},{"year":1972,"topics":{"ideas":1},"stated":0},{"year":1973,"topics":{"ideas":2},"stated":0},{"year":1974,"topics":{"ideas":2},"stated":0},{"year":1975,"topics":{"ideas":1},"stated":0},{"year":1976,"topics":{"ideas":1},"stated":0},{"year":1977,"topics":{"people":2,"ideas":8},"stated":0},{"year":1979,"topics":{"ideas":4},"stated":0},{"year":1980,"topics":{"ideas":2},"stated":0},{"year":1981,"topics":{"people":2},"stated":0},{"year":1982,"topics":{"ideas":4},"stated":0},{"year":1983,"topics":{"ideas":4},"stated":0},{"year":1984,"topics":{"ideas":21},"stated":0},{"year":1985,"topics":{"ideas":9},"stated":0},{"year":1986,"topics":{"ideas":18},"stated":0},{"year":1987,"topics":{"ideas":1},"stated":0},{"year":1988,"topics":{"ideas":6},"stated":0},{"year":1989,"topics":{"ideas":8},"stated":0},{"year":1990,"topics":{"ideas":5},"stated":0},{"year":1991,"topics":{"ideas":11},"stated":0},{"year":1992,"topics":{"ideas":9},"stated":0},{"year":1993,"topics":{"ideas":14,"people":3},"stated":0},{"year":1994,"topics":{"ideas":14},"stated":0},{"year":1995,"topics":{"ideas":10,"people":1},"stated":0},{"year":1996,"topics":{"ideas":71},"stated":0},{"year":1997,"topics":{"ideas":12},"stated":0},{"year":1998,"topics":{"ideas":49},"stated":0},{"year":1999,"topics":{"ideas":27,"people":1,"institutions":1},"stated":0},{"year":2000,"topics":{"ideas":62},"stated":0},{"year":2001,"topics":{"ideas":39},"stated":0},{"year":2002,"topics":{"ideas":30},"stated":0},{"year":2003,"topics":{"ideas":8},"stated":0},{"year":2004,"topics":{"ideas":12,"people":3},"stated":0},{"year":2005,"topics":{"ideas":10,"people":1},"stated":0},{"year":2006,"topics":{"ideas":26,"people":1},"stated":0},{"year":2007,"topics":{"ideas":20},"stated":0},{"year":2008,"topics":{"ideas":57,"people":3,"institutions":1},"stated":0},{"year":2009,"topics":{"ideas":10,"people":1},"stated":0},{"year":2010,"topics":{"people":3,"ideas":11,"institutions":1,"governance":4},"stated":0},{"year":2011,"topics":{"people":3,"ideas":7,"institutions":2},"stated":0},{"year":2012,"topics":{"people":4,"ideas":17,"institutions":2},"stated":0},{"year":2013,"topics":{"ideas":46,"people":4,"institutions":2,"capital":1},"stated":0},{"year":2014,"topics":{"institutions":2,"ideas":54,"people":5},"stated":0},{"year":2015,"topics":{"people":22,"ideas":122,"institutions":3,"capital":1},"stated":0},{"year":2016,"topics":{"ideas":88,"people":2},"stated":0},{"year":2017,"topics":{"people":16,"institutions":2,"ideas":128,"governance":2},"stated":0},{"year":2018,"topics":{"people":8,"ideas":158,"institutions":8,"governance":1},"stated":0},{"year":2019,"topics":{"capital":1,"compute":1,"people":10,"governance":19,"ideas":175,"institutions":4},"stated":0},{"year":2020,"topics":{"people":6,"ideas":98,"institutions":1,"governance":2},"stated":0},{"year":2021,"topics":{"people":27,"ideas":177,"compute":1,"institutions":23,"governance":4,"capital":6},"stated":0},{"year":2022,"topics":{"people":15,"ideas":217,"institutions":6,"governance":3,"compute":2,"capital":1},"stated":0},{"year":2023,"topics":{"capital":5,"compute":7,"institutions":23,"people":51,"governance":179,"ideas":389},"stated":0},{"year":2024,"topics":{"capital":12,"compute":19,"governance":282,"people":80,"ideas":178,"institutions":28},"stated":1},{"year":2025,"topics":{"governance":547,"compute":69,"capital":34,"people":90,"institutions":18,"ideas":178},"stated":7},{"year":2026,"topics":{"governance":442,"capital":8,"compute":32,"institutions":21,"ideas":91,"people":107},"stated":19},{"year":2027,"topics":{},"stated":9},{"year":2028,"topics":{},"stated":6},{"year":2029,"topics":{},"stated":3},{"year":2030,"topics":{},"stated":3},{"year":2032,"topics":{},"stated":2},{"year":2035,"topics":{},"stated":2},{"year":2039,"topics":{},"stated":1},{"year":2042,"topics":{},"stated":1},{"year":2050,"topics":{},"stated":1}],"scheduled":[],"statedBy":[]},"collections":[{"target":{"kind":"propositions","id":"superintelligence"},"title":"Propositions about superintelligence, 1863–2022","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"risk-debate"},"title":"Arguments about catastrophic risk from advanced AI","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"yudkowsky-arguments"},"title":"Eliezer Yudkowsky’s arguments on common claims about AI, 1996–2026","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"economics-of-machine-intelligence"},"title":"Economics of machine intelligence","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"orbital-compute-arguments"},"title":"Arguments about compute in orbit","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"ai-bio-arguments"},"title":"Arguments about AI and biological risk","claimIds":[],"records":[]},{"target":{"kind":"propositions","id":"ai-in-science"},"title":"AI in science","claimIds":[],"records":[]},{"target":{"kind":"documents"},"title":"Frontier safety frameworks","claimIds":[]},{"target":{"kind":"compare","id":"frontier-safety-frameworks"},"title":"Compare frameworks","claimIds":[]},{"target":{"kind":"control","id":"openai"},"title":"OpenAI’s control structure, 2015–2026","claimIds":[]},{"target":{"kind":"control","id":"anthropic"},"title":"Anthropic’s control structure, 2021–2026","claimIds":[]},{"target":{"kind":"commitments"},"title":"External commitments and obligations","claimIds":[]},{"target":{"kind":"question","id":"frameworks-to-obligations"},"title":"Frameworks, commitments and legal obligations, 2023–2026","claimIds":[]},{"target":{"kind":"reading"},"title":"Founding and early leadership","claimIds":[]}]},"version":"131evrz"}