知识蕴涵时态逻辑系统

在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。

知识蕴涵直觉主义逻辑系统

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。

知识蕴涵模态逻辑系统

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

信息知识蕴涵的深加工和再开发服务——创新和发展知识服务的突破口

信息知识蕴涵深加工和再开发服务,以高技术集成和宽平台集成以及两者整合和创新重组的全系统集成,从信息知识原生态外在直接表现出发,深入知识信息再生态内在深层蕴涵。不仅介入信息知识蕴涵的边际状态及其现时静态显性和隐性层面,而且介入信息知识蕴涵的系统状态及其潜在动态隐性和全息层面,提示和显示信息知识蕴涵在当代新的历史条件下对人来说的新意义、新价值、新效用。既主导和引领信息搜集和检索集成化服务,又推动和促进知识整合和创新。传统粗放型信息服务向现代集约型知识服务转变的突破口,正是信息知识蕴涵深加工和再开发服务。

知识蕴涵逻辑的应用

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

音乐逸话:爱乐世界的一抹亮色

音乐逸话(musical anecdotes)通常指的是音乐“正史”之外的关于音乐艺术的传说、轶事、掌故和趣闻。虽然这些内容与专业的音乐学术研究没有什么直接关系,但对广大音乐爱好者来讲却有着音乐欣赏的引导和助兴作用。音乐逸话不仅有趣,也有一定的知识蕴涵。爱乐生活中如果有音乐逸话的点缀,那么音乐的聆听和感知肯定会多一种趣味与智性交织的色彩。

不协调信息的推理机制研究

不协调信息系统的推理问题是国际逻辑学研究的前沿问题之一。该著在系统考察国内外各种弗协调逻辑及其相关研究成果的基础上,提出了解决不协调理论推理问题的方案。内容包括:(1)明确揭示出至少存在三种不同的否定,即矛盾关系否定、反对关系否定和下反对关系否定;(2)建立了对当关系逻辑系统;(3)提出了一种更加符合直觉的蕴涵——知识蕴涵,基于这种蕴涵,系统构建了一系列逻辑系统;(4)尝试通过转换的方法解决不协调信息之间的推理问题。