A possible worlds semantics is suggested for a broad class of nonmonotonic inference relations, including not only traditional skeptical ones, but also credulous and contraction inference. The semantics could be used to provide a canonical framework for studying and comparing different kinds of nonmonotonic inference.
CITATION STYLE
Bochman, A. (2001). Possible worlds semantics for credulous and contraction inference. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2174, pp. 94–105). Springer Verlag. https://doi.org/10.1007/3-540-45422-5_8
Mendeley helps you to discover research relevant for your work.