Reasoning with Uncertainty by Nmatrix-Metric Semantics.
Ofer ArieliAnna ZamanskyPublished in: WoLLIC (2008)
Keyphrases
- uncertain information
- open world
- proof theory
- reasoning tasks
- proof theoretic
- probabilistic knowledge
- reasoning mechanisms
- default rules
- reasoning under uncertainty
- uncertain knowledge
- incomplete information
- reasoning systems
- reasoning mechanism
- default reasoning
- incomplete knowledge
- fuzzy description logics
- derivation rules
- formal semantics
- logic programming
- vague concepts
- reasoning process
- logical framework
- knowledge base
- computational properties
- uncertain data
- semantic information
- defeasible reasoning
- belief functions
- owl dl
- metric space
- expected utility
- intuitionistic logic
- distance measure
- probability measure
- abstract argumentation
- model theoretic
- probabilistic reasoning
- possibility theory
- graphical representation
- legal reasoning
- uml class diagrams
- reasoning problems
- automated reasoning
- utility function
- distance metric
- distance function
- description logics
- knowledge representation