Decision Making based on Paraconsistent Annotated Logic.
Fábio Romeu de CarvalhoIsrael BrunsteinJair Minoro AbePublished in: LAPTEC (2005)
Keyphrases
- decision making
- logic programming
- truth values
- decision makers
- classical logic
- decision support
- inference rules
- valued semantics
- possibilistic logic
- modal logic
- logic programs
- information processing
- databases
- set theory
- decision process
- genetic algorithm
- digital circuits
- information extraction
- manually annotated
- decision support system
- group decision making
- automated reasoning
- knowledge management
- multi criteria
- influence diagrams
- deductive databases
- knowledge representation
- deontic logic
- mission planning