The co-occurrence test for non-monotonic inference
2016 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 234, 190-195 p.Article in journal (Refereed) PublishedText
According to the co-occurrence test, q is (non-monotonically) inferrible from p if and only if q holds in all the reasonably plausible belief change outcomes in which p holds. A formal model is introduced that contains representations of both the co-occurrence test (for non-monotonic inference) and the Ramsey test (for conditionals). In this model, (non-nested) conditionals and non-monotonic inference satisfy the same logical principles. However, in spite of this similarity the two notions do not coincide. They should be carefully distinguished from each other.
Place, publisher, year, edition, pages
Elsevier, 2016. Vol. 234, 190-195 p.
Co-occurrence test, Ramsey test, Conditionals, Non-monotonic inference, Belief revision, Descriptor revision
IdentifiersURN: urn:nbn:se:kth:diva-185336DOI: 10.1016/j.artint.2016.01.012ISI: 000372683700007ScopusID: 2-s2.0-84957547050OAI: oai:DiVA.org:kth-185336DiVA: diva2:921297
QC 201604202016-04-202016-04-182016-04-20Bibliographically approved