Revision of specification automata under quantitative preferences.
Kangjin KimGeorgios FainekosPublished in: ICRA (2014)
Keyphrases
- belief revision
- user preferences
- high level
- decision making
- cellular automata
- specification language
- formal specification
- knowledge base
- qualitative and quantitative
- possibilistic logic
- quantitative measures
- preference elicitation
- finite automata
- regular expressions
- revision operators
- individual preferences
- probabilistic automata
- quantitative and qualitative
- formal languages
- social choice
- lattice gas
- tree automata
- soft constraints
- multiple criteria
- finite state
- finite state machines
- multi attribute
- multi agent systems