Abstract | ||
---|---|---|
This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint (but not necessarily exhaustive). Where an explanandum ca... |
Year | DOI | Venue |
---|---|---|
2006 | 10.1093/jigpal/jzk015 | Logic Journal of the IGPL |
Keywords | Field | DocType |
abduction,adaptive logic,dynamic reasoning | Default logic,Automated reasoning,Programming language,Computer science,Proof theory,Abductive logic programming,Non-monotonic logic,Abductive reasoning,Artificial intelligence,Deductive reasoning,Philosophy of logic | Journal |
Volume | Issue | ISSN |
14 | 2 | 1367-0751 |
Citations | PageRank | References |
11 | 0.86 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joke Meheus | 1 | 80 | 11.00 |
Diderik Batens | 2 | 148 | 20.23 |