Por favor, use este identificador para citar o enlazar este ítem:
http://cicese.repositorioinstitucional.mx/jspui/handle/1007/3166| Manejo de la negación en programación lógica. | |
| Sonia Favela Vara | |
| Jose Alfredo Amor Montano | |
| Acceso Abierto | |
| Atribución | |
| Programción lógica | |
| Se analizan las distintas propuestas para atacar el problema de la negación en Programación Lógica. Al principio, se da una presentación de lo que es Programación Lógica, su funcionamiento y resultados generales, para tener un conocimiento uniforme y una notación estandarizada para el estudio subsecuente. La Programación Lógica es un sistema de deducción, basado en la lógica de primer orden, que puede ser automatizado en una computadora. Un programa lógico se compone de cláusulas definidas o cláusulas de programa de las que no se puede deducir ningún conocimiento negativo como consecuencia lógica, por esto surge la necesidad de dar significado extra-lógico de tal manera que se puedan inferir negaciones. Los significados que se exponen en el presente trabajo son la suposición del Mundo Cerrado, la Completación de un programa, la Circunscripción, la Suposición del Mundo Cerrado Generalizada y la Negación por Fracaso. Se dan su definición, resultados de consistencia y las relaciones entre ellos. También se da a conocer la Negación por Inconsistencia que aumenta tipos de fórmulas a los programas y así se deduce conocimiento negativo como consecuencia lógica del programa, utilizando sólo la lógica de primer orden. La Negación por Fracaso es la regla que se utiliza en PROLOG por medio de la resolución-LSDNF, así es que se explica de una forma amplia, dando resultados de correctez y completez y algunas semánticas para ella. | |
| CICESE | |
| 1989 | |
| Tesis de maestría | |
| Español | |
| Favela Vara, S. 1989.Manejo de la negación en programación lógica. Tesis de Maestría en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California. 137 pp. | |
| TECNOLOGÍA DE LAS TELECOMUNICACIONES | |
| Aparece en las colecciones: | Tesis - Ciencias de la Computación |
Cargar archivos:
| Fichero | Tamaño | Formato | |
|---|---|---|---|
| 71101.pdf | 26.3 MB | Adobe PDF | Visualizar/Abrir |