Empirical explorations of the logic theory machine: a case study in heuristic.
Allen NewellJ. C. ShawHerbert A. SimonPublished in: IRE-AIEE-ACM Computer Conference (Western) (1957)
Keyphrases
- formal theory
- deductive reasoning
- probability theory
- machine learning
- search algorithm
- logic programming
- modal logic
- proof theoretic
- boolean algebra
- proof theory
- algebraic structure
- asynchronous circuits
- commonsense reasoning
- logical framework
- case study
- information theoretic
- knowledge representation
- simulated annealing
- theoretical analysis
- computational model
- batch processing
- search space
- evolutionary algorithm
- tabu search
- empirical data
- predicate logic
- set theory
- statistical learning theory
- classical logic
- multi valued
- test bed