{"type":"ScholarlyArticle","title":"Abducing Priorities to Derive Intended Conclusions","authors":[{"name":"Katsumi Inoue","slug":"katsumi-inoue","given":"Katsumi","family":"Inoue","affiliation":""},{"name":"Chiaki Sakama","slug":"chiaki-sakama","given":"Chiaki","family":"Sakama","affiliation":""}],"abstract":"We introduce a framework for finding preference information to derive desired conclusions in nonmonotonic reasoning. A new abductive framework called preference abduction enables us to infer an appropriate set of priorities to explain the given observation skeptically, thereby resolving the multiple extension problem in the answer set semantics for extended logic programs. Preference abduction is also combined with a usual form of abduction in abductive logic programming, and has applications such as specification of rule preference in legal reasoning and preference view update. The issue of learning abducibles and priorities is also discussed, in which abduction to a particular cause is equivalent to abduction to preference.","doi":null,"url":"https://ijcai.org/proceedings/1999/7","pdf":"https://ijcai.org/proceedings/1999/0007.pdf","markdown":"https://ijcai.org/proceedings/1999/7.md","bibtex":"https://ijcai.org/proceedings/1999/bibtex/7","volume":{"slug":"1999","title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1999","url":"https://ijcai.org/proceedings/1999/","year":1999,"location":"Stockholm, Sweden","dates":"","editors":"Thomas Dean","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":7,"pages":{"first":44,"last":48},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}