Artículos de revistas
Computing Abduction in Semantic Tableaux
Computing Abduction in Semantic Tableaux
Author
ALISEDA, ATOCHA
Institutions
Abstract
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. 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.