A Semantics for Reasoning Consistently in the Presence of Inconsistency.
Jinxin LinPublished in: Artif. Intell. (1996)
Keyphrases
- sound and complete with respect
- reasoning tasks
- proof theory
- open world
- reasoning mechanism
- inconsistent information
- reasoning mechanisms
- knowledge base
- proof theoretic
- valued logic
- computational properties
- default rules
- description logics
- logical framework
- derivation rules
- fuzzy description logics
- default reasoning
- formal semantics
- reasoning process
- uncertain information
- logical rules
- model theoretic
- valued semantics
- reasoning services
- automated reasoning
- truth maintenance systems
- uml class diagrams
- analogical reasoning
- default logic
- abstract argumentation
- classical logic
- reasoning systems
- intuitionistic logic
- semantic information
- temporal reasoning
- knowledge representation and reasoning
- conditional logic
- highly expressive
- graphical representation
- defeasible reasoning