知识蕴涵模态逻辑系统

使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立.在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制.根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现.     

知识蕴涵逻辑的应用

知识蕴涵逻辑是能够处理包含矛盾信息知识系统的推理问题的一类逻辑系统。它可以避免由于矛盾信息而带来推理后承的致命性结果。其应用前景非常广泛,主要体现在:1.为智能系统提供处理不协调信息的逻辑工具;2.用于不协调信息的形式表示;3.有助于自然语言的理解。由两个具体的应用实例可以看出,在某些情况下,用知识蕴涵逻辑描述人类的推理过程更加符合人类智能的实际情况。     

Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统Ln

讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3）,首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式（tautology）与IPC（inmitionistic propositional calculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。     

格蕴涵代数及基于格蕴涵代数的格值逻辑系统的研究

在智能信息处理领域中,非经典逻辑的研究已越来越受到十分广泛的关注,本文简要介招了近几年来我们在格值逻辑领域的一些理论研究工作,其中主要包括逻辑代数——格蕴涵代数、代数逻辑——格值逻辑以及相应的不确定性推理方面的内容。     

以目的与背景知识为双条件的逻辑AKC

首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理和推理规则的框架条件，证明AKC相对这些框架条件是框架可靠的。最后，我们证明AKC相对这些框架条件也是框架完全的。     

逻辑系统外的“真”

非形式论证有广义与狭义之分,在一个形式逻辑系统外非形式论证应做狭义理解,即不可能前提真并且结论假。而在一个形式逻辑内的可靠性证明中就蕴涵了这种狭义的非形式论证。因此,一个逻辑系统只要证明它是可靠的,那么它就能保证不可能前提真并且结论假的出现。     

模态系统P1的协调性

本文证明模态系统P1的协调性。为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P和严格蕴涵系统S等价。     

知识形式:基本蕴涵、教育价值与教学策略

知识形式包括知识的思维方式、检验方式、表达形式。知识形式的学习是转识成智、化知为能的基本途径。知识形式教学的基本策略为:复演知识的形成过程,开展知识探究活动;学习知识表达形式,学会学科思维。     

知识旨趣:基本蕴涵、教育价值与教学策略

知识旨趣是知识生产的目标追求与价值取向,以及知识学习的兴趣与情感。掌握知识旨趣有助于强化学习目标,激发求知热情;有助于理解知识的实质内容与探究形式。知识旨趣的教学策略有:讲述知识发生故事,洞察知识的意义;复演知识形成过程;体验知识的乐趣;运用所学知识"解题",感受知识的价值。     

基于描述逻辑的知识建模语言

当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.     

基于描述逻辑的知识建模语言

当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.     

数理逻辑中的联结词蕴涵式

在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分析.     

试析在自然逻辑与不自然逻辑中对蕴涵的刻画

正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样,我们也肯定蕴涵是逻辑学最重要的概念,首先介绍不同的蕴涵定义,说明了实质蕴涵是对假言命题在真值意义上的抽象,而建立在实质蕴涵基础上的逻辑蕴涵,是以不自然的方式刻画逻辑学中最重要的"推出关系"或者"后承关系",从而引起种种误解。其任务就是要在区分这两种具有不同含义的蕴涵的基础上,进一步研究不自然逻辑中的蕴涵概念,澄清各种对蕴涵的误解。     

辩证逻辑与形而上学——兼析形式系统Z的辩证法含义

形而上学的先验分析在康德那里被提到一个十分引人注目的地位，康德的先验分析方法很快被黑格尔抓住并且大加发挥，成为他的辩证逻辑的基本原则，即“正、反、合”，也叫做“否定之否定”。辩证法原则在一个严格的形式系统即系统Z中得到一定程度的体现。系统Z所刻画的辩证逻辑主要是作为形而上学的先验分析手段或思维方法，因而属于语言形而上学。对事物内部的矛盾结构的具体表述则是自然哲学或自然辩证法的任务。自然辩证法属于本体形而上学，它与作为先验分析因而属于语言形而上学的辩证逻辑是一种互补的关系。     

知识表示与逻辑程序设计

本文结合我们在多机分布式系统上研制的WUMPPS AND并行处理系统,讨论了知识表示的几种方法,阐明了逻辑方式表示知识的优越性及逻辑程序设计与知识表示之间的关系     

论网络诗歌的知识逻辑

网络诗歌作为诗歌发展的一个新媒体形式,经过十几年的时间,随着互联网的快速普及,已经是蔚为大观。而学术界对网络诗歌也逐步由直观感性的议论,进入了理性的思考和学理的研究,网络诗歌从产生到发展有其自身的逻辑性,把技术的进步、后现代的文化和消费语境作为切入点,为我们研究网络诗歌提供了一个新的角度。     

洛克知识论的内在逻辑

洛克知识论贯穿知识确实性主线。洛克以观念和语词为起点 ,从认知的心理行为和逻辑的语言表达两个层面展开了知识在不同逻辑层次发展的一种经验主义内涵逻辑的知识论体系 ;以人的认知行为和道德行为为起点 ,从知识和人生两个层面探讨了知识在不同领域表现的一种经验主义外延逻辑的知识论体系 ,试图为科学的基础作出形而上学的解决 ,对近现代哲学产生了深远的影响。