Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
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.
Share this citation
Twitter
Email
Rubin, SH, Chen, SC, Law, JB
et al
. (2005). On the inherent necessity of heuristic proofs .
4 3890-3896.
Copy Citation
Share
Overview
Additional Document Info
View All
Overview
cited authors
Rubin, SH; Chen, SC; Law, JB; Lee, GK
authors
Chen, Shu-Ching
abstract
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.
publication date
November 30, 2005
Additional Document Info
start page
3890
end page
3896
volume
4