Abstract
A paradigm of scientific discovery is defined within a first-order logical framework. Within this paradigm, the concept of “successful scientific inquiry” is formalized and investigated. Among other results, it is shown that a simple method of scientific inquiry is universal in the sense that it leads to success on every problem for which success is in principle possible.
Original language | English (US) |
---|---|
Pages (from-to) | 261-271 |
Number of pages | 11 |
Journal | Machine Learning |
Volume | 9 |
Issue number | 2 |
DOIs | |
State | Published - Jul 1992 |
All Science Journal Classification (ASJC) codes
- Software
- Artificial Intelligence
Keywords
- Computational learning theory
- first-order logic
- machine inductive inference
- scientific methodology