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...
Salvato in:
| Pubblicato in: | THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia |
|---|---|
| Autori principali: | , |
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
Universidad del País Vasco/Euskal Herriko Unibertsitatea
2007
|
| Soggetti: | |
| Accesso online: | https://www.redalyc.org/articulo.oa?id=339730804005 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|