Statements (89)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software
|
| gptkbp:application |
mathematical logic
|
| gptkbp:associated_with |
gptkb:Artificial_Intelligence
|
| gptkbp:collaborations |
gptkb:Herbert_A._Simon
gptkb:Allen_Newell |
| gptkbp:contributed_to |
cognitive psychology
|
| gptkbp:developed_by |
gptkb:Herbert_A._Simon
gptkb:Allen_Newell |
| gptkbp:exhibited_at |
machine reasoning
|
| gptkbp:field |
gptkb:Artificial_Intelligence
|
| gptkbp:first_released |
gptkb:1956
|
| https://www.w3.org/2000/01/rdf-schema#label |
The Logic Theorist
|
| gptkbp:influenced |
future AI programs
|
| gptkbp:influenced_by |
symbolic logic
|
| gptkbp:input_output |
theorems
axioms |
| gptkbp:inspired_by |
gptkb:Gödel's_incompleteness_theorems
|
| gptkbp:is_implemented_in |
gptkb:IBM_704
|
| gptkbp:language |
gptkb:LISP
|
| gptkbp:notable_achievement |
first program to prove theorems
|
| gptkbp:operating_system |
gptkb:none
|
| gptkbp:purpose |
prove mathematical theorems
|
| gptkbp:related_to |
gptkb:microprocessor
gptkb:search_algorithms gptkb:quantum_computing gptkb:patent gptkb:software_framework gptkb:Cloud_Computing_Service gptkb:robot gptkb:theorem gptkb:battle gptkb:currency formal verification problem-solving big data cybersecurity decision making algorithm design cognitive science computer vision data protection data structures human-computer interaction information theory knowledge representation natural language processing network security swarm intelligence bioinformatics data mining distributed systems computational complexity graph theory mathematical logic network theory fuzzy logic decision theory evolutionary computation information retrieval multi-agent systems program verification privacy social choice theory software engineering heuristics constraint satisfaction automated reasoning AI ethics theory of computation formal systems digital forensics computational biology computational neuroscience knowledge-based systems semantic networks computational logic logic programming intelligent agents artificial life automated planning program synthesis algorithmic logic |
| gptkbp:research_areas |
gptkb:Carnegie_Mellon_University
automated theorem proving |
| gptkbp:significance |
early AI research
|
| gptkbp:successor |
gptkb:General_Problem_Solver
|
| gptkbp:uses |
heuristic search
|
| gptkbp:bfsParent |
gptkb:Artificial_Intelligence_Lab_at_MIT
|
| gptkbp:bfsLayer |
5
|