Published by Elsevier Inc.
On randomization and discovery
Received 16 November 2005;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
In the first part of this paper, traditional computability theory is extended to prove that the attainable density of knowledge is virtually unbounded. That is, the more bits available for storage, the more information that can be stored, where the density of information per bit cannot be bounded above. In the second part, the paper explains how machine intelligence becomes possible as a result of the capability for creating, storing, and retrieving virtually unlimited information/knowledge. It follows from this theory that there is no such thing as a valid non-trivial proof, which in turn implies the need for heuristic search/proof techniques. Two examples are presented to show how heuristics can be developed, which are randomizations of knowledge – establishing the connection with the first part of the paper. Even more intriguing, it is shown that heuristic proof techniques are to formal proof techniques what fuzzy logic is to classical logic.
Keywords: Brain theory; Expert systems; Heuristics; KASER; Machine learning; Randomization
Article Outline
- 1. Preface
- 2. Introduction
- 3. Unsolvability of the randomization problem
- 4. Unsolvability of the semantic randomization problem
- 5. Heuristic proof
- 6. Solution approach
- 7. Solution methodology
- 8. The heuristic 8-puzzle
- 9. Randomized local extrema techniques
- 10. Conclusion
- 11. Future work
- Acknowledgements
- References







E-mail Article
Add to my Quick Links

Cited By in Scopus (4)

, b, X ε {0, 1}




