An Extension of Gödel Logic for Reasoning under Both Vagueness and Possibilistic Uncertainty.
Moataz El-ZekeyLluís GodoPublished in: IPMU (2) (2012)
Keyphrases
- intuitionistic logic
- proof theoretic
- possibility theory
- classical logic
- probability theory
- possibilistic logic
- nonmonotonic reasoning
- fuzzy set theory
- proof theory
- uncertain information
- uncertain knowledge
- logic programming
- linear logic
- possibilistic networks
- reasoning under uncertainty
- automated reasoning
- deductive reasoning
- probabilistic logic
- valued logic
- computational properties
- default reasoning
- abductive reasoning
- natural deduction
- human reasoning
- probabilistic knowledge
- order of magnitude reasoning
- fuzzy logic
- expected utility
- linear time temporal logic
- knowledge representation
- logical framework
- reasoning engine
- incomplete knowledge
- knowledge base
- uncertain data
- truth maintenance systems
- vague concepts
- logical inference
- causal networks
- incomplete information
- reasoning problems
- horn logic
- belief functions
- possibility distributions
- belief change
- logic programs
- rough set theory
- belief revision
- proof procedure
- probabilistic reasoning
- cut elimination
- decision making
- description logics
- decision makers
- model theoretic
- reasoning about actions
- social bookmarking
- reasoning tasks
- reasoning process