Uniandes
Funes
Ministerio de Educacion
Funes

Fundamentos lógicos de la programación declarativa

Quesada, José (1994). Fundamentos lógicos de la programación declarativa. SUMA, 14 y 15, pp. 9-17 .

[img]HTML - Versión Publicada
Disponible bajo la licencia Creative Commons No Comercial Sin Derivar.

21Kb

URL Oficial: http://revistasuma.es

Resumen

El objetivo del artículo es el estudio de los fundamentos lógicos que están en la base de gran cantidad de sistemas de razonamiento automático, y que suponen una estrategia computacionalmente viable para la demostración de teoremas o el diseño de motores inferenciales (Prolog). En concreto se presenta la forma clausal. en tanto que formalismo para la representación de conocimiento, y el principio de resolución, como mecanismo inferencia! que asegura la completud y corrección lógicas.

Tipo de Registro:Artículo
Términos clave:13. Matemáticas escolares > _Otros temas de matemáticas escolares > Lógica
13. Matemáticas escolares > Geometría > Teoremas
03. Aula > Recursos didácticos > Recursos informáticos
Nivel Educativo:Título de grado universitario
Código ID:7750
Depositado Por:Nelly Martínez
Depositado En:07 Dic 2015 11:18
Fecha de Modificación Más Reciente:02 Nov 2016 09:52
Valoración:

Personal del repositorio solamente: página de control del documento


Comentarios

Agregar Comentario