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

Mostrar todas las versiones(2)

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Piloni, Diego
Otros Autores: Pagano, Miguel María
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2018
Materias:
Mathematical Logic
Formal Languages
Natural Language Processing
Acceso en línea:http://hdl.handle.net/11086/10761
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-10761
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Mathematical Logic
Formal Languages
Natural Language Processing
spellingShingle Mathematical Logic
Formal Languages
Natural Language Processing
Piloni, Diego
Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
topic_facet Mathematical Logic
Formal Languages
Natural Language Processing
description 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
author2 Pagano, Miguel María
author_facet Pagano, Miguel María
Piloni, Diego
format bachelorThesis
author Piloni, Diego
author_sort Piloni, Diego
title Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
title_short Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
title_full Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
title_fullStr Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
title_full_unstemmed Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
title_sort representación semántica de lenguaje natural en el dominio de fórmulas lógicas
publishDate 2018
url http://hdl.handle.net/11086/10761
work_keys_str_mv AT pilonidiego representacionsemanticadelenguajenaturaleneldominiodeformulaslogicas
bdutipo_str Repositorios
_version_ 1764820390871302147

Ejemplares similares