Automated generation of interesting theorems

Yury Puzis, Yi Gao, Geoffrey Sutcliffe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

20 Citations (Scopus)

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)
Title of host publicationFLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference
Pages49-54
Number of pages6
Volume2006
StatePublished - 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

Fingerprint

Boring

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Puzis, Y., Gao, Y., & Sutcliffe, G. (2006). Automated generation of interesting theorems. In FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference (Vol. 2006, pp. 49-54)

Automated generation of interesting theorems. / Puzis, Yury; Gao, Yi; Sutcliffe, Geoffrey.

FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. Vol. 2006 2006. p. 49-54.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Puzis, Y, Gao, Y & Sutcliffe, G 2006, Automated generation of interesting theorems. in FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. vol. 2006, pp. 49-54, FLAIRS 2006 - 19th International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, FL, United States, 5/11/06.
Puzis Y, Gao Y, Sutcliffe G. Automated generation of interesting theorems. In FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. Vol. 2006. 2006. p. 49-54
Puzis, Yury ; Gao, Yi ; Sutcliffe, Geoffrey. / Automated generation of interesting theorems. FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. Vol. 2006 2006. pp. 49-54
@inproceedings{326f46e62b7e4d17ab285e8e9da3b4e0,
title = "Automated generation of interesting theorems",
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.",
author = "Yury Puzis and Yi Gao and Geoffrey Sutcliffe",
year = "2006",
language = "English (US)",
volume = "2006",
pages = "49--54",
booktitle = "FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference",

}

TY - GEN

T1 - Automated generation of interesting theorems

AU - Puzis, Yury

AU - Gao, Yi

AU - Sutcliffe, Geoffrey

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33746040116&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33746040116&partnerID=8YFLogxK

M3 - Conference contribution

VL - 2006

SP - 49

EP - 54

BT - FLAIRS 2006 - Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference

ER -