Arrazola Ramírez, José Ramón EnriqueARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968Mazón Cambrón, Felipe2019-05-092019-05-092017-01https://hdl.handle.net/20.500.12371/206"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".pdfspaCiencias Físico Matemáticas y Ciencias de la TierraProgramación lógicaProgramación declarativaTesis de maestríaopenAccess