A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
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 Lehmann'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].
Cite
Text
Junker. "A Cumulative-Model Semantics for Dynamic Preferences on Assumptions." International Joint Conference on Artificial Intelligence, 1997. doi:10.1001/archpsyc.1968.01740090034004Markdown
[Junker. "A Cumulative-Model Semantics for Dynamic Preferences on Assumptions." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/junker1997ijcai-cumulative/) doi:10.1001/archpsyc.1968.01740090034004BibTeX
@inproceedings{junker1997ijcai-cumulative,
title = {{A Cumulative-Model Semantics for Dynamic Preferences on Assumptions}},
author = {Junker, Ulrich},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {162-167},
doi = {10.1001/archpsyc.1968.01740090034004},
url = {https://mlanthology.org/ijcai/1997/junker1997ijcai-cumulative/}
}