高级检索

    适用于Agent非正规模态算子的一种语义解释

    A SEMANTIC INTERPRETATION FOR AGENT’S NON\|NORMAL MODAL OPERATORS

    • 摘要: 文中提出了适用于Agent非正规模态算子的一种语义解释.这种解释是基于正规可能世界的,不存在“逻辑全知”问题和由此带来的副作用等问题.与基于非正规可能世界的传统方法相比,不必增加可能世界的种类,比较自然、合理.文中方法同样适用于多数非正规模态逻辑系统

       

      Abstract: A semantic interpretation based on normal possible worlds is presented in this paper. It is satisfactory for agent’s non\|normal modal operators, and there are no logical omniscience problem, side\|effect problem, etc. Comparing with the method based on non\|normal possible worlds, this method is more natural and reasonable, and no additional non\|normal possible worlds are needed. It is also satisfactory for many non\|normal modal logic systems.

       

    /

    返回文章
    返回