Metamodeling abduction

Abstract

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 deductive relations

Keywords

• abduction, explicative relations, pivotal consequences, structural rules