本研究旨在针对智能体的推理特征,建立基于具有弱化紧致性与弱化单调的抽象逻辑框架上的信念变化理论,研究可机器实现的智能体信念变化计算模型,探讨信念变化研究中若干未解决的基本理论问题的新研究途径。该项目为探讨适合规范智能体信念变化操作的信念变化理论提供了新的可能途径,是对智能体理论与信念变化理论研究的有益探索。
英文主题词Contraction operator, Epistemic states, Representation Theorem, Preferential model