Automated generation of interesting theorems

Yury Puzis, Yi Gao, Geoff Sutcliffe

Research output: Contribution to conferencePaperpeer-review

20 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages49-54
Number of pages6
StatePublished - Jul 24 2006
EventFLAIRS 2006 - 19th International Florida Artificial Intelligence Research Society Conference - Melbourne Beach, FL, United States
Duration: May 11 2006May 13 2006

Other

OtherFLAIRS 2006 - 19th International Florida Artificial Intelligence Research Society Conference
CountryUnited States
CityMelbourne Beach, FL
Period5/11/065/13/06

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Automated generation of interesting theorems'. Together they form a unique fingerprint.

Cite this