对三个悖论的消解

目的讨论意外考试悖论的自然语言版本、蒙塔古-卡普兰版本以及知道者悖论诸论证的有效性问题。方法以一条叫做逻辑先后律的思维原则为工具,对所论问题进行剖析。结果 (发现)①对第二天是否考试的判断环节的缺失,使问题无法讨论及论证无效;②意外考试悖论的自然语言版本中,不能推出"最后一天不可能考试"的结论;③意外考试悖论的蒙塔古-卡普兰版本中,合理假定(C4)非恒真;④知道者悖论的推理前提,是一个不合逻辑的定义。结论上述三个悖论的论证均是无效的。     

对NPKI机制的形式化分析

通过一对等实体通信的实例说明了NPKI的认证原理，在分析了传统PKI公钥证书认证原理的基础上，较为具体地说明了NPKI的身份认证过程，指出了NPKI是一种高效率的证书认证机制。然后对NPKI按照BAN逻辑进行了形式化，在明确其初始条件后，按照BAN逻辑中的有关推理规则，重点证明了NPKI是一种安全可靠的身份认证机制。     

矿体构造的逻辑结构建模方法研究

本文将逻辑结构单元作为地质建模过程中模型各组成要素的抽象,进而提出了逻辑结构建模的形式化表示方法,重点探讨了模型功能的形式化描述、模型结构的抽象化表达、逻辑结构模型的组织方式及逻辑结构模型的一般算法等主要技术。所提出的方法为煤田地质建模到软件系统设计提供了基础。     

《语言逻辑辞典》序

近十余年来,在我国出现一个新的逻辑分支,叫做“语言逻辑”,精确一点说,应该叫做“自然语言的逻辑”(在国外也有称之为“自然逻辑”的)。语言逻辑的最大特点在于:它要继承与发展现代形式逻辑(数理逻辑)已经取得的成就,借助其刻画人工语言的方法,去探索人们在运用自然语言的实际交际过程中的推理形式与规律,并给以     

道德悖论逻辑归属问题探究及其拓展

基于普通逻辑的悖论研究既不能准确把握道德理论悖论的辩证特性,更不能为道德实践悖论提供令人信服的逻辑支撑。只有诉诸于辩证思维和辩证逻辑,才能真正揭示悖论本质,并就道德悖论逻辑作出恰当定位。道德理论悖论应当归属纯粹理性逻辑范畴,而道德实践悖论因具有与之不同却又相似相通的形成原因和解悖路径,可以划归极具辩证意义的实践理性悖论,从而引发逻辑及其悖论研究的领域突破与学术创新,构建统摄纯粹思维与行为推理、理论理性与实践理性的全新的逻辑学说和悖论学科。     

从DRT动态语义学视角看自然语言条件句和蕴涵概念

自然语言复合句中的条件句、选择句和并列句,分别对应经典逻辑的蕴涵式、析取式与合取式。基于蕴涵公式确立的经典命题逻辑产生了所谓"蕴涵怪论"问题,而在经典蕴涵公式基础上构造的各种逻辑系统也出现了如"道义悖论"、"逻辑万能"等各种疑难问题。问题的症结在于蕴涵公式不同于自然语言的条件句,确切说,"蕴涵"并不是对条件句的贴切抽象("析取"和自然语言的选择句也有类似问题)。我们注意到,从当今DRT等动态语义学对自然语言条件句分析的独特视角,可以找到解决上述问题的新思路。     

一种新型的三I算法及其逻辑基础

在Fuzzy推理中提出了“过半可信”原则，并证明了R0-型三角模恰为可实现这一原则的三角模．在此基础上，将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分，提出了一种新型的三I算法(Triple I)^*．研究了逻辑系统ょ^*中的形式化推理机制，基于根的理论为新型三I算法奠定了严格的逻辑基础．     

扩展产生式规则知识表示方法

通过对现有知识表示方法进行分析，指出了产生式规则和概念图表示方法在自然语言理解中存在的问题，提出了扩展产生式规则知识表示方法，并对该规则的推理机制和具体实现进行了讨论．扩展产生式规则表示方法是将产生式规则的前提、结论和处理分别用概念图表示，是一种混合知识表示方法．它既保持了产生式规则的模块性，又揭示了自然语言中的深层次关系，与自然语言形成自然映射。通过分析表明，扩展产生式规则的总体性能要优于传统的产生式规则。并且特别适合于自然语言理解中的知识表示．该规则已应用于网络故障诊断专家系统的自然语言接口设计中．     

