On the Learnability of Possibilistic Theories
  We investigate learnability of possibilistic theories from entailments in
light of Angluin's exact learning model. We consider cases in which only
membership, only equivalence, and both kinds of queries can be posed by the
learner. We then show that, for a large class of problems, polynomial time
learnability results for classical logic can be transferred to the respective
possibilistic extension. In particular, it follows from our results that the
possibilistic extension of propositional Horn theories is exactly learnable in
polynomial time. As polynomial time learnability in the exact model is
transferable to the classical probably approximately correct model extended
with membership queries, our work also establishes such results in this model.
