Learning Search Control Knowledge for Equational Deduction (Dissertations in Artificial Intelligence-Infix, 230). Bookseller Inventory #
IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.
Some of the areas we publish in:
-Databases and information systems
-All aspects of physics
-The knowledge economy
-Understanding and responding to terrorism
From the Publisher: Techniques for handling of the equality relation are essential for the successful application of theorem provers to most interesting first order problems. The currently best approach to this field is the superposition calculus. This saturating calculus systematically generates logical consequences from a set of axioms and thus tries to find a proof for the hypothesis. The most important decision for the success of the proof search is the order in which potential new consequences are considered. This thesis presents an approach to learn good search guiding heuristics for the superposition-based theorem prover E. Search decisions from successful proof searches are represented as sets annotated clause patterns. Term Space Mapping, a new learning method for recursive structures, is used to learn heuristic evaluation functions for the evaluation of potential new consequences. Experimental results with the extended system E/TSM show the success of the approach. Additional contributions of the thesis are an extended superposition calculus and a description of both the proof procedure and the implementation of a state-of-the-art equational theorem prover.
Title: Learning Search Control Knowledge for ...
Book Condition: Good
Book Description IOS Press, 2000. Paperback. Book Condition: New. book. Bookseller Inventory # M1586031503
Book Description IOS Press, 2000. Paperback. Book Condition: Used: Good. Bookseller Inventory # SONG1586031503