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...
Zapisane w:
| Wydane w: | THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia |
|---|---|
| Główni autorzy: | , |
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
Universidad del País Vasco/Euskal Herriko Unibertsitatea
2007
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://www.redalyc.org/articulo.oa?id=339730804005 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|