Due to a proliferation and diversity of approaches to reasoning with prioritized rules, ordinary properties have been introduced recently for characterization and evaluation of the proposed semantics. While ordinary properties are helpful, a fundamental question of whether they are sufficient to identify a common semantics underlining reasoning with priorities remains open. In this paper we address this question by introducing a new simple and intuitive property of inconsistency-resolving and slightly adapting other ordinary properties to show that they together indeed determine an unique canonical attack relation that could be viewed as defining an uniquely defined common semantics for reasoning with prioritized rules.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com