Distance-based non-deterministic semantics for reasoning with uncertainty.
Ofer ArieliAnna ZamanskyPublished in: Log. J. IGPL (2009)
Keyphrases
- uncertain information
- reasoning tasks
- open world
- proof theory
- incomplete information
- default rules
- reasoning mechanism
- reasoning under uncertainty
- uncertain knowledge
- probabilistic knowledge
- proof theoretic
- reasoning mechanisms
- computational properties
- formal semantics
- knowledge base
- default reasoning
- defeasible reasoning
- incomplete knowledge
- automated reasoning
- logical framework
- fuzzy description logics
- logic programming
- vague concepts
- knowledge representation
- probabilistic reasoning
- reasoning systems
- uncertain data
- graphical representation
- nonmonotonic reasoning
- uml class diagrams
- reasoning services
- abstract argumentation
- fixpoint semantics
- expert systems
- reasoning problems
- description logics
- knowledge representation and reasoning
- possibility theory
- logical rules
- belief functions
- default logic
- model checking
- outlier detection
- semantic information
- logic programs
- derivation rules