Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs
In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up t...
محفوظ في:
| الحاوية / القاعدة: | THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia |
|---|---|
| المؤلفون الرئيسيون: | , |
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
Universidad del País Vasco/Euskal Herriko Unibertsitatea
2007
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.redalyc.org/articulo.oa?id=339730804005 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|