A logical reasoning with preference

摘要

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 Lp for 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.