Published:
May 1999
Proceedings:
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
Volume
Issue:
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
Track:
All Papers
Downloads:
Abstract:
We describe a learning inference control heuristic for an equational theorem prover. The heuristic selects a number of problems similar to a new problem from a knowledge base and compiles information about good search decisions for these selected problems into a term space map, which is used to evaluate the search alternatives at an important choice point in the theorem prover. Experiments on the TPTP problem library show the improvements possible with this new approach.
FLAIRS
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
ISBN 978-1-57735-080-4
Published by The AAAI Press, Menlo Park, California.