On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences.
Amanda VidalFrancesc EstevaLluís GodoPublished in: EUSFLAT/IWIFSGN (3) (2017)
Keyphrases
- valued logic
- classical logic
- fuzzy logic
- valued semantics
- propositional logic
- possibilistic logic
- fuzzy sets
- user preferences
- multi valued
- decision making
- first order logic
- expressive power
- modal logic
- preference elicitation
- truth values
- finite number
- complete axiomatization
- modal operators
- individual preferences
- qualitative reasoning
- soft constraints
- preference relations
- inference rules
- multi agent
- formal theory
- social choice
- situation calculus
- decision problems
- qualitative preferences