Extending defeasible logic and defeasible prolog

Ahti Veikko Pietarinen*

*Corresponding author for this work

    Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review


    Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-Prolog) is a Prolog metainterpreter to implement DL. We give proof conditions for the even-if clauses of DL with the pre-emption of defeaters to prevent rules from rebutting more specific rules, implemented in d-Prolog.

    Original languageEnglish
    Title of host publicationECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings
    EditorsRamon Lopez de Mantaras, Lorenza Saitta
    PublisherIOS Press
    Number of pages2
    ISBN (Print)9781586034528
    Publication statusPublished - 22 Aug 2004
    Event16th European Conference on Artificial Intelligence, ECAI 2004 - Valencia, Spain
    Duration: 22 Aug 200427 Aug 2004

    Publication series

    NameFrontiers in Artificial Intelligence and Applications
    ISSN (Print)0922-6389
    ISSN (Electronic)1879-8314


    Conference16th European Conference on Artificial Intelligence, ECAI 2004
    Internet address

    Scopus Subject Areas

    • Artificial Intelligence

    Cite this