动态逻辑

作品数：74被引量：135H指数：5
导出分析报告
相关领域：自动化与计算机技术哲学宗教更多>>
相关作者：李必信翟小祥陈乔乔李加凯朱敏更多>>
相关机构：东南大学国际商业机器公司中国社会科学院哲学研究所华东师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家社会科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=逻辑学研究x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
破坏模态逻辑的算法对应理论被引量：2
《逻辑学研究》2022年第6期66-92,共27页赵之光 
supported by Taishan University Starting Grant “Studies on Algebraic Sahlqvist Theory”;the Taishan Young Scholars Program of the Government of Shandong Province,China (tsqn201909151);the Support Plan on Science and Technology for Youth Innovation of Uni-versities in Shandong Province (2021KJ086)。
破坏模态逻辑是一种动态逻辑。它在静态模态逻辑的基础上加入了一个动态算子,解释成“在删掉一条边后,公式为真”。在本文中,我们试图解决一个开放问题,即给出破坏模态逻辑的Sahlqvist对应定理。我们定义破坏模态逻辑的Sahlqvist公式,...
关键词：模态逻辑 动态逻辑 对应定理 
动态逻辑AUL中的秘密宣告
《逻辑学研究》2020年第6期63-88,共26页李延军 
supported by the Fundamental Research Funds for the Central Universities 63202061 and 63202926
AUL(Arrow Update Logic)是一个刻画多主体的信念变化的动态逻辑。AUL通过更新模型中的可及关系来刻画行为对主体信念造成的影响。但是,在AUL中信息对所有主体都是公开的,因此AUL无法刻画在秘密宣告的情况下主体信念状态的变化。本论文...
关键词：动态逻辑 更新模型 语义图 造成的影响 AUL 
基于keg-BDI主体的决策行为建模（英文）被引量：2
《逻辑学研究》2016年第1期23-36,共14页张晓君 吴宝祥 
supported by the Humanities and Social Sciences Planning Foundation of Chinese Ministry of Education(Grant No.13YJA72040001);by the National Natural Science Foundation of China under Grant No.61273338/F030603
文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1],提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg-BDI逻辑(即:知识情感等级BDI逻辑),此逻辑是情感等级BDI逻辑的一种扩展逻辑。keg-BDI逻辑可以对知识状态、心智状态...
关键词：行为决策 行为建模 动态逻辑 分布式人工智能 知识状态 情感状态 决策行为 军事仿真 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部