Learning Search Control Knowledge for Equational Deduction (Dissertations in Artificial Intelligence-Infix, 230)

ISBN 10: 1586031503 / ISBN 13: 9781586031503
Used / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Learning Search Control Knowledge for Equational Deduction (Dissertations in Artificial Intelligence-Infix, 230). Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
0 avg rating
(0 ratings)

Synopsis:

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:

-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences

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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Learning Search Control Knowledge for ...
Book Condition: Good

Top Search Results from the AbeBooks Marketplace

1.

S. Schulz
Published by IOS Press (2000)
ISBN 10: 1586031503 ISBN 13: 9781586031503
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description IOS Press, 2000. Paperback. Book Condition: New. book. Bookseller Inventory # M1586031503

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 143.84
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

S. Schulz
Published by IOS Press (2000)
ISBN 10: 1586031503 ISBN 13: 9781586031503
Used Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description IOS Press, 2000. Paperback. Book Condition: Used: Good. Bookseller Inventory # SONG1586031503

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 147.58
Convert Currency

Add to Basket

Shipping: US$ 8.99
Within U.S.A.
Destination, Rates & Speeds