Experiments in the heuristic use of past proof experience

DOI10.1007/3-540-61511-3_111zbMath1412.68224OpenAlexW1865124669MaRDI QIDQ4647545

Matthias Fuchs

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: http://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/380

zbMATH Keywords

inference rulepast experiencefunction symbolnegative factpositive fact

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Proving theorems by reuse, Learning domain knowledge to improve theorem proving, Experiments in the heuristic use of past proof experience, Using Mixture of Experts Method in Combining Search-Guiding Heuristics for Theorem Proving, CODE: A powerful prover for problems of condensed detachment, Proofs as schemas and their heuristic use, Automatic acquisition of search control knowledge from multiple proof attempts.

Uses Software

• TPTP
• SCOTT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Meeting the challenge of fifty years of logic
• Searching for circles of pure proofs
• Experiments in the heuristic use of past proof experience
• Distributing equational theorem proving
• The TPTP problem library
• Experiments in automatic learning for a multipurpose hueristic program