Output details
11 - Computer Science and Informatics
University of Edinburgh
Output title
Scheme-Based Synthesis of Inductive Theories
Type
E - Conference contribution
Name of conference/published proceedings
Advances in Artificial Intelligence : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I
Volume number
6437
Issue number
-
First page of article
348
ISSN of proceedings
0302-9743
Year of publication
2010
Number of additional authors
3
Additional information
<11> Originality: The paper describes IsaScheme, a system for the under-explored area of automatic conjecturing of interesting inductive theorems. Interestingness is achieved by the instantiation of a small number of generic schemes and the application of Knuth-Bendix completion.
Significance: The paper received the best paper prize and has been accepted for publication in the ESWA journal.
Rigour: IsaScheme is implemented in higher-order logic and the correctness of its theorem proving is assured by its use of the Isabelle proof assistant. It has shown high precision and recall in thorough experimental tests against independently manually constructed conjectures.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Centre for Intelligent Systems & their Applications
Citation count
4
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
