In a decision making context, multiple choices of actions are usually offered to solve a particular problem. Consequently, the question of preferences among the actions will occur. The ordering of recommended actions by preference is made by taking into account the states of the universe of discourse. We develop here a logic Lpfor reasoning about preferences in such circumstances. The language of the logic is propositional extended with a special binary relation of preference among formulae. The model theory of the logic is studied and the soundness and completeness theorem is established. © 1995.
Mendeley saves you time finding and organizing research
Choose a citation style from the tabs below