Doxastic Reasoning with Multi-Source Justifications based on Second Order Propositional Modal Logic.
Tuan-Fang FanChurn-Jung LiauPublished in: AAMAS (2017)
Keyphrases
- modal logic
- multi source
- truth maintenance systems
- epistemic logic
- autoepistemic logic
- default logic
- temporal logic
- data fusion
- information fusion
- prime implicates
- inference rules
- nonmonotonic logics
- default reasoning
- nonmonotonic reasoning
- default theories
- classical logic
- multiple sources
- data integration
- probabilistic logic
- conditional logic
- situation calculus
- reasoning tasks
- general logic programs
- model checking
- data sources
- propositional logic
- logical framework
- machine learning
- data sets
- information integration
- first order logic
- logic programming
- fuzzy sets
- knowledge representation
- knowledge base
- neural network
- database