Metamodeling abduction

Abstract

Abduction can be intended as a special kind of deductive consequence. In fact a general trend is to consider it as a backward deduction with some additional conditions. However, there can be more than one kind of deduction, so that any definition of abduction must take that into account. From a logical perspective the problem is precisely the formalization of conditions when the deductive consequence is fixed. In this paper, we adopt Makinson's method to define new consequence relations, hence abduction is defined as a reverse relation corresponding to each one of such relations.