Fundamentos lógicos de la programación declarativa
Data(s) |
1994
|
---|---|
Resumo |
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. |
Formato |
text/html |
Identificador |
http://funes.uniandes.edu.co/7750/1/fundamentos-logicos-de-la.html Quesada, José (1994). Fundamentos lógicos de la programación declarativa. SUMA, 14 y 15, pp. 9-17 . |
Publicador |
Federación Española de Sociedades de Profesores de Matemáticas |
Relação |
http://revistasuma.es http://funes.uniandes.edu.co/7750/ |
Palavras-Chave | #Lógica #Teoremas #Recursos informáticos |
Tipo |
Artículo PeerReviewed |