The semantics of preference-based belief operators.
Geir B. AsheimYlva SøvikPublished in: TARK (2003)
Keyphrases
- modal operators
- modal logic
- update operators
- belief revision
- nonmonotonic logics
- morphological operators
- description logics
- belief base
- formal semantics
- logic programming
- logical properties
- temporal logic
- belief functions
- relational databases
- aggregate functions
- preference relations
- situation calculus
- relational operators
- preference models
- subjective logic
- update semantics
- neural network
- partially ordered
- mathematical morphology
- semantic information
- building blocks
- multi agent
- knowledge base