Abduction through semantic tableaux versus abduction through goal-directed proofs
In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of the Basque Country
2009-12-01
|
| Series: | Theoria |
| Subjects: | |
| Online Access: | http://www.ehu.es/ojs/index.php/THEORIA/article/view/450 |
| _version_ | 1828832910914879488 |
|---|---|
| author | Joke Meheus Dagmar Provijn |
| author_facet | Joke Meheus Dagmar Provijn |
| author_sort | Joke Meheus |
| collection | DOAJ |
| description | In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach |
| first_indexed | 2024-12-12T17:03:54Z |
| format | Article |
| id | doaj.art-97a9b74205f4470bbb57f51947df29d3 |
| institution | Directory Open Access Journal |
| issn | 0495-4548 2171-679X |
| language | English |
| last_indexed | 2024-12-12T17:03:54Z |
| publishDate | 2009-12-01 |
| publisher | University of the Basque Country |
| record_format | Article |
| series | Theoria |
| spelling | doaj.art-97a9b74205f4470bbb57f51947df29d32022-12-22T00:18:03ZengUniversity of the Basque CountryTheoria0495-45482171-679X2009-12-0122329530410.1387/theoria.450456Abduction through semantic tableaux versus abduction through goal-directed proofsJoke MeheusDagmar ProvijnIn this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approachhttp://www.ehu.es/ojs/index.php/THEORIA/article/view/450abduction, semantic tableaux, goal-directed proof procedures |
| spellingShingle | Joke Meheus Dagmar Provijn Abduction through semantic tableaux versus abduction through goal-directed proofs Theoria abduction, semantic tableaux, goal-directed proof procedures |
| title | Abduction through semantic tableaux versus abduction through goal-directed proofs |
| title_full | Abduction through semantic tableaux versus abduction through goal-directed proofs |
| title_fullStr | Abduction through semantic tableaux versus abduction through goal-directed proofs |
| title_full_unstemmed | Abduction through semantic tableaux versus abduction through goal-directed proofs |
| title_short | Abduction through semantic tableaux versus abduction through goal-directed proofs |
| title_sort | abduction through semantic tableaux versus abduction through goal directed proofs |
| topic | abduction, semantic tableaux, goal-directed proof procedures |
| url | http://www.ehu.es/ojs/index.php/THEORIA/article/view/450 |
| work_keys_str_mv | AT jokemeheus abductionthroughsemantictableauxversusabductionthroughgoaldirectedproofs AT dagmarprovijn abductionthroughsemantictableauxversusabductionthroughgoaldirectedproofs |