{"type":"ScholarlyArticle","title":"A Cumulative-Model Semantics for Dynamic Preferences on Assumptions","authors":[{"name":"Ulrich Junker","slug":"ulrich-junker","given":"Ulrich","family":"Junker","affiliation":""}],"abstract":"Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear and declarative method for defining preferred models. In this paper, we show how to embed preferences in the logical theory itself. This gives a high freedom for expressing statements about preferences. Preferences can now depend on other assumptions and are thus dynamic. We elaborate a preferential semantics based on Le hmann 's cumulative models, as well as a corresponding constructive characterization, which specifies how to correctly treat dynamic preferences in the default reasoning system ExCEPT [Junker, 1992] .","doi":null,"url":"https://ijcai.org/proceedings/1997/25","pdf":"https://ijcai.org/proceedings/1997/0025.pdf","markdown":"https://ijcai.org/proceedings/1997/25.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/25","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":25,"pages":{"first":162,"last":166},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}