Lógica Posibilista
Date
2017-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"El trabajo de tesis está distribuido de la siguiente manera: en el capítulo 1 son presentadas las relaciones de posibilidad que son la base para las medidas de posibilidad y de necesidad. Se incluyen los aspectos formales que constituyen la Lógica Posibilista, donde las fórmulas son valuadas por una cota inferior en su grado de necesidad. Después, se considera una Lógica Posibilista general en el sentido de que sus fórmulas pueden tener pesos sobre una cota inferior, denominados grado de necesidad y grado de posibilidad. También se introduce un teorema de robustez y completitud. Posteriormente, en el capítulo 2 se presentan las de?niciones básicas de la programación lógica, así como la teoría de Answer Set Programming. Finalmente, presentamos la programación lógica posibilista, cuyas cláusulas presentan un peso de necesidad permitiendo la presencia de inconsistencia en los conjuntos de fórmulas".
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading