On the inherent necessity of heuristic proofs

On the inherent necessity of heuristic proofs Conference

Rubin, SH, Chen, SC, Law, JB et al. (2005). On the inherent necessity of heuristic proofs . 4 3890-3896.

It follows from the Non-Reducibility of the Theorization Problem that an arbitrary proof cannot be valid on an absolute scale. Thus, in order for an arbitrary proof to be generative, it must be self-referential; but then, it must also be heuristic if not incomplete as a consequence. By relaxing the validity requirement, heuristic (i.e., relative) proof techniques are enabled. We show that heuristics are search randomizations in space-time. It is shown how one can develop heuristics, which are randomizations of knowledge. Even more intriguing, it is shown that heuristic proof is to formal proof what fuzzy logic is to formal logic. Simply put, the paper argues for the need to relax the notion of formal proof if AI is to advance. © 2005 IEEE.