Approximation to a decision procedure for the halting problem.
Michael AndersonPublished in: Notre Dame J. Formal Log. (1968)
Keyphrases
- decision making
- error bounds
- artificial intelligence
- learning algorithm
- decision rules
- information systems
- website
- database systems
- objective function
- artificial neural networks
- decision problems
- closed form
- sensitivity analysis
- genetic algorithm
- influence diagrams
- decision model
- decision processes
- approximation schemes