000 03254nam a22003737a 4500
999 _c18828
_d18826
003 AR_CdUFM
005 20190222130825.0
008 181227s2018 ag ||||| |||| 00| 0 spa d
040 _aAR_CdUFM
_cAR_CdUFM
100 1 _922792
_aPiloni, Diego Ricardo,
_d1994-
245 1 0 _aRepresentación semántica de lenguaje natural en el dominio de fórmulas lógicas /
_cDiego Piloni.
260 _a[S.l. :
_bs.n. ],
_c2018.
300 _aii,72 h. :
_bil. col. ;
_c30 cm.
500 _aBajo una Licencia Creative Commons Atribución-CompartirIgual 4.0 International.
502 _aTesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.
504 _aBibliografía: h. 70-71.
520 _aEste trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, Proof and Logic” utilizando datos empíricos (Barker-Plummer, 2008). Si bien existen propuestas didácticas con soportes informáticos para el aprendizaje de lógica (Barrionuevo, 2008), la mayoría se centra o bien en los sistemas deductivos o bien en la semántica formal de fórmulas lógicas. Pareciera, por lo tanto, que faltan soportes digitales que transparenten las dificultades inherentes a la traducción de lenguajes naturales al lenguaje simbólico. El objetivo principal de este trabajo es desarrollar una herramienta didáctica informática que facilite la adquisición del lenguaje formal de lógica de primer orden.
520 _aThis final degree project starts from the assumption that learning the formal symbolic language of logic is often problematic (Oller, 2006). Some aspects of this difficulty are analyzed by the authors of “Language, Proof and Logic” using empirical evidence (Barker-Plummer, 2008). Although there are didactic proposals with digital support for learning logic (Barrionuevo, 2008), most of them focus either on deductive systems or on the formal semantics of logical formulas. It seems, therefore, that there is a lack of digital tools that make evident the difficulties in the translation of natural languages into symbolic languages. The main objective of this work is to develop a tool that facilitates the acquisition of the formal language of first order logic.
650 4 _aMathematical Logic
650 4 _aGrammars and Other Rewriting Systems: Grammar Types, Parsing
650 4 _aFormal Languages
650 4 _aNatural Language Processing: Language models, Language parsing and understanding
653 _aLógica de primer orden
653 _aProcesamiento de Lenguaje Natural
653 _aGramáticas
653 _aGrammatical Framework
700 1 _912883
_aPagano, Miguel María,
_d1979- ,
_edir.
700 1 _917873
_aVilela, Demetrio Martín,
_d1969- ,
_edir.
856 _uhttps://rdu.unc.edu.ar/handle/11086/10761
_yAcceso a RDU-UNC
942 _2
_cTRAB. ESP.
945 _aMEG
_d2018-12-27
945 _aMBO
_d2019-02-22