咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 6 篇 期刊文献

馆藏范围

  • 6 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6 篇 工学
    • 5 篇 计算机科学与技术...
    • 3 篇 控制科学与工程
    • 3 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 电子科学与技术（可...
    • 1 篇 网络空间安全
  • 3 篇 管理学
    • 3 篇 管理科学与工程(可...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 6 篇 kripke语义
  • 2 篇 概率信念逻辑
  • 2 篇 人工智能
  • 2 篇 模态逻辑
  • 1 篇 知识结构
  • 1 篇 通信协议
  • 1 篇 网络环境
  • 1 篇 协议分析器
  • 1 篇 拓扑语义
  • 1 篇 认证协议
  • 1 篇 扩展命题模态逻辑
  • 1 篇 增量式模型构造
  • 1 篇 直接转化
  • 1 篇 算法实现
  • 1 篇 漏洞
  • 1 篇 覆盖语义
  • 1 篇 安全网络
  • 1 篇 信念逻辑
  • 1 篇 黑客
  • 1 篇 协议验证

机构

  • 2 篇 清华大学
  • 1 篇 上海交通大学
  • 1 篇 哈尔滨师范大学
  • 1 篇 洛阳师范学院
  • 1 篇 江苏科技大学
  • 1 篇 中山大学

作者

  • 2 篇 曹子宁
  • 2 篇 石纯一
  • 1 篇 苏开乐
  • 1 篇 陆汝占
  • 1 篇 陈清亮
  • 1 篇 吕关锋
  • 1 篇 张再跃
  • 1 篇 于海
  • 1 篇 詹婉荣
  • 1 篇 张瑞玲
  • 1 篇 张彤
  • 1 篇 张晓如
  • 1 篇 董红斌

语言

  • 6 篇 中文
检索条件"主题词=Kripke语义"
共 6 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
模态逻辑S4的覆盖语义及其完备性
收藏
分享
引用
电子学报 2012年 第4期40卷 745-750页
作者： 于海 詹婉荣 张瑞玲 洛阳师范学院数学科学学院 河南洛阳471022 洛阳师范学院信息技术学院 河南洛阳471022
基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
多Agent信念逻辑及其在概率意义下的推广
收藏
分享
引用
软件学报 2001年 第9期12卷 1366-1374页
作者： 曹子宁 董红斌 石纯一 清华大学计算机科学与技术系 哈尔滨师范大学计算机科学系 黑龙江哈尔滨150080
首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于知识结构的认证协议验证
收藏
分享
引用
中国科学：E辑 2005年 第4期35卷 337-351页
作者： 苏开乐 吕关锋 陈清亮 中山大学计算机科学系 广州510275
认知逻辑的kripke语义,已被成功地运用到分析无黑客存在的安全网络下的通信协议.提出认知逻辑的kripke语义的一种简单而自然的形式,称之为知识结构,并把这种语义用到分析黑客存在的非安全网络环境中的通信协议,特别是认证协议.与类BAN... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一个增量式构造语义模型的方法
收藏
分享
引用
上海交通大学学报 1996年 第6期30卷 96-99页
作者： 张彤 陆汝占 上海交通大学计算机科学与工程系 上海
凭借构造性逻辑的Ｋｒｉｐｋｅ语义，给出了在自然语言语义理解过程中增量式构造语义解释模型的方法．
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于扩展命题模态逻辑的决策信息系统表示
收藏
分享
引用
江苏科技大学学报（自然科学版） 2011年 第1期25卷 68-73页
作者： 张晓如 张再跃 江苏科技大学计算机科学与工程学院 江苏镇江212003
针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及其相关语义描述,说明每个基于粗糙集理论的决策信息系统均可通过扩展命题模态逻辑语义来表示.本文证明了... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
概率信念逻辑的语义
收藏
分享
引用
计算机研究与发展 2000年 第11期37卷 1281-1286页
作者： 曹子宁 石纯一 清华大学计算机科学与技术系 北京100084
在信念逻辑基础上 ,引入概率 ,给出了一种概率信念逻辑 PBL ,增强了信念逻辑的表述能力和推理能力 .并为 PBL 建立了两种语义 :首先将知识逻辑的 Aum ann语义进行推广 ,给出 PBL 逻辑的概率 Aum ann语义 .其次为 PBL 建立了一种正规概... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件