Metamodeling abduction
A general trend is to consider abduction as a backward deduction with some additional conditions, but there can be more than one kind of deduction. By adopting Makinson’s method to define deductive consequence relations, abduction is settled as a reverse one corresponding to each one of such deducti...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of the Basque Country
2009-12-01
|
| Series: | THEORIA : an International Journal for Theory, History and Fundations of Science |
| Subjects: | |
| Online Access: | http://www.ehu.es/ojs/index.php/THEORIA/article/view/449 |