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...
Gespeichert in:
| Veröffentlicht in: | THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia |
|---|---|
| Hauptverfasser: | , |
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Universidad del País Vasco/Euskal Herriko Unibertsitatea
2007
|
| Schlagworte: | |
| Online-Zugang: | https://www.redalyc.org/articulo.oa?id=339730804005 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|