Abductive Reasoning in a Paraconsistent Framework