Download or read book Knowledge-based Systems in Artificial Intelligence written by Randall Davis and published by . This book was released on 1982 with total page 520 pages. Available in PDF, EPUB and Kindle. Book excerpt: AM: discovery in mathematics as heuristic search. Example: discovering prime numbers. Agenda. Heuristics. Concepts. Results. Evaluating AM. Appendixes. Concepts. Heuristics. Trace. Bibliography. Teiresias: applications of meta-level knowledge. Explanation. Knowledge acquisition. Strategies. Conclusions. References.