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...
Na minha lista:
| Publicado no: | THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia |
|---|---|
| Principais autores: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Universidad del País Vasco/Euskal Herriko Unibertsitatea
2007
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=339730804005 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|