TY - GEN
T1 - EUCLID
T2 - 2nd Indian International Conference on Artificial Intelligence, IICAI 2005
AU - Pandey, Gaurav
AU - Anand, Ankit
AU - Karnick, Harish
PY - 2005
Y1 - 2005
N2 - We describe the system Euclid for automatically finding various ge-ometrical properties of a triangle starting from a set of relations and operators defined over categories like scalars, points, lines (or line-segments), angles and triangles. Euclid is comprised of a knowledge base consisting of the definitions of categories, relations and operators, a search algorithm and a set of constraints and pruning strategies to guide the search. We describe each component and also the theoretical properties of the search algorithm. Euclid's efficacy is demonstrated by the interesting potential theorems it is able to discover about triangles.
AB - We describe the system Euclid for automatically finding various ge-ometrical properties of a triangle starting from a set of relations and operators defined over categories like scalars, points, lines (or line-segments), angles and triangles. Euclid is comprised of a knowledge base consisting of the definitions of categories, relations and operators, a search algorithm and a set of constraints and pruning strategies to guide the search. We describe each component and also the theoretical properties of the search algorithm. Euclid's efficacy is demonstrated by the interesting potential theorems it is able to discover about triangles.
UR - https://www.scopus.com/pages/publications/84872077735
M3 - Conference contribution
AN - SCOPUS:84872077735
SN - 0972741216
SN - 9780972741217
T3 - Proceedings of the 2nd Indian International Conference on Artificial Intelligence, IICAI 2005
SP - 2759
EP - 2776
BT - Proceedings of the 2nd Indian International Conference on Artificial Intelligence, IICAI 2005
Y2 - 20 December 2005 through 22 December 2005
ER -