Reasoning with linguistic preferences using NPN logic.
Goran DevedzicDanijela MilosevicLozica IvanovicDragan AdamovicMiodrag ManicPublished in: Comput. Sci. Inf. Syst. (2010)
Keyphrases
- human reasoning
- automated reasoning
- proof theory
- deductive reasoning
- computational properties
- order of magnitude reasoning
- multi agent decision making
- logical framework
- scientific discovery
- fuzzy logic
- reasoning engine
- logic programming
- logical inference
- probabilistic logic
- intuitionistic logic
- logical rules
- reasoning systems
- artificial intelligence
- possibilistic logic
- reasoning tasks
- horn logic
- cp nets
- natural language
- knowledge representation
- proof theoretic
- decision making
- uncertain information
- classical logic
- causal reasoning
- user preferences
- knowledge base
- description logics
- qualitative reasoning
- multi attribute
- commonsense reasoning
- knowledge representation formalisms
- derivation rules
- knowledge representation and reasoning
- abductive reasoning
- reasoning about actions
- reasoning process
- soft constraints
- default reasoning
- probabilistic reasoning
- modal logic
- bayesian networks
- proof procedure
- reasoning problems
- legal reasoning
- logic programs