Computing Abduction in Semantic Tableaux
Computing Abduction in Semantic Tableaux
| dc.contributor | en-US | |
| dc.contributor | es-ES | |
| dc.creator | ALISEDA, ATOCHA | |
| dc.date | 2009-10-05 | |
| dc.date.accessioned | 2018-03-16T14:22:10Z | |
| dc.date.available | 2018-03-16T14:22:10Z | |
| dc.identifier | http://ojs.unam.mx/index.php/cys/article/view/2442 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1190315 | |
| dc.description | THE AIM OF TIS PAPER IS TO PROPOSE A WAY TO EXTEND THE FRAMEWORK OF SEMANTIC TABLEAUX IN ORDEN TO COMPUTE SEVERAL FORMS OF ABDUCTIVE EXPLANATIONS: ATOMIC, CONJUCTIVE AND IN DISJUNTIVE FORM. OUR FOCUS IS ON COMPUTING CONSISTENT EXPLANATIONS. THAT IS, FORMULAS WHICH ATISFY THE ENTOILMENT AND THE CONSISTENCY CONDITION OF THE ATANDARD LOGICAL FORMULATION OF ABDUCTION. OUR STATEGY FOR COMPUTING ABDUCTIVE EXPLANATIONS AVOIDS THE CONSTRUCTION OG INCONSISTENCIES AND IT IS DONE IN A COMPLEX FORMS ARE CONSTRUCTED FROM SIMPLERS ONES. THIS ALLOWS US TO IDENTIFY SPECIAL CASES, FOR EXAMPLE THAT IN WHICH THERE ARE NO CONSISTENT ATOMIC EXPLANATIONS WHATSOEVER. | en-US |
| dc.description | THE AIM OF TIS PAPER IS TO PROPOSE A WAY TO EXTEND THE FRAMEWORK OF SEMANTIC TABLEAUX IN ORDEN TO COMPUTE SEVERAL FORMS OF ABDUCTIVE EXPLANATIONS: ATOMIC, CONJUCTIVE AND IN DISJUNTIVE FORM. OUR FOCUS IS ON COMPUTING CONSISTENT EXPLANATIONS. THAT IS, FORMULAS WHICH ATISFY THE ENTOILMENT AND THE CONSISTENCY CONDITION OF THE ATANDARD LOGICAL FORMULATION OF ABDUCTION. OUR STATEGY FOR COMPUTING ABDUCTIVE EXPLANATIONS AVOIDS THE CONSTRUCTION OG INCONSISTENCIES AND IT IS DONE IN A COMPLEX FORMS ARE CONSTRUCTED FROM SIMPLERS ONES. THIS ALLOWS US TO IDENTIFY SPECIAL CASES, FOR EXAMPLE THAT IN WHICH THERE ARE NO CONSISTENT ATOMIC EXPLANATIONS WHATSOEVER. | es-ES |
| dc.format | application/pdf | |
| dc.language | spa | |
| dc.publisher | Computación y Sistemas | es-ES |
| dc.relation | http://ojs.unam.mx/index.php/cys/article/view/2442/2004 | |
| dc.source | Computación y Sistemas; Vol 2, No 001 (1998) | es-ES |
| dc.source | 1405-5546 | |
| dc.subject | ABDUCTION; ABDUCTIVE PROGRAMMING; SEMANTIC TABLEAUX | en-US |
| dc.subject | es-ES | |
| dc.title | Computing Abduction in Semantic Tableaux | en-US |
| dc.title | Computing Abduction in Semantic Tableaux | es-ES |
| dc.type | Artículos de revistas | |
| dc.type | Artículos de revistas |