A Boolean Extension of KLM-Style Conditional Reasoning.
Guy Paterson-JonesGiovanni CasiniThomas MeyerPublished in: SACAIR (2020)
Keyphrases
- propositional logic
- real valued
- data sets
- analogical reasoning
- knowledge representation
- reasoning mechanisms
- reasoning systems
- information retrieval
- conditional probabilities
- meta level
- reasoning process
- proof theoretic
- random field model
- approximate reasoning
- knowledge representation and reasoning
- computational properties
- uncertain information
- reasoning tasks
- automated reasoning
- temporal reasoning
- probabilistic model
- expert systems