Detail Heuristic Theorem Proving   Oleh:  Pelletier, Francis Jeffry ; Wilson, Dan C. Jenis: Article from Books Dalam koleksi: Thinking the expanding frontier : proceedings of the International, Interdisciplinary Conference on Thingking held at the University of The South Pacific, January, 1982, page 237-250. Topik: Artificial Intelligence Ketersediaan Perpustakaan Pusat (Semanggi) Nomor Panggil: 153 THI Non-tandon: 1 (dapat dipinjam: 1) Tandon: tidak ada    Reserve Lihat Detail Induk Isi artikel Many people view the essential difference between computer output and human thinking as "blindly following an algorithm versus heuristically using and altering strategies." A computer program which invokes heuristics is discussed and applied to the problem of producing proofs in ordinary logic. The conclusion is twofold: our computer program performs significantly better than existing algorithmetic methods, and it performs in a manner indistinguishable from the heuristics that humans use. Opini Anda Klik untuk menuliskan opini Anda tentang koleksi ini! Kembali

Copyright © 2006, 2007 Unika Atma Jaya, all rights reserved