J. C. Shaw implemented the program
E874575
artificial intelligence program
computer program
computer scientist
pioneer in artificial intelligence
J. C. Shaw was a pioneering computer scientist known for his work in early artificial intelligence, including implementing the Logic Theorist program.
All labels observed (1)
| Label | Occurrences |
|---|---|
| J. C. Shaw implemented the program canonical | 1 |
Statements (27)
| Predicate | Object |
|---|---|
| instanceOf |
artificial intelligence program
ⓘ
computer program ⓘ computer scientist ⓘ pioneer in artificial intelligence ⓘ |
| associatedWith | early AI research at RAND Corporation ⓘ |
| basedOn | principia mathematica NERFINISHED ⓘ |
| collaboratedWith |
Allen Newell
NERFINISHED
ⓘ
Herbert A. Simon NERFINISHED ⓘ |
| contributedTo | early AI programming techniques ⓘ |
| developedAt | RAND Corporation NERFINISHED ⓘ |
| developedBy |
Allen Newell
NERFINISHED
ⓘ
Herbert A. Simon NERFINISHED ⓘ J. C. Shaw NERFINISHED ⓘ |
| employer | RAND Corporation NERFINISHED ⓘ |
| field |
artificial intelligence
ⓘ
artificial intelligence ⓘ computer science ⓘ |
| fullName | John Clifford Shaw NERFINISHED ⓘ |
| implemented | Logic Theorist NERFINISHED ⓘ |
| implementedBy | J. C. Shaw NERFINISHED ⓘ |
| knownFor |
implementing the Logic Theorist program
ⓘ
work in early artificial intelligence ⓘ |
| nationality | American ⓘ |
| notableAs | one of the first AI programs ⓘ |
| purpose | proving theorems in symbolic logic ⓘ |
| workedOn |
heuristic search methods
ⓘ
symbolic computation ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Logic Theorist