Aplicación de la teoría de la actividad a la formalización de enunciados con lógica de predicados: un primer acercamiento
Tipo de documento
Autores
Lista de autores
Ramírez, Luis y Azcárate, Carmen
Resumen
En este trabajo se describe una investigación en curso, en que se aborda una de las problemáticas que se presenta en los cursos de lógica o inteligencia artificial, en el tema de representación del conocimiento. Cuando se pide a los estudiantes formalizar enunciados del lenguaje común (natural) con el lenguaje de la lógica de predicados. Se describen algunos de los errores identificados con alumnos del nivel superior y se aplica la teoría de la actividad para caracterizar la habilidad de traducir enunciados del lenguaje común (natural) a fórmulas bien formadas del lenguaje de la Lógica de predicados. Se propone una base de orientación que se deben usar al resolver los problemas de formalización (traducción) que se plantean en los cursos mencionados.
Fecha
2003
Tipo de fecha
Estado publicación
Términos clave
Enfoque
Nivel educativo
Idioma
Revisado por pares
Formato del archivo
Volumen
16
Número
1
Rango páginas (artículo)
205-211
ISSN
9568298010