Extending defeasible logic and defeasible prolog

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 (Electronic)9781586034528
Publication statusPublished - Jan 1 2004
Event16th European Conference on Artificial Intelligence, ECAI 2004 - Valencia, Spain
Duration: Aug 22 2004Aug 27 2004

Publication series

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

Conference

Conference16th European Conference on Artificial Intelligence, ECAI 2004
CountrySpain
CityValencia
Period8/22/048/27/04

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this