Agent逻辑和真假子集语义

• 作者: 石纯一 胡山立
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Agent 意图 语义 真假子集语义 模型
• 年，卷（期）: 2002,（11）
• 页码范围: 2112-2115
• 页数: 4页
• 分类号: TP18
• 字数: 3368字
• 语种: 中文

摘要

理性Agent规约的形式框架通常基于信念、愿望和意图逻辑.为了克服现有的信念、愿望和意图逻辑中存在的问题,为非正规模态算子提供一种合适的语义表示.讨论了理性Agent性态的抽象规约中对语义表示的要求以及现有的信念、愿望和意图逻辑中存在的问题.介绍了作者开发的真假子集语义及其在Agent形式化中的应用.他们的框架使意图的有问题的性质无效.并且证明通过对模型的代数结构施加一定的约束,能获得许多希望的性质.最后对真假子集语义进行了分析.这一切表明真假子集语义为非正规模态算子提供了一种合适的语义表示,是对经典的正规模态算子可能世界语义的一个重要发展,是理性Agent性态的逻辑规约的有力工具,可应用于建立新的合适的Agent逻辑系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石纯一	清华大学计算机科学与技术系	85	3189	30.0	55.0
2	胡山立		41	542	13.0	22.0