Revision of Specification Automata under Quantitative Preferences.
Kangjin KimGeorgios FainekosPublished in: CoRR (2014)
Keyphrases
- belief revision
- user preferences
- cellular automata
- qualitative and quantitative
- knowledge base
- formal languages
- quantitative and qualitative
- specification language
- decision making
- probabilistic automata
- individual preferences
- revision operators
- finite state automata
- preference elicitation
- finite automata
- possibilistic logic
- formal specification
- finite state machines
- neural network
- formal verification
- multiple criteria
- multi attribute
- regular expressions
- high level
- lattice gas