Woody Bledsoe
E53425
Woody Bledsoe was an American mathematician and computer scientist recognized as a pioneer in artificial intelligence, particularly in automated theorem proving and pattern recognition.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Bledsoe | 1 |
| Woody Bledsoe canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T364387 — 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: Woody Bledsoe Context triple: [Herbrand Award, notableRecipient, Woody Bledsoe]
-
A.
Rallo Tubbs
Rallo Tubbs is a precocious, sharp-tongued young boy and one of the central comedic characters in the animated sitcom "The Cleveland Show."
-
B.
Dwight Schultz
Dwight Schultz is an American actor best known for his role as Captain "Howling Mad" Murdock on the 1980s television series "The A-Team" and for voicing numerous characters in animated shows and video games.
-
C.
Dennis Byrd
Dennis Byrd was an American defensive lineman for the New York Jets whose promising NFL career was tragically cut short by a paralyzing on-field injury, after which he became a symbol of courage and inspiration.
-
D.
Bill Cobbs
Bill Cobbs is an American character actor known for his prolific supporting roles in film and television, including appearances in movies like "Night at the Museum," "Demolition Man," and "The Hudsucker Proxy."
-
E.
Warren “Oak” Felder
Warren “Oak” Felder is a Grammy-nominated Turkish-American record producer and songwriter known for crafting pop and R&B hits for artists such as Alessia Cara, Demi Lovato, and Kehlani.
- 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: Woody Bledsoe Target entity description: Woody Bledsoe was an American mathematician and computer scientist recognized as a pioneer in artificial intelligence, particularly in automated theorem proving and pattern recognition.
-
A.
Rallo Tubbs
Rallo Tubbs is a precocious, sharp-tongued young boy and one of the central comedic characters in the animated sitcom "The Cleveland Show."
-
B.
Dwight Schultz
Dwight Schultz is an American actor best known for his role as Captain "Howling Mad" Murdock on the 1980s television series "The A-Team" and for voicing numerous characters in animated shows and video games.
-
C.
Dennis Byrd
Dennis Byrd was an American defensive lineman for the New York Jets whose promising NFL career was tragically cut short by a paralyzing on-field injury, after which he became a symbol of courage and inspiration.
-
D.
Bill Cobbs
Bill Cobbs is an American character actor known for his prolific supporting roles in film and television, including appearances in movies like "Night at the Museum," "Demolition Man," and "The Hudsucker Proxy."
-
E.
Warren “Oak” Felder
Warren “Oak” Felder is a Grammy-nominated Turkish-American record producer and songwriter known for crafting pop and R&B hits for artists such as Alessia Cara, Demi Lovato, and Kehlani.
- F. None of above. chosen
Statements (38)
| Predicate | Object |
|---|---|
| instanceOf |
artificial intelligence researcher
ⓘ
computer scientist ⓘ human ⓘ mathematician ⓘ |
| areaOfInfluence |
United States
ⓘ
linked to:
United States of America
|
| citizenship | American ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| educatedAt |
Rice University
ⓘ
University of California, Berkeley ⓘ |
| employer | University of Texas at Austin ⓘ |
| fieldOfWork |
artificial intelligence
ⓘ
automated theorem proving ⓘ computer science ⓘ mathematics ⓘ pattern recognition ⓘ |
| gender | male ⓘ |
| hasAcademicDiscipline |
automated reasoning
ⓘ
logic in computer science ⓘ machine perception ⓘ |
| hasFamilyName |
Bledsoe
ⓘ
linked to:
Woody Bledsoe
|
| hasGivenName | Woody ⓘ |
| hasRole |
academic researcher
ⓘ
pioneer of artificial intelligence ⓘ research scientist ⓘ |
| influenced |
development of modern artificial intelligence
ⓘ
research in automated theorem proving ⓘ research in pattern recognition ⓘ |
| knownFor |
contributions to automated reasoning
ⓘ
contributions to face recognition research ⓘ early work on machine intelligence ⓘ |
| languageOfWorkOrName | English ⓘ |
| notableFor |
pioneering work in artificial intelligence
ⓘ
research in automated theorem proving ⓘ research in pattern recognition ⓘ |
| notableWork |
early systems for automated theorem proving
ⓘ
early systems for pattern recognition ⓘ |
| occupation | university professor ⓘ |
| workLocation |
Austin, Texas
ⓘ
linked to:
Austin
|
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: Woody Bledsoe Description of subject: Woody Bledsoe was an American mathematician and computer scientist recognized as a pioneer in artificial intelligence, particularly in automated theorem proving and pattern recognition.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Woody Bledsoe