nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Automatic Deduction in an AI Geometry Book

verfasst von : Pedro Quaresma

Erschienen in: Artificial Intelligence and Symbolic Computation

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The pursuit of an AI Geometry Book should involve the study of how currently developing methodologies and technologies of geometry knowledge representation, management, deduction and discovery can be incorporated effectively into a computational application, a “book” of the future.

In the geometry book of the future statements and proofs should be en-lighted by dynamic geometry sketches and diagrams, and the correctness of the proofs should be ensured by computer checking. The book will be intelligent, the reader should be able to ask closed or open questions, and can also ask for proof hints. The book should also provide interactive exercises with automatic correction.

To fulfil such a goal the development of an open library of geometry automated theorem provers with a carefully design application interface protocol, must be considered. This would allow to link computer platforms for geometry with theorem provers, providing the automatic deduction capabilities for the AI Geometry Book.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Towards an Automated Geometer

Nächstes Kapitel A Chinese New Word Detection Approach Based on Independence Testing

https://github.com/ivan-z-petrovic/open-geo-prover/.

https://github.com/GeoTiles/libI2GATP.

Geometric Figure Mining via Conceptual Graphs, Yannis Haralambous and Pedro Quaresma, submitted to ADG2018.

Baeta, N., Quaresma, P.: The full angle method on the OpenGeoProver. In: Lange, C., et al. (eds.) MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, No. 1010 in CEUR Workshop Proceedings, Aachen (2013). http://ceur-ws.org/Vol-1010/paper-08.pdf

Botana, F., et al.: Automated theorem proving in Geogebra: current achievements. J. Autom. Reason. 55(1), 39–59 (2015). https://doi.org/10.1007/s10817-015-9326-4MathSciNetCrossRefMATH

Chou, S.C., Gao, X.S.: Automated reasoning in geometry. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 707–749. Elsevier Science Publishers B.V., San Diego (2001)

Janičić, P.: GCLC—a tool for constructive euclidean geometry and more than that. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol. 4151, pp. 58–73. Springer, Heidelberg (2006). https://doi.org/10.1007/11832225_6CrossRef

Janičić, P., Quaresma, P.: System description: GCLCprover + geoThms. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 145–150. Springer, Heidelberg (2006). https://doi.org/10.1007/11814771_13CrossRef

Jiang, J., Zhang, J.: A review and prospect of readable machine proofs for geometry theorems. J. Syst. Sci. Complex. 25(4), 802–820 (2012). https://doi.org/10.1007/s11424-012-2048-3MathSciNetCrossRefMATH

Matsuda, N., Vanlehn, K.: Gramy: a geometry theorem prover capable of construction. J. Autom. Reason. 32, 3–33 (2004)MathSciNetCrossRef

Moraes, T.G., Santoro, F.M., Borges, M.R.: Tabulæ: educational groupware for learning geometry. In: Fifth IEEE International Conference on Advanced Learning Technologies, ICALT 2005, pp. 750–754, July 2005. https://doi.org/10.1109/ICALT.2005.251

Moriyón, R., Saiz, F., Mora, M.: GeoThink: an environment for guided collaborative learning of geometry. In: Sánchez, J. (ed) Nuevas Ideas en Informática Educativa, Santiago de Chile, vol. 4, pp. 200–208 (2008)

10.

Narboux, J.: A graphical user interface for formal proofs in geometry. J. Autom. Reason. 39, 161–180 (2007). https://doi.org/10.1007/s10817-007-9071-4CrossRefMATH

11.

Quaresma, P., Janičić, P., Tomašević, J., Vujošević-Janičić, M., Tošić, D.: XML-bases format for descriptions of geometric constructions and proofs. In: Communicating Mathematics in the Digital Era, pp. 183–197. A. K. Peters Ltd., Wellesley (2008)

12.

Quaresma, P.: Thousands of geometric problems for geometric theorem provers (TGTP). In: Schreck, P., Narboux, J., Richter-Gebert, J. (eds.) ADG 2010. LNCS (LNAI), vol. 6877, pp. 169–181. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25070-5_10CrossRef

13.

Quaresma, P.: Towards an intelligent and dynamic geometry book. Math. Comput. Sci. 11(3), 427–437 (2017). https://doi.org/10.1007/s11786-017-0302-8MathSciNetCrossRefMATH

14.

Quaresma, P., Baeta, N.: Current status of the I2GATP common format. In: Botana, F., Quaresma, P. (eds.) ADG 2014. LNCS (LNAI), vol. 9201, pp. 119–128. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21362-0_8CrossRef

15.

Quaresma, P., Santos, V., Graziani, P., Baeta, N.: Taxonomies of geometric problems. J. Symb. Comput. (2018, Submitted)

16.

Richter-Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Heidelberg (1999)MATH

17.

Santiago, E., Hendriks, M., Kreis, Y., Kortenkamp, U., Marquès, D.: I2G Common File Format Final Version, Technical report D3.10, The Intergeo Consortium (2010). http://i2geo.net/xwiki/bin/view/I2GFormat/

18.

Sutcliffe, G.: The 5th IJCAR automated theorem proving system competition - CASC-J5. AI Commun. 24(1), 75–89 (2011). http://dl.acm.org/citation.cfm?id=1937696.1937700MathSciNet

19.

Wang, D., Chen, X., An, W., Jiang, L., Song, D.: OpenGeo: an open geometric knowledge base. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol. 8592, pp. 240–245. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44199-2_38CrossRef

20.

Wang, K., Su, Z.: Automated geometry theorem proving for human-readable proofs. In: Proceedings of the 24th International Conference on Artificial Intelligence, IJCAI 2015, pp. 1193–1199. AAAI Press (2015). http://dl.acm.org/citation.cfm?id=2832249.2832414

21.

Ye, Z., Chou, S.-C., Gao, X.-S.: An introduction to Java geometry expert. In: Sturm, T., Zengler, C. (eds.) ADG 2008. LNCS (LNAI), vol. 6301, pp. 189–195. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21046-4_10CrossRef

Titel: Automatic Deduction in an AI Geometry Book
verfasst von: Pedro Quaresma
Verlag: Springer International Publishing
Buch: Artificial Intelligence and Symbolic Computation
Print ISBN: 978-3-319-99956-2

Electronic ISBN: 978-3-319-99957-9

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-99957-9_16

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"