A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 162-166.
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] .
@inproceedings{ijcai1997p25,
title = {A Cumulative-Model Semantics for Dynamic Preferences on Assumptions},
author = {Junker, Ulrich},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {162--166},
year = {1997},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1997/25},
}
TY - CPAPER TI - A Cumulative-Model Semantics for Dynamic Preferences on Assumptions AU - Junker, Ulrich T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 162 EP - 166 UR - https://ijcai.org/proceedings/1997/25 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