由"半费之讼"而被误解的"两难推理"

从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理.     

处于时间情景中的推理与形式化

现实的推理是在时空中进行的,推理本身需要花费时间。传统的逻辑理论忽视了这一点,从而导致逻辑全能。为此,给出了相关的案例,表明现实的推理处于时间情景之中 同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理 最后,阐述了一个新的逻辑理论——步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想。     

评塔斯基的“层级论”——回归“自然语言”的解悖方案漫谈

假句(包括矛盾句)存在于语言里是合法合理的。“层级”论将存有“矛盾被证”的自然语言宣判“死刑”，是把人(语言使用者)的逻辑犯规归罪于语言本身，而解悖方案回归自然语言实际是对塔斯基“层级”论宣判死刑。随着研究的深入发展，逻辑悖论研究的重心自然而然转移到了“语义悖论”上来。塔斯基对“谎者”悖论的解释，以“本语句”指称或界定“本语句假”，犯了“矛盾定义”的谬误，而哥德尔的理论也因跟塔斯基理论的内在联系，也可能引起我们的疑问。     

人工智能技术在GIS应用中的研究

人工智能技术与GIS相结合，能够对海量空间地理数据中的结构化和非结构化知识进行表达推理，预测未来发展趋势，智能化的解决复杂的现实问题。文中阐述了人工智能与GIS结合的研究热点，在智能化知识推理中给出了详细解释，并以实例具体描述了专家系统中自然语言输入到结果输出的运行过程。     

模糊目标信息系统上的逻辑及决策规则

基于模糊目标信息系统模型，并结合粗糙集相关的逻辑理论，提出了模糊粗糙决策语言FRDL，给出了FRDL中公式的定义、语义、可满足性有效性的形式化描述以及相关的性质。在此语言的基础上，给出了模糊目标信息系统上的决策规则、逆决策规则形式化描述和构造方法。FRDL所描述的逻辑表达方法以及规则推理公式为建立在模糊目标信息系统之上的决策支持系统、推理机提供了形式化的表示和推理方法。最后，在眼科近视诊断上进行的数据实验表明，这种形式化描述和推理方法比较合理。     

支持与证据的形式化研究

关于不确定推量，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定推理的理论，在专家系统中的应用也日趋成熟，所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文献[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。     

容错推理的逻辑基础

容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。     

Ontology技术及应用

目的分析Ontology特点,探讨Ontology在自然语言理解中的应用。方法通过概念之间的关系来描述概念的语义。结果Ontology解决了自然语言理解中的消歧、推理问题和在语义Web中的应用。结论利用Ontology作为知识体进行自然语言理解,能够有效的把语言学知识和世界知识结合起来,运用世界知识对文本进行消歧和推理;Ontology与知识系统的知识库相融合,使得自然语言理解不仅仅是作为一种人机交互方式,而且能够与其它的基于知识的智能系统如专家系统整合。     

一种新型的三Ⅰ算法及其逻辑基础

在Fuzzy推理中提出了"过半可信"原则,并证明了R0-型三角模恰为可实现这一原则的三角模.在此基础上,将Fuzzy推理中的大、小前提作了修正从而摒弃了不可信的推理成分,提出了一种新型的三Ⅰ算法(Triple Ⅰ)*.研究了逻辑系统（l） *中的形式化推理机制,基于根的理论为新型三Ⅰ算法奠定了严格的逻辑基础.     

对“突然演习悖论”的分析

"突然演习悖论"又称"意外考试悖论"、"意外绞刑悖论"等,是一个著名的逻辑悖论,许多学术大家都对其有所讨论,但至今没有公认的消解方案。在对"突然演习悖论"的缘起做了简要叙述后,用非技术化的语言对此悖论及其改进和变种进行了简要的梳理和分析,重审了可能导致悖论的推理前提和步骤,并提出了自己的尝试性解决思路。     

UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

一种理性安全协议形式化分析方法及应用

博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证.不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议.于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构rCEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑rA-TEL-A,并基于不动点描述rATEL-A时序算子.然后基于rATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析.