{"type":"ScholarlyArticle","title":"On Specificity in Default Logic","authors":[{"name":"Jussi Rintanen","slug":"jussi-rintanen","given":"Jussi","family":"Rintanen","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1995/190","pdf":"https://ijcai.org/proceedings/1995/0190.pdf","markdown":"https://ijcai.org/proceedings/1995/190.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/190","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Non-monotonic Reasoning","track":"Non-monotonic Reasoning","number":190,"pages":{"first":1474,"last":1478},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}