On Specificity in Default Logic
Abstract
The applicability of lexicographic comparison in nonmonotonic reasoning with specificity is investigated. A priority mechanism based on lexicographic comparison is defined for Reiter's default logic. The following principle earlier used by Geffner and Pearl in conditional entailment is used as the basis for specificity-based priorities for normal default theories: for each rule there is a context where it may not be defeated by any other rule. A method for computing priorities according to the principle is given. Connection to earlier work is discussed.
Cite
Text
Rintanen. "On Specificity in Default Logic." International Joint Conference on Artificial Intelligence, 1995.Markdown
[Rintanen. "On Specificity in Default Logic." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/rintanen1995ijcai-specificity/)BibTeX
@inproceedings{rintanen1995ijcai-specificity,
title = {{On Specificity in Default Logic}},
author = {Rintanen, Jussi},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1995},
pages = {1474-1479},
url = {https://mlanthology.org/ijcai/1995/rintanen1995ijcai-specificity/}
}