A logic of default justifications

Stipe Pandzic

    OnderzoeksoutputAcademicpeer review

    163 Downloads (Pure)


    We define a logic of default justifications that relies on operational semantics. One of the key features that is absent in standard justification logics is the possibility to weigh different epistemic reasons or pieces of evidence that might conflict with one another. To amend this inadequacy, we develop a semantics for “defeaters”: conflicting reasons forming a basis to doubt the original conclusion or to believe an opposite statement. Our logic is able to address interactions of normal defaults without relying on priorities among default rules and introduces the possibility of extension revision for normal default theories.
    Originele taal-2English
    Titel17th International Workshop on Nonmonotonic Reasoning (NMR 2018)
    RedacteurenEduardo Fermé, Serena Villata
    Aantal pagina's10
    StatusPublished - 2018
    Evenement17th International Workshop on Nonmonotonic Reasoning - Tempe, United States
    Duur: 27-okt-201829-okt-2018


    Conference17th International Workshop on Nonmonotonic Reasoning
    Verkorte titelNMR 2018
    Land/RegioUnited States
    Internet adres

    Citeer dit