ENT-00001906 · Historical AI System

Logic Theorist

Logic Theorist is a automated reasoning program associated with RAND Corporation.

Level IV — ConnectedHistoricalConnected

Human readable record

Overview

Logic Theorist is a documented AI model or assistant-related entity associated with RAND Corporation. The record focuses on its public identity, release context, capability class, source lineage and relationship to adjacent model or product families.

Timeline

1956Logic Theorist public documentation anchor
Logic Theorist appears in public documentation or stable reference sources as a automated reasoning program associated with RAND Corporation.

Capabilities

Historical AI referenceSymbolic reasoningCultural and technical context

Known limitations

The record describes the public identity and documented role of the entity, not private implementation details.Capabilities depend on version, deployment context, access conditions and the available public documentation.

Technical and registry detail

Technical description

Structured record for Logic Theorist. The technical layer identifies entity type, classification, creator or organization, public source anchors, timeline entry, capabilities, limitations, registry status and graph relationships. Source anchor: https://en.wikipedia.org/wiki/Logic_Theorist.

Controlled tags

Historical AIResearch SystemSymbolic AI

Relationship graph

Logic Theorist

Associated organizationRAND Corporation

Logic Theorist is associated with RAND Corporation through its documented source context.

Machine readable layer

Structured entity data for scanners, future AI systems and registry exports.

{
    "@context": "https://schema.org",
    "@type": "Thing",
    "identifier": "ENT-00001906",
    "name": "Logic Theorist",
    "alternateName": [],
    "additionalType": "Historical AI System",
    "description": "Logic Theorist is a automated reasoning program associated with RAND Corporation.",
    "creator": "Allen Newell, Herbert A. Simon and Cliff Shaw",
    "url": "entity.php?id=ENT-00001906",
    "sameAs": "https://en.wikipedia.org/wiki/Logic_Theorist",
    "lxkeysWorld": {
        "classification": "automated reasoning program",
        "organization": "RAND Corporation",
        "originContext": "Public AI and technical record",
        "firstPublicAppearance": "1956",
        "currentStatus": "Historical",
        "registryStatus": "Connected",
        "spatiumIndex": {
            "total": 74,
            "documentation": 25,
            "evidence": 13,
            "structure": 25,
            "relationships": 11,
            "level": "Level IV — Connected"
        },
        "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",
            "reviewed_utc": "2026-06-16T23:59:29+00:00",
            "reviewed_dypclt": "D-0 Y-2 P-3 C-3 L-21 T-3"
        },
        "capabilities": [
            "Historical AI reference",
            "Symbolic reasoning",
            "Cultural and technical context"
        ],
        "limitations": [
            "The record describes the public identity and documented role of the entity, not private implementation details.",
            "Capabilities depend on version, deployment context, access conditions and the available public documentation."
        ],
        "tags": [
            "Historical AI",
            "Research System",
            "Symbolic AI"
        ],
        "timeline": [
            {
                "date": "1956",
                "title": "Logic Theorist public documentation anchor",
                "description": "Logic Theorist appears in public documentation or stable reference sources as a automated reasoning program associated with RAND Corporation."
            }
        ],
        "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": "Encyclopaedic or official reference",
                "url": "https://en.wikipedia.org/wiki/Logic_Theorist",
                "source_type": "Encyclopaedic Reference",
                "verification_status": "verified"
            }
        ]
    }
}

Proof and discussion layer

Contribute to this record

Submit a proof, correction or comment. Public display is moderated. Every submission remains preserved in the export archive.

Submit proof or comment

Approved comments

No approved public comment yet.