Sciweavers

FLAIRS
2006

Automated Generation of Interesting Theorems

13 years 5 months ago
Automated Generation of Interesting Theorems
In the logical theory of a set of axioms there are many boring logical consequences, and scattered among them there are a few interesting ones. The few interesting ones include those that are singled out as theorems by experts in the domain. This paper describes the techniques, implementation, and results of an automated system that generates logical consequences of a set of axioms, and uses filters and ranking to identify interesting theorems among the logical consequences.
Yury Puzis, Yi Gao, Geoff Sutcliffe
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2006
Where FLAIRS
Authors Yury Puzis, Yi Gao, Geoff Sutcliffe
Comments (0)