Extending defeasible logic and defeasible prolog

Ahti Veikko Pietarinen*

*Corresponding author for this work

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

Abstract

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
Pages1075-1076
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
https://dl.acm.org/doi/proceedings/10.5555/3000001

Publication series

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

Conference

Conference16th European Conference on Artificial Intelligence, ECAI 2004
Country/TerritorySpain
CityValencia
Period22/08/0427/08/04
Internet address

Scopus Subject Areas

  • Artificial Intelligence

Cite this