Reason-maintenance Belief Logic with Uncertain Information.
Tuan-Fang FanChurn-Jung LiauPublished in: ACM Trans. Comput. Log. (2020)
Keyphrases
- uncertain information
- reason maintenance
- truth maintenance systems
- belief functions
- possibilistic logic
- inference mechanism
- probability theory
- default logic
- constraint propagation
- nonmonotonic reasoning
- autoepistemic logic
- belief revision
- incomplete information
- mathematical theory
- propositional logic
- knowledge base
- truth values
- modal operators
- uncertain data
- temporal reasoning
- logic programming
- qualitative and quantitative
- modal logic
- data sets
- automated reasoning
- default theories
- data analysis