15th European Conference on Artificial Intelligence
|July 21-26 2002 Lyon France|
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.