Dynamics of Defeasible and Tentative Inference

Patrick Allo

    Research output: Contribution to journalConference paper

    Abstract

    Standard refinements of epistemic and doxastic logics that avoid the problems of logical and deductive omniscience cannot easily be generalised to default reasoning. This is even more so when defeasible reasoning is understood as tentative reasoning; an understanding that is inspired by the dynamic proofs of adaptive logic. In the present paper we extend the abnormality (preference) models for adaptive consequence with a set of open worlds to account for this type of inferential dynamics. In doing so, we argue that unlike for mere deductive reasoning, tentative inference cannot be modelled without such open worlds.
    Original languageEnglish
    Pages (from-to)155-165
    Number of pages11
    JournalLecture Notes in Computer Science
    Volume7758
    Publication statusPublished - 2013
    Event9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011 - Kutaisi, Georgia
    Duration: 26 Sept 201130 Sept 2011

    Keywords

    • adaptive Logic
    • awareness
    • defeasible logic
    • modal logic
    • omniscience
    • open worlds

    Fingerprint

    Dive into the research topics of 'Dynamics of Defeasible and Tentative Inference'. Together they form a unique fingerprint.

    Cite this