General Models, Descriptions, and Choice in Type Theory.
Peter B. AndrewsPublished in: J. Symb. Log. (1972)
Keyphrases
- special case
- general theory
- computational models
- real world
- formal models
- statistical models
- probabilistic model
- prior knowledge
- expert systems
- high level
- decision trees
- information systems
- maximum likelihood
- complex systems
- experimental data
- computer vision
- genetic algorithm
- mathematical models
- machine learning
- neural network
- formal theory