ECAI-2002 Conference Paper

[full paper]

Defeasible Logic with Dynamic Priorities

Grigoris Antoniou

Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation, and it shows promise to be successfully deployed in applications. So far only static priorities have been used, provided by an external superiority relation. In this paper 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.

Keywords: Nonmonotonic Reasoning, Knowledge Representation, Logic Programming

Citation: Grigoris Antoniou: Defeasible Logic with Dynamic Priorities. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.521-525.