Modal Reasoning = Metric Reasoning, via Lawvere.
Ugo Dal LagoFrancesco GavazzoPublished in: CoRR (2021)
Keyphrases
- knowledge representation
- knowledge base
- reasoning tasks
- knowledge representation and reasoning
- neural network
- reasoning systems
- computational properties
- qualitative reasoning
- meta level
- distance function
- automated reasoning
- search engine
- reasoning process
- fuzzy reasoning
- artificial intelligence
- data mining
- data sets
- model based reasoning
- resource bounded