检索结果-内蒙古大学图书馆

以CKT5逻辑为基础,对其进行了多方面重要的扩展;在原有对称密钥机制的基础上,增加了公开密钥机制和Vernam加密机制以增强其描述协议的能力;打破完善加密假设,给出了一组定义和规则使主体具备猜测和验证口令的能力;给出了与在线猜测攻击相关的定理以反映在线猜测攻击的特点;通过相关引理和定理的证明,简化了猜测攻击的分析过程,使该文方法比现有方法更加简洁高效.扩展后的逻辑能够用于分析安全协议的猜测攻击,包括在线猜测攻击.

关键词：安全协议猜测攻击 CKT5逻辑模态逻辑形式化分析

来源：评论

学校读者我要写书评

暂无评论

基于一阶模态逻辑的模糊推理(英文)

引用

软件学报 2008年第12期19卷 3170-3178页

作者：张晓如张再跃眭跃飞黄智生江苏科技大学计算机科学与工程学院智能信息处理联合实验室江苏镇江212003 中国科学院计算技术研究所智能信息处理重点实验室北京100190 Department of Artificial Intelligence Vrije University of Amsterdam Netherlands

研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对... 详细信息

研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.

关键词：模态逻辑模糊推理形式系统模糊约束可满足性

来源：评论

学校读者我要写书评

暂无评论

模糊命题模态逻辑的Tableau方法

引用

哈尔滨工程大学学报 2017年第6期38卷 914-920页

作者：刘磊王强吕帅吉林大学计算机科学与技术学院吉林长春130012 吉林大学数学学院吉林长春130012

为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不... 详细信息

为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不一致性和不一致估值的定义。最后给出基于Tableau方法的FPML的一致性检测方法 TFPML和模糊断言集合的不一致估值计算方法 CID,并证明了其正确性。实例分析表明,本文提出的方法是正确有效的。

关键词： Tableau方法模态逻辑模糊命题模态逻辑不确定推理一致性检测模糊断言集合

来源：评论

学校读者我要写书评

暂无评论

基于模态逻辑D公理系统的Conformant规划方法

引用

计算机研究与发展 2009年第7期46卷 1160-1168页

作者：吕帅刘磊李莹石莲吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的... 详细信息

2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架,将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程,并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.

关键词： conformant规划模态逻辑自动推理可满足性公理系统 D公理

来源：评论

学校读者我要写书评

暂无评论

模态逻辑中转换结构的局限性

引用

辽宁工程技术大学学报（自然科学版） 2014年第2期33卷 284-288页

作者：董英东毕节学院逻辑与文化研究中心贵州毕节551700 西南大学逻辑与智能研究中心重庆400715

针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽... 详细信息

针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.

关键词：模态逻辑转换结构典范模型有穷模型性赋值模型朴素模型完全性加标转换

来源：评论

学校读者我要写书评

暂无评论

模态逻辑与真理论

引用

学术研究 2022年第7期 36-43,177页

作者：李晟胡泽洪四川师范大学哲学学院四川成都610066 华南师范大学哲学与社会发展学院广东广州510631

模态逻辑有算子和谓词两种研究方法,但谓词方法始终面临悖论的困扰。算子方法虽然避免了蒙塔古式悖论,但孔斯却构造了算子方法中的新悖论,因此算子方法并不能作为模态谓词悖论的解决方案。形形色色的模态谓词悖论无不隐含着对真之原则... 详细信息

模态逻辑有算子和谓词两种研究方法,但谓词方法始终面临悖论的困扰。算子方法虽然避免了蒙塔古式悖论,但孔斯却构造了算子方法中的新悖论,因此算子方法并不能作为模态谓词悖论的解决方案。形形色色的模态谓词悖论无不隐含着对真之原则的不当使用,不一致的真理论是导致模态谓词悖论的根本因素。模态算子逻辑的成功在于它化解了不一致真理论的威胁。谓词方法倘若忽略了这个关键点,也效仿算子方法对真的处理,则必然导致悖论。解决模态谓词悖论和建立模态谓词理论需要引入一致的真谓词,以公理化真理论和语义真理论分别作为模态逻辑的语形基础和语义基础。

关键词：模态逻辑真理论谓词算子悖论

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：