CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Representación semántica de lenguaje natural en el dominio de fórmulas lógicas / Diego Piloni.

By: Piloni, Diego Ricardo, 1994-.
Contributor(s): Pagano, Miguel María, 1979- [dir.] | Vilela, Demetrio Martín, 1969- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2018Description: ii,72 h. : il. col. ; 30 cm.Subject(s): Mathematical Logic | Grammars and Other Rewriting Systems: Grammar Types, Parsing | Formal Languages | Natural Language Processing: Language models, Language parsing and understanding | Lógica de primer orden | Procesamiento de Lenguaje Natural | Gramáticas | Grammatical FrameworkOnline resources: Acceso a RDU-UNC Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018. Summary: Este 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. Summary: This 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C PIL https://rdu.unc.edu.ar/handle/11086/10761 1 Available Disponible también en línea 23419
Total holds: 0

Bajo una Licencia Creative Commons Atribución-CompartirIgual 4.0 International.

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2018.

Bibliografía: h. 70-71.

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

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

Firma del Tribunal : Doctores Martin Ariel Dominguez, Miguel María Pagano y Franco Martìn Luque al final del trabajo.

Click on an image to view it in the image viewer

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//