Learning Search Control Knowledge for Equational Deduction

Learning Search Control Knowledge for Equational Deduction
Author :
Publisher : IOS Press
Total Pages : 204
Release :
ISBN-10 : 1586031503
ISBN-13 : 9781586031503
Rating : 4/5 (503 Downloads)

Book Synopsis Learning Search Control Knowledge for Equational Deduction by : S. A. Schulz

Download or read book Learning Search Control Knowledge for Equational Deduction written by S. A. Schulz and published by IOS Press. This book was released on 2000 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis presents an approach to learning good search guiding heuristics for the supposition-based theorom prover E in equational deductions. Search decisions from successful proof searches are represented as sets annotated clause patterns. Term Space Mapping, an alternative learning method for recursive structures is used to learn heuristic evaluation functions for the evaluation of potential new consequences. Experimental results with 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.


Learning Search Control Knowledge for Equational Deduction Related Books

Learning Search Control Knowledge for Equational Deduction
Language: en
Pages: 204
Authors: S. A. Schulz
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: IOS Press

DOWNLOAD EBOOK

This thesis presents an approach to learning good search guiding heuristics for the supposition-based theorom prover E in equational deductions. Search decision
Logics and Type Systems in Theory and Practice
Language: en
Pages: 284
Authors: Venanzio Capretta
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Automated Deduction - CADE 28
Language: en
Pages: 655
Authors: André Platzer
Categories: Artificial intelligence
Type: BOOK - Published: 2021 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full
Automated Deduction – CADE 27
Language: en
Pages: 603
Authors: Pascal Fontaine
Categories: Computers
Type: BOOK - Published: 2019-08-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full pa
Automated Reasoning
Language: en
Pages: 521
Authors: Nicolas Peltier
Categories: Mathematics
Type: BOOK - Published: 2020-06-29 - Publisher: Springer Nature

DOWNLOAD EBOOK

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, hel