基于扩展序类逻辑的Ontology形式化描述与模型检验

本体一直是哲学中的词汇,后来随着计算机语义网络的发展,引入语义web领域,用来表示概念以及概念和概念之间的关系。用逻辑来形式化Ontology,并对形式化后的Ontology进行检验和推理一直是Ontology研究的热点和难点。参考描述逻辑描述本体的方法,提出了以扩展序类逻辑来描述本体,并对描述后的本体进行检验。

认证协议的形式逻辑分析方法——BAN类逻辑综述

介绍了最早的认证协议形式化分析方法———BAN逻辑及扩展的BAN逻辑 ,统称为BAN类逻辑。并通过分析比较 ,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处。

古今中外类逻辑思维的起源与发展研究

类逻辑是逻辑学中的重要分支,它以类为核心概念,以类比推理为主要表现形式。类逻辑在中西方有着不同的起源与发展路径:中国古代,墨家的"故""理""类"三物逻辑为类逻辑提供了生根发芽的土壤。在西方,亚里士多德作为逻辑学创始人,在研究三段论时离不开类逻辑思维;培根在科学实验中推崇归纳法,其中也蕴含了大量关于"类"的内容。随着时间推移,中外类逻辑研究更加深入,类逻辑思维在各个学科领域中的创新功能,是现代类逻辑研究的重点。

BAN类逻辑的进一步研究

BAN类逻辑是近年来主要的密码协议分析工具之一,在分析了BAN逻辑存在的各类缺陷并用实例详细说明的基础上,研究和归纳了各种扩展的BAN类逻辑的特点和他们共同的缺陷,指出了BAN类逻辑应该改进的方面以及今后进一步的研究方向。

论推类逻辑与中国古代医学

推类逻辑就是基于"推类"的中国古代逻辑。易数推类为中医科学提供了一个有效工具,提供了一个有效地认识自然、机体(肌体)、疾病的方法。取象比类是中医思维的核心,推类是中国古代医学辨证论治的基本方法。推类具有很强的具象性,并以比类为基础。

比类逻辑与中国传统政治文化思维特点析论

中国传统文化内在的思维逻辑可以概括为"比类逻辑",这种致思方式对于"传统政治文化"的思维特点影响深远。本文梳理了传统比类逻辑的构成要点,分析了比类逻辑与王权专制思维特点的关系,并站在现代社会发展的立场上,对于这种文化遗存的深层影响做了剖析。指出,作为文化遗存的"比类逻辑"思维特点使得当代中国的政治思维在某些层面或某些地方还滞留在中世纪,这是解读当前一些政治文化现象———诸如对于政治权力普遍崇拜和挥之不去的"个人迷信"等等的深层传统文化根源之一。

基于m类逻辑的模式分类方法及其硬件实现

基于ｍ类逻辑的模式分类方法及其硬件实现张自力（西南师范大学计算机科学系重庆６３０７１５）ＴＨＥｍ－ＣＬＡＳＳＬＯＧＩＣＢＡＳＥＤＰＡＴＴＥＲＮＣＬＡＳＳＩＦＩＣＡＴＩＯＮＡＮＤＩＴＳＨＡＲＤＷＡＲＥＩＭＰＬＥＭＥＮＴＡＴＩＯＮ￥ＺｈａｎｇＺｉｌｉ（Ｄ...

推类逻辑:中国古代逻辑的原型(上)

从古文献考察,中国古代的推理类型是“推类”。推类的内在机制是“类同理同”,在此约束条件下,其逻辑性质是“必然得出”的。推类的逻辑有两个传统,一个是以墨家逻辑为代表的论辩传统;另一个是以易学逻辑为代表的预测、推知传统。推类逻辑是华夏文明的结晶和科学求知的方法,是人类思维宝库中的璀璨瑰宝和人类思维方式创新的宝贵资源,在发扬中华优秀文化的今天,应当对它予以关注和发掘。

先秦科学方法论与推类逻辑

