Introducing new predicates to model scientific revolution |
| |
Authors: | Charles X. Ling |
| |
Affiliation: | Department of Computer Science , University of Western Ontario , London, Ontario, N6A 5B7, Canada Phone: (519) 661 3341 Fax: (519) 661 3341 E-mail: ling@csd.uwo.ca |
| |
Abstract: | The notion of necessary new terms (predicates) is proposed. It is shown that necessary new predicates in first‐order logic must be directly, recursively defined. I present a first‐order inductive learning algorithm that introduces new necessary predicates to model scientific revolution in which a new language is adopted. I demonstrate that my learning system can learn a genetic theory with theoretical terms which, after being induced by my system, can be interpreted as either types of genetic properties (dominant or recessive) or genes, depending on the representation of the hypotheses of the same theoretical terms. |
| |
Keywords: | |
|
|