On the auto-randomization of knowledge

In this paper, we first apply traditional computability theory to prove that the randomization problem, as defined herein, is recursively unsolvable. We then move on to extend traditional computability theory for the case of k-limited fine-grained parallel processors (i. e., temporal relativity). Using this modification, we are able to prove the Semantic Randomization Theorem (SRT). This theorem states that the complexity of an arbitrary self-referential functional (i.e., implying representation and knowledge) is unbounded in the limit. Furthermore, it then follows from the unsolvability of the randomization problem that effective knowledge acquisition in the large must be domain-specific and evolutionary. It is suggested that a generalized operant mechanics will be the fixed-point randomization of a domain-general self-referential randomization. In practice, this provides for the definition of knowledge-based systems that can formally apply analogy in the reasoning process as a consequence of semantic randomization.

[1]  Michael A. Arbib,et al.  A Basis for Theoretical Computer Science , 1981, Texts and Monographs in Computer Science.

[2]  Saul Amarel,et al.  On representations of problems of reasoning about actions , 1968 .

[3]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[4]  G. Chaitin Randomness and Mathematical Proof , 1975 .

[5]  Seppo J. Ovaska,et al.  Industrial applications of soft computing: a review , 2001, Proc. IEEE.

[6]  A. J. Kfoury,et al.  A Programming Approach to Computability , 1982, Texts and Monographs in Computer Science.

[7]  Stuart Harvey Rubin Computing with words , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[8]  L. Trajkovic,et al.  KASER: a qualitatively fuzzy object-oriented inference engine , 2002, 2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622).