Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
| Autor: | Alonso Jiménez, José Antonio, Borrego Díaz, Joaquín |
|---|---|
| Přispěvatelé: | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla. TIC137: Logica, Computacion e Ingenieria del Conocimiento |
| Jazyk: | Spanish; Castilian |
| Rok vydání: | 2002 |
| Zdroj: | idUS. Depósito de Investigación de la Universidad de Sevilla instname |
| Popis: | Este libro constituye el primer volumen de una serie sobre deducción automática. Su objetivo es la presentación de Prolog como un sistema de deducción automática y la construcción en Prolog de sistemas de deducción proposicional. En el primer capítulo presentamos la programación lógica en Prolog como una aplicación de la deducción automática a la vez que se introducen los conocimientos de Prolog necesarios en los siguientes capítulos del libro. En el segundo capítulo se formaliza en Prolog los conceptos básicos de la lógica proposicional y se muestra cómo pueden resolverse algunos problemas con OTTER y MACE. En el tercer capítulo se construyen en Prolog distintos cálculos lógicos proposicionales. En los siguientes volúmenes continuaremos la construcción de sistemas lógicos (para la lógica de primer orden con igualdad), estudiaremos el razonamiento asistido por ordenador (con OTTER, MACE y ACL2) y aplicaciones del razonamiento automático. El material de este volumen y los siguientes forma parte de cursos impartidos por los autores en el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Se puede acceder a dichos cursos en la Red a través de http://www.cs.us.es/~jalonso. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|