Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness.
Alexander BochmanPublished in: Notre Dame J. Formal Log. (1998)
Keyphrases
- inconsistent information
- temporal knowledge
- qualitative spatial reasoning
- point algebra
- valued logic
- knowledge representation
- computational properties
- reasoning mechanisms
- knowledge representation formalisms
- logical framework
- temporal reasoning
- conceptual graphs
- spatial reasoning
- probabilistic reasoning
- modular ontologies
- first order logic
- knowledge base
- classical logic
- inconsistent knowledge
- spatial relations
- incomplete information
- valued semantics
- semantic relations
- reasoning systems
- automated reasoning
- logic programs
- temporal information
- topological relations
- reasoning mechanism
- causal reasoning
- temporal relations
- formal model
- truth values
- analogical reasoning
- path consistency
- maximal tractable
- temporal logic
- consistency checking
- missing values
- reasoning process
- reasoning services
- fuzzy logic
- reasoning tasks
- multi valued