基于偏好排斥等级BDI主体的决策行为研究

摘要

使用偏好算子对命题动态逻辑进行扩展,可以对Agent的决策行为进行符号形式演绎,利用扩展的无穷值ukasiewicz逻辑可以对Agent的决策行为进行数值计算,因此在克里普克语义学、命题动态逻辑和扩展的无穷值ukasiewicz逻辑基础上,建立的偏好排斥等级BDI逻辑是符号形式演绎与数值计算并存的柔性逻辑,该系统可以清晰地表示偏好排斥等级BDI主体心智状态的不确定性。该研究不仅可以促进BDI逻辑的发展,而且可以为Agent理论的诸多应用领域提供形式支持。