Abstract

This paper defends the use of possibility and necessity models based on the Logics of Formal Inconsistency, taking advantage of their expressivity in terms of the notions of consistency and inconsistency. The present proposal directly generalizes the approach of Besnard and Lang, whose main guidelines we borrow here. Some basic properties of possibility and necessity functions over the Logics of Formal Inconsistency are obtained and it is shown, by revisiting a paradigmatic example, how paraconsistent possibility and necessity reasoning can, in general, attain realistic models for artificial judgement. We will call such models credal calculi, emphasizing some of their appealing consequences.