AGM信念收缩算子的拓扑式刻画 (Topological Characterization of AGM Belief Contraction Operator).
Hua MengYayan YuanJielei ChuHongjun WangPublished in: 计算机科学 (2016)
Keyphrases
- belief revision
- belief change
- iterated belief revision
- belief set
- propositional logic
- belief base
- minimal change
- belief update
- horn contraction
- epistemic states
- nonmonotonic reasoning
- merging operators
- horn logic
- belief state
- probability theory
- partially ordered
- possibilistic logic
- knowledge base
- temporal logic
- real time
- database
- aggregation operators
- probability distribution
- case study
- neural network
- agm postulates