Discurso informal matemático: enfoques, métodos, técnicas y tendencias

El Discurso Informal Matematico (DIM) se caracteriza por la mezcla entre lenguaje natural y las expresiones simbolicas que se presentan en el contexto de los libros de textos, en las publicaciones matematicas y en las demostraciones matematicas. En la actualidad el discurso informal matematico esta siendo abordado desde tres grandes areas de trabajo; una primera, la asistencia y chequeo automatico de teoremas; una segunda, la automatizacion de los fenomenos linguisticos que se presentan en las demostraciones matematicas; y una tercera, que tiene que ver con la gestion del conocimiento matematico sobre grandes corpus de textos matematicos. En este articulo se exponen los metodos, tecnicas y tendencias sobre el DIM con el fin de mostrar la aplicabilidad de diversas teorias linguistico-computacionales de manera que sirvan de punto de partida para el desarrollo de proyectos futuros.

[1]  Eugene Charniak,et al.  Computer Solution of Calculus Word Problems , 1969, IJCAI.

[2]  Michael Kohlhase,et al.  An Open Markup Format for Mathematical Documents , 2010 .

[3]  Lawrence Charles Paulson,et al.  Isabelle/HOL: A Proof Assistant for Higher-Order Logic , 2002 .

[4]  Christophe Raffalli,et al.  MathNat-Mathematical Text in a Controlled Natural Language , 2010 .

[5]  Stephen M. Watt,et al.  Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.

[6]  C. Fox.  Vernacular Mathematics, Discourse Representation, and Arbitrary Objects , 2007 .

[7]  Michael Kohlhase,et al.  An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus , 2009, GI Jahrestagung.

[8]  Serge Autexier,et al.  PLATΩ : A Mediator between Text-Editors and Proof Assistance Systems , 2006 .

[9]  Michael Kohlhase,et al.  Towards a Mizar Mathematical Library in OMDoc Format , 2007 .

[10]  Donald E. Knuth,et al.  The TeXbook , 1984 .

[11]  de Ng Dick Bruijn,et al.  The mathematical language AUTOMATH, its usage, and some of its extensions , 1970 .

[12]  W. Bledsoe,et al.  Checking number theory proofs in natural language , 1990 .

[13]  Daniel G. Bobrow,et al.  Natural Language Input for a Computer Problem Solving System , 1964 .

[14]  Zhaohui Luo,et al.  Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language , 1997, LACL.

[15]  Petr Sgall,et al.  The Meaning Of The Sentence In Its Semantic And Pragmatic Aspects , 1986 .

[16]  Rp Rob Nederpelt.  Weak Type Theory : a formal language for mathematics , 2002 .

[17]  Claus Zinn,et al.  Understanding informal mathematical discourse , 2004 .

[18]  Magdalena Wolska,et al.  A Language Engineering Architecture for Processing Informal Mathematical Discourse , 2008 .

[19]  Patrick Suppes,et al.  Institute for Mathematical Studies in the Social Sciences , 1969 .

[20]  Mihai Grigore,et al.  Towards context-based disambiguation of mathematical expressions , 2009 .

[21]  François Lamarche,et al.  Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics , 1997 .

[22]  Rance Cleaveland,et al.  Implementing mathematics with the Nuprl proof development system , 1986 .

[23]  Tomek Strzalkowski,et al.  From Discourse to Logic , 1991 .

[24]  Ivana Kruijff-Korbayová,et al.  A Hybrid Logic Formalization of Information Structure Sensitive Discourse Interpretation , 2001, TSD.

[25]  J. Siekmann,et al.  Computer supported mathematics with MEGA , 2005 .

[26]  Jan Friso Groote.  Towards a Formal Mathematical Vernacular , 1992 .

[27]  Aarne Ranta,et al.  Type Theory and the Informal Language of Mathematics , 1994, TYPES.

[28]  Peter Koepke,et al.  Premise Selection in the Naproche System , 2010, IJCAR.

[29]  Aarne Ranta,et al.  An Extensible Proof Text Editor , 2000, LPAR.

[30]  Peter Koepke,et al.  The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts , 2009, CNL.

[31]  Ivana Kruijff-Korbayová,et al.  An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving , 2004, LREC.

[32]  Michael Strube,et al.  Multi-Level Annotation in MMAX , 2003, SIGDIAL Workshop.

[33]  Fairouz Kamareddine,et al.  Gradual Computerisation/Formalisation of Mathematical Texts into Mizar , 2007 .

[34]  Piotr Rudnicki,et al.  An Overview of the MIZAR Project , 1992 .

[35]  Carlos Mario Zapata Jaramillo,et al.  Revisión crítica de la literatura especializada en lenguajes controlados , 2008, Rev. Avances en Sistemas Informática.