Structured entry data for human tools, AI systems and machine clients.
{
"@context": [
"https://schema.org",
{
"lxw": "https://lxkeys.world/schema/"
}
],
"@type": "Thing",
"identifier": "ENT-00001906",
"name": "Logic Theorist",
"alternateName": [],
"additionalType": {
"category": "AI Systems",
"type": "Historical AI System",
"subtype": "",
"lxkeysEntity": false
},
"description": "Logic Theorist is a historical AI system associated with RAND Corporation, classified in LXKeys.world as Historical AI System.",
"creator": "Allen Newell, Herbert A. Simon and Cliff Shaw",
"url": "https://lxkeys.world/entry.php?id=ENT-00001906&lang=en",
"sameAs": "https://digitalcollections.library.cmu.edu/node/44729",
"image": "",
"lxkeysWorld": {
"worldId": "ENT-00001906",
"kind": "AI Systems",
"type": "Historical AI System",
"subtype": "",
"classification": "Historical AI System",
"organization": "RAND Corporation",
"originContext": "Public AI and technical record",
"firstPublicAppearance": "1956",
"currentStatus": "Historical",
"documentationStatus": "Documented",
"documentationIndex": {
"total": 82,
"documentation": 25,
"evidence": 21,
"structure": 25,
"relationships": 11,
"level": "Level V Persistent"
},
"lxCalendarium": {
"start_date_utc": "2023-04-01",
"created_utc": "2026-06-16T23:59:29+00:00",
"created_dypclt": "D-0 Y-2 P-3 C-3 L-21 T-3",
"updated_utc": "2026-06-16T23:59:29+00:00",
"updated_dypclt": "D-0 Y-2 P-3 C-3 L-21 T-3"
},
"facts": [],
"capabilities": [
"Historical AI reference",
"Symbolic reasoning",
"Cultural and technical context"
],
"limitations": [
"The system is documented primarily for historical significance and may no longer be maintained, accessible or representative of current AI practice.",
"Reconstructions and later summaries can differ from the original hardware, software and experimental conditions.",
"Performance should be interpreted in the historical context and evaluation methods of its period."
],
"tags": [
"Historical AI",
"Research System",
"Symbolic AI"
],
"timeline": [
{
"date": "1956",
"title": "Initial development or public milestone",
"description": "Logic Theorist entered the documented public record in 1956. This event is retained at the precision supported by the Entry’s reviewed source history.",
"source_url": "https://en.wikipedia.org/wiki/Logic_Theorist",
"verification_status": "source_backed_curated_baseline"
}
],
"relationships": [
{
"target": "RAND Corporation",
"type": "Associated organization",
"description": "Logic Theorist is associated with RAND Corporation through its documented source context.",
"evidence_level": "documentary"
}
],
"sources": [
{
"label": "Curated canonical source",
"url": "https://digitalcollections.library.cmu.edu/node/44729",
"source_type": "Primary / Archival Source",
"verification_status": "verified",
"authority": "TRUSTED_PRIMARY",
"role": "archival_or_research_record",
"update_enabled": false,
"authority_basis": "curated-corpus-refresh-2026-09-08"
},
{
"label": "Encyclopaedic or official reference",
"url": "https://en.wikipedia.org/wiki/Logic_Theorist",
"source_type": "Encyclopaedic Reference",
"verification_status": "verified",
"authority": "SECONDARY",
"role": "reference",
"update_enabled": false,
"authority_basis": "curated-corpus-refresh-2026-09-08"
}
],
"canonical": [],
"imageMeta": []
}
}