DOI:
Abstract:
This paper describes a framework for specifying behavior in terms of preference sentences. We demonstrate how such preference sentences, together with normality defaults, may be used as constraints on admissible preference-ranking of worlds and how they allow a reasoning agent to evaluate queries. We also prove that by extending the syntax to allow for importance-rating of preference sentences, we obtain a language that is powerful enough to represent all possible preferences among worlds.