Extending defeasible logic and defeasible prolog

Ahti Veikko Pietarinen

Extending defeasible logic and defeasible prolog

Ahti Veikko Pietarinen^*

^*Corresponding author for this work

Department of Religion and Philosophy

Research output: Chapter in book/report/conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings
Editors	Ramon Lopez de Mantaras, Lorenza Saitta
Publisher	IOS Press
Pages	1075-1076
Number of pages	2
ISBN (Print)	9781586034528
Publication status	Published - 22 Aug 2004
Event	16th European Conference on Artificial Intelligence, ECAI 2004 - Valencia, Spain Duration: 22 Aug 2004 → 27 Aug 2004 https://dl.acm.org/doi/proceedings/10.5555/3000001

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	110
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	16th European Conference on Artificial Intelligence, ECAI 2004
Country/Territory	Spain
City	Valencia
Period	22/08/04 → 27/08/04
Internet address	https://dl.acm.org/doi/proceedings/10.5555/3000001

Scopus Subject Areas

Artificial Intelligence

Access to Document

https://frontiersinai.com/ecai/ecai2004/ecai04/pdf/p1075.pdf

Cite this

Pietarinen, A. V. (2004). Extending defeasible logic and defeasible prolog. In R. L. de Mantaras, & L. Saitta (Eds.), ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings (pp. 1075-1076). (Frontiers in Artificial Intelligence and Applications; Vol. 110). IOS Press. https://frontiersinai.com/ecai/ecai2004/ecai04/pdf/p1075.pdf

@inproceedings{0e53461142414d0bab64bc92b48dcee4,

title = "Extending defeasible logic and defeasible prolog",

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.",

author = "Pietarinen, {Ahti Veikko}",

year = "2004",

month = aug,

day = "22",

language = "English",

isbn = "9781586034528",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "1075--1076",

editor = "{de Mantaras}, {Ramon Lopez} and Lorenza Saitta",

booktitle = "ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings",

address = "Netherlands",

note = "16th European Conference on Artificial Intelligence, ECAI 2004 ; Conference date: 22-08-2004 Through 27-08-2004",

url = "https://dl.acm.org/doi/proceedings/10.5555/3000001",

}

Pietarinen, AV 2004, Extending defeasible logic and defeasible prolog. in RL de Mantaras & L Saitta (eds), ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. Frontiers in Artificial Intelligence and Applications, vol. 110, IOS Press, pp. 1075-1076, 16th European Conference on Artificial Intelligence, ECAI 2004, Valencia, Spain, 22/08/04. <https://frontiersinai.com/ecai/ecai2004/ecai04/pdf/p1075.pdf>

Extending defeasible logic and defeasible prolog. / Pietarinen, Ahti Veikko.

ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. ed. / Ramon Lopez de Mantaras; Lorenza Saitta. IOS Press, 2004. p. 1075-1076 (Frontiers in Artificial Intelligence and Applications; Vol. 110).

Research output: Chapter in book/report/conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Extending defeasible logic and defeasible prolog

AU - Pietarinen, Ahti Veikko

PY - 2004/8/22

Y1 - 2004/8/22

N2 - 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.

AB - 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.

UR - https://www.iospress.com/catalog/books/ecai-2004

UR - https://dl.acm.org/doi/10.5555/3000001.3000265

UR - http://www.scopus.com/inward/record.url?scp=85017396509&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85017396509

SN - 9781586034528

T3 - Frontiers in Artificial Intelligence and Applications

SP - 1075

EP - 1076

BT - ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings

A2 - de Mantaras, Ramon Lopez

A2 - Saitta, Lorenza

PB - IOS Press

T2 - 16th European Conference on Artificial Intelligence, ECAI 2004

Y2 - 22 August 2004 through 27 August 2004

ER -

Extending defeasible logic and defeasible prolog

Abstract

Publication series

Conference

Scopus Subject Areas

Access to Document

Other files and links

Cite this