Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints.
Jérôme LangPublished in: FAIR (1991)
Keyphrases
- possibilistic logic
- logical framework
- min max
- optimisation problems
- evolutionary computation
- belief revision
- inference rules
- reasoning tasks
- propositional logic
- benchmark problems
- particle swarm
- uncertain information
- logic programming
- knowledge base
- evolutionary algorithm
- possibility theory
- genetic algorithm
- partially ordered
- temporal reasoning
- constraint satisfaction
- particle swarm optimization
- artificial intelligence
- test suite
- expert systems
- high level