On the inherent necessity of heuristic proofs
2005 IEEE International Conference on Systems, Man and Cybernetics, 2005•ieeexplore.ieee.org
It follows from the nonreducibility 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 (ie, 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 …
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 (ie, 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 …
It follows from the nonreducibility 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.
ieeexplore.ieee.org
Showing the best result for this search. See all results