Lógica Posibilista
| dc.audience | generalPublic | |
| dc.audience | generalPublic | |
| dc.contributor | Arrazola Ramírez, José Ramón Enrique | |
| dc.contributor.advisor | ARRAZOLA RAMIREZ, JOSE RAMON ENRIQUE; 15968 | |
| dc.contributor.author | Mazón Cambrón, Felipe | |
| dc.creator | MAZON CAMBRON, FELIPE; 294411 | |
| dc.date.accessioned | 2019-05-09T14:07:55Z | |
| dc.date.available | 2019-05-09T14:07:55Z | |
| dc.date.issued | 2017-01 | |
| dc.description.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". | |
| dc.folio | 19717T | |
| dc.format | ||
| dc.identificator | 1 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12371/206 | |
| dc.language.iso | spa | |
| dc.matricula.creator | 294700076 | |
| dc.publisher | Benemérita Universidad Autónoma de Puebla | |
| dc.rights.acces | openAccess | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4 | |
| dc.subject.classification | Ciencias Físico Matemáticas y Ciencias de la Tierra | |
| dc.subject.lcc | Programación lógica | |
| dc.subject.lcc | Programación declarativa | |
| dc.thesis.career | Maestría en Ciencias (Matemáticas) | |
| dc.thesis.degreediscipline | Área de Ingeniería y Ciencias Exactas | |
| dc.thesis.degreegrantor | Facultad de Ciencias Físico Matemáticas | |
| dc.thesis.degreetoobtain | Maestro (a) en Ciencias (Matemáticas) | |
| dc.title | Lógica Posibilista | |
| dc.type | Tesis de maestría | |
| dc.type.conacyt | masterThesis | |
| dc.type.degree | Maestría |
Files
Original bundle
1 - 1 of 1