On Specificity in Default Logic

Rintanen, Jussi

On Specificity in Default Logic

Download BibTeX Cite

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Non-monotonic Reasoning. Pages 1474-1478.

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.

Jussi Rintanen. 1995. On Specificity in Default Logic. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 1474–1478. https://ijcai.org/proceedings/1995/190

@inproceedings{ijcai1995p190,
  title     = {On Specificity in Default Logic},
  author    = {Rintanen, Jussi},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-95}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Chris S. Mellish},
  pages     = {1474--1478},
  year      = {1995},
  note      = {Non-monotonic Reasoning},
  url       = {https://ijcai.org/proceedings/1995/190},
}

TY  - CPAPER
TI  - On Specificity in Default Logic
AU  - Rintanen, Jussi
T2  - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1995
SP  - 1474
EP  - 1478
UR  - https://ijcai.org/proceedings/1995/190
ER  -