Reasoning about preference models

Programs that make decisions need mechanisms for representing and reasoning about the desirability of the possible consequences of their choices. This work is an exploration of preference models based on utility theory. The framework presented is distinguished by a qualitative view of preferences and a knowledge-based approach to the application of utility theory. The design for a comprehensive preference modeler is implemented in part by the U tility R easoning P ackage (URP), a collection of facilities for constructing and analyzing preference models. Qualitative mathematical reasoning techniques are employed to develop partial specifications of single-attribute utility functions from qualitative preference assertions.