Defeasible logic with dynamic priorities

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation, and it shows promise to be deployed successfully in applications. So far, only static priorities have been used, provided by an external superiority relation. In this article we show how dynamic priorities can be integrated, where priority information is obtained from the deductive process itself. Dynamic priorities have been studied for other related reasoning systems such as default logic and argumentation. We define a proof theory, study its formal properties, and provide an argumentation semantics.

LanguageEnglish
Pages463-472
Number of pages10
JournalInternational Journal of Intelligent Systems
Volume19
Issue number5
Early online date1 Apr 2004
DOIs
Publication statusPublished - 1 May 2004
Externally publishedYes

Fingerprint

Logic
Argumentation
Semantics
Default Logic
Nonmonotonic Reasoning
Proof Theory
Efficient Implementation
Reasoning

Cite this

@article{cb95f24edded4f3b82a37e52f2ae23f4,
title = "Defeasible logic with dynamic priorities",
abstract = "Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation, and it shows promise to be deployed successfully in applications. So far, only static priorities have been used, provided by an external superiority relation. In this article we show how dynamic priorities can be integrated, where priority information is obtained from the deductive process itself. Dynamic priorities have been studied for other related reasoning systems such as default logic and argumentation. We define a proof theory, study its formal properties, and provide an argumentation semantics.",
author = "Grigoris Antoniou",
year = "2004",
month = "5",
day = "1",
doi = "10.1002/int.20008",
language = "English",
volume = "19",
pages = "463--472",
journal = "International Journal of Intelligent Systems",
issn = "0884-8173",
publisher = "John Wiley and Sons Ltd",
number = "5",

}

Defeasible logic with dynamic priorities. / Antoniou, Grigoris.

In: International Journal of Intelligent Systems, Vol. 19, No. 5, 01.05.2004, p. 463-472.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Defeasible logic with dynamic priorities

AU - Antoniou, Grigoris

PY - 2004/5/1

Y1 - 2004/5/1

N2 - Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation, and it shows promise to be deployed successfully in applications. So far, only static priorities have been used, provided by an external superiority relation. In this article we show how dynamic priorities can be integrated, where priority information is obtained from the deductive process itself. Dynamic priorities have been studied for other related reasoning systems such as default logic and argumentation. We define a proof theory, study its formal properties, and provide an argumentation semantics.

AB - Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation, and it shows promise to be deployed successfully in applications. So far, only static priorities have been used, provided by an external superiority relation. In this article we show how dynamic priorities can be integrated, where priority information is obtained from the deductive process itself. Dynamic priorities have been studied for other related reasoning systems such as default logic and argumentation. We define a proof theory, study its formal properties, and provide an argumentation semantics.

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

U2 - 10.1002/int.20008

DO - 10.1002/int.20008

M3 - Article

VL - 19

SP - 463

EP - 472

JO - International Journal of Intelligent Systems

T2 - International Journal of Intelligent Systems

JF - International Journal of Intelligent Systems

SN - 0884-8173

IS - 5

ER -