Change search
ReferencesLink to record
Permanent link

Direct link
The co-occurrence test for non-monotonic inference
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2016 (English)In: Artificial Intelligence, ISSN 0004-3702, E-ISSN 1872-7921, Vol. 234, 190-195 p.Article in journal (Refereed) PublishedText
Abstract [en]

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.
Keyword [en]
Co-occurrence test, Ramsey test, Conditionals, Non-monotonic inference, Belief revision, Descriptor revision
National Category
Computer Science
Identifiers
URN: 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
Note

QC 20160420

Available from: 2016-04-20 Created: 2016-04-18 Last updated: 2016-04-20Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
Philosophy
In the same journal
Artificial Intelligence
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 4 hits
ReferencesLink to record
Permanent link

Direct link