Metric Semantics for Probabilistic Relational Reasoning.
Arthur Azevedo de AmorimMarco GaboardiJustin HsuShin-ya KatsumataPublished in: CoRR (2018)
Keyphrases
- probabilistic relational
- reasoning tasks
- proof theory
- open world
- logical framework
- computational properties
- reasoning mechanisms
- default rules
- fuzzy description logics
- default reasoning
- graphical representation
- knowledge base
- logic programming
- proof theoretic
- reasoning mechanism
- uml class diagrams
- reasoning services
- uncertain information
- knowledge representation
- description logics
- formal semantics
- logical rules
- derivation rules
- vague concepts
- machine learning
- semantic information
- automated reasoning
- model theoretic
- reasoning process
- main contribution
- temporal reasoning
- distance measure
- abstract argumentation
- information extraction
- domain knowledge
- reasoning systems