LT
E874571
LT is the abbreviated name for the Logic Theorist, an early computer program that pioneered automated theorem proving in mathematical logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| LT canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10602379 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: LT Context triple: [Logic Theorist, alsoKnownAs, LT]
-
A.
LT
LT is a mid-level trim designation commonly used by Chevrolet to denote a better-equipped, more comfort- and feature-focused version of its vehicles.
-
B.
Lt
Lt is the standard military abbreviation for the commissioned officer rank of Lieutenant in the Australian Army.
-
C.
LTN
LTN is the IATA airport code for London Luton Airport, a major international airport serving the London metropolitan area in the United Kingdom.
-
D.
LD
LD is the IATA airline designator assigned to Air Hong Kong, a cargo airline based in Hong Kong.
-
E.
LM
LM is the vehicle registration code for the German town of Limburg an der Lahn in the state of Hesse.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: LT Target entity description: LT is the abbreviated name for the Logic Theorist, an early computer program that pioneered automated theorem proving in mathematical logic.
-
A.
LT
LT is a mid-level trim designation commonly used by Chevrolet to denote a better-equipped, more comfort- and feature-focused version of its vehicles.
-
B.
Lt
Lt is the standard military abbreviation for the commissioned officer rank of Lieutenant in the Australian Army.
-
C.
LTN
LTN is the IATA airport code for London Luton Airport, a major international airport serving the London metropolitan area in the United Kingdom.
-
D.
LD
LD is the IATA airline designator assigned to Air Hong Kong, a cargo airline based in Hong Kong.
-
E.
LM
LM is the vehicle registration code for the German town of Limburg an der Lahn in the state of Hesse.
- F. None of above. chosen
Statements (37)
| Predicate | Object |
|---|---|
| instanceOf |
automated theorem prover
ⓘ
computer program ⓘ |
| abbreviationOf |
Logic Theorist
ⓘ
linked to:
the Logic Theorist program
|
| alsoKnownAs |
Logic Theorist program
ⓘ
linked to:
the Logic Theorist program
|
| approach |
heuristic search
ⓘ
means-ends analysis ⓘ |
| approximateCreationYear |
1955
ⓘ
1956 ⓘ |
| basedOn | symbolic logic ⓘ |
| category |
history of artificial intelligence
ⓘ
history of computer science ⓘ |
| countryOfOrigin |
United States
ⓘ
linked to:
United States of America
|
| demonstratedAt | Dartmouth Summer Research Project on Artificial Intelligence ⓘ |
| developedBy |
Allen Newell
ⓘ
Herbert A. Simon ⓘ
linked to:
Herbert Simon
J. C. Shaw ⓘ |
| developerAffiliation | RAND Corporation ⓘ |
| domain | propositional logic ⓘ |
| field |
artificial intelligence
ⓘ
automated reasoning ⓘ mathematical logic ⓘ |
| fullName |
Logic Theorist
ⓘ
linked to:
the Logic Theorist program
|
| historicalSignificance |
early milestone in cognitive simulation
ⓘ
first program to prove non-trivial theorems in symbolic logic ⓘ |
| influenced |
research in cognitive psychology of problem solving
ⓘ
subsequent automated theorem provers ⓘ |
| inspiredBy | human problem solving strategies ⓘ |
| language | list-processing language ⓘ |
| notableFor |
being one of the first programs in artificial intelligence
ⓘ
pioneering automated theorem proving ⓘ proving theorems from Principia Mathematica ⓘ |
| organization | RAND Corporation ⓘ |
| provedFrom |
Principia Mathematica by Whitehead and Russell
ⓘ
linked to:
Principia Mathematica
|
| purpose | automated theorem proving ⓘ |
| relatedTo | General Problem Solver ⓘ |
| timePeriod | mid-1950s ⓘ |
| usedAsExampleIn | early AI literature ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: LT Description of subject: LT is the abbreviated name for the Logic Theorist, an early computer program that pioneered automated theorem proving in mathematical logic.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject linked to:
the Logic Theorist program