...学-科研基金网 关键词：知识表示，认识逻辑，模型检测，安全协议 [gap=912]Keywords：knowledge rpresentation, epistemic logic, model checking, security protocol ...
基于34个网页-相关网页
10月13日：命题逻辑(Propositional logic): II 第5周. 10月20日：认知逻辑 (Epistemic logic) : I 第6周. 10月27日：认知逻辑 (Epistemic logic): II 第7周.
基于30个网页-相关网页
Dynamic Epistemic Logic 动态认知逻辑
temporal epistemic logic 时态认知逻辑
paraconsistent epistemic logic 弗协调认知逻辑
multi-modal epistemic logic 多模态认知逻辑
Multi-Agent Epistemic Logic 多主体认知逻辑
semantics of epistemic logic 认知逻辑语义
So it becomes a cult issue to provide formal means of analysis of information change recently in the field of dynamic epistemic logic (DEL).
因此，如何形式化处理世界信息变化成为近年来动态认知逻辑研究领域中的一个热点问题。
参考来源 - 公开更新逻辑·2,447,543篇论文数据，部分数据来源于NoteExpress
Firstly, we adapt group knowledge in epistemic logic to the general cases.
本文首先把多主体认知逻辑中的群体知识推广到一般情形。
The purpose of the research on epistemic logic is to provide effective tool for artificial intelligence.
认知逻辑研究的目的是为人工智能研究提供有力的工具。
Based on the sufficient study on various logics in artificial intelligence and computer science, we in this project paid our main attention to the problem of model checking epistemic logic.
本项目在充分研究研究人工智能逻辑的基础上，着重对认识逻辑的模型检测问题进行研究。
应用推荐