Possibilistic Reasoning - A Mini-Survey and Uniform Semantics.
Churn-Jung LiauBertrand I-Peng LinPublished in: Artif. Intell. (1996)
Keyphrases
- intuitionistic logic
- logic programming
- reasoning tasks
- possibilistic logic
- proof theory
- default rules
- open world
- logical framework
- knowledge base
- possibility theory
- fuzzy description logics
- possibilistic networks
- uncertain information
- reasoning mechanisms
- reasoning mechanism
- formal semantics
- classical logic
- proof theoretic
- default reasoning
- vague concepts
- linear logic
- graphical representation
- computational properties
- probabilistic reasoning
- abstract argumentation
- knowledge representation and reasoning
- semantic information
- data collection
- owl dl
- logic programs
- automated reasoning
- logical rules
- probabilistic knowledge
- propositional logic
- knowledge representation
- derivation rules
- reasoning systems
- closed world
- possibility distributions
- defeasible reasoning
- model theoretic
- operational semantics
- legal reasoning
- default logic
- answer set programming
- expert systems