“类”、“故”、“理”这三个范畴,是先秦科学方法论的高度概括和浓缩。墨家最先提出“类”、“故”、“理”三个范畴并以之作为推类的逻辑法则。古代中国人重“实”,突出地表现为强调用实践效果或实际效用来证明某种思想、理论或知识是否为“真理”。这种“效验”论,实质是中国古代的科学证明论,其逻辑方法就是墨家提出的“效”式推理。

直觉文化、类逻辑与本体生长——直觉方法的创造性与中国传统文化

本文试以直觉创造对文化的透入以及直觉化的文化又如何触发直觉来探讨直觉文化的特质,并由此引出直觉文化对创造性思维的积极意义。 一。

BAN类逻辑的两个缺陷分析

BAN类逻辑是安全协议形式化分析的一种重要方法。BAN类逻辑都是以BAN逻辑为基础发展起来的。通过对BAN逻辑的研究得出了BAN类的两个重要缺陷,缺少环境模型和缺少完整性分析,并指出了下一步研究的方向。

不伦不类开放类 评鞠实儿的开放类逻辑

大量事实说明,在学术界走红的开放类逻辑,虽获得教育部优秀科研成果一等奖,但实际上是连科研及格线都没有达到的作品。通过对这一“成果”的考察和对其走红的部分原因的分析,人们可以看出:科研体制和学术评价机制方面存在的漏洞,很容易造成科研成果以次充好和以假乱真的局面。

BAN逻辑及BAN类逻辑研究

一、引言 当用户通过网络进行信息交互时，网络通信的安全性成为人们首要关心的问题。密码协议是建立在密码体制基础上的交互通信协议，利用密码协议可实现密钥的分配和交换、身份认证等。它与普通通信协议的主要区别在于使用了密码技术。

基于BAN类逻辑的协议自动化分析工具设计

BAN类逻辑广泛应用于安全协议分析,具有简洁性和易用性。使用Prolog人工智能语言设计开发了基于BAN类逻辑协议的自动化分析工具,实验表明工具能够严谨、高效地分析安全协议的正确性及认证性等安全属性。

BAN类逻辑的由来与发展

BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的密码协议。该文介绍了 BAN逻辑的产生、成分和分析步骤 ,进而全面指出了 BAN逻辑的缺陷 ,由此而产生的改进的 BAN逻辑和现状 ,从而对 BAN类逻辑作了全面的回顾与展望 ,并得出结论 :BAN类逻辑仍然是密码协议分析和设计的主要工具 ,但理想化步骤是 BAN类逻辑的致命缺陷。指出了 BAN类逻辑研究工作的展望。

开放类逻辑的哲学基础——一种非规范三值内涵语义理论

根据Hume问题不可解原理 ,本文提出开放世界预设 ,该预设刻画了开放类的第一个特征 :开放类扩展后得到的新成员可能不 (并非必然 )具有它原有成员借以分类的任一性质 ;根据开放类的定义 ,开放类的第二个特征为 :开放类在其扩展过程中惟一的不变量是它的成员必须具有的性质。在此基础上本文给出一种纯内涵语义理论 ,从“性质”概念出发给出开放类及其运算的定义、开放语句的解释和语句的真值条件 ,并根据开放世界预设建立的一种非规范的三值语义理论 ,描述了开放类的逻辑的特征。

类BAN逻辑的缺陷分析

类BAN逻辑是密码协议分析和设计的主要工具,文章在分析了类BAN逻辑之后,指出了这些逻辑的缺陷,并对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。

评冯友兰的类逻辑思想

类是逻辑学的基本概念，又是冯友兰“新理学”的核心概念。本文运用辩证唯物主义的逻辑观，评述了冯友兰的类逻辑思想，认为：冯友兰在把唯心的“理”作为归类根据的前提下，将类分为实类和空类、殊类和共类、低类和高类、小共类和大共类，其中虽有不当之见，应予摒弃，但多有独到之见，创造性地继承和发展了类逻辑理论，值得现代中国哲学和逻辑学借鉴。

“全程设计”教学模式在数字逻辑类课程教学过程中的应用

数字逻辑类课程具有很强的实践性,本文描述了一种在教学过程中摸索出的"全程设计"教学模式,该模式完全符合学生认知水平、并能最大限度的调动学生学习积极性。该项教改手段已经过2年教学实践证明,教学效果非常显著。