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