面向语义万维网“大规模分布式不完备推理平台LarKC国际专题会议”综述

LarKC项目是开发面向语义万维网的大规模分布式不完备推理平台,LarKC国际专题会议又是全面掌握与免费应用LarKC推理平台的平台。基于第4届LarKC国际专题会议的第一手信息,文章概要介绍LarKC项目诞生的背景与任务、框架及开发进展、历届LarKC国际专题会议,最后作出总结。     

模糊度量空间一些性质的研究

首先在模糊空间L（x）定义了一个度量d,其次证明了这个模糊度量空间具有某些特殊的性质。     

空间L_X~1(μ,Σ)性质的讨论

设X是局部凸Fréchet空间,(Ω,Σ,μ)是非负有限测度空间,则L1X(μ,Σ)是完备的,从而也是局部凸Fréchet空间.     

哲学视角及其反思批判性

哲学要面向实际、研究现实问题，就有必要引入哲学视角。哲学视角具有反思批判性和完备彻底性。从具有完备彻底的反思批判性的哲学视角形成的说法、看法、做法和问题，必须是一种经受了完备彻底的反思批判的说法、看法、做法和问题，这种说法、看法、做法和问题必须是意思已经得到澄清，成立已经得到最终证明，价值已经得到全面估计。哲学视角也有其局限性。     

若干命题联结词集合的完备性和不完备性证明

命题联结词集合的完备性和不完备性是命题逻辑中一种有趣的现象,证明了联结词集合{∨,∧,→,}和{～,}的不完备性,并在表明联结词集合{～,∧},{～,∨}和{～,→}是完备的基础上证明了两个单元集{↓}和{|}是完备的。     

略论宋代小学语文教材体系

宋代编写的语文教材,版本多,数量大,涵盖了小学语文教学识字、写字、阅读、写作、辅助教学工具书的全部内容。这些教材从识字写字开始再到阅读直到最终写作,由浅入深,前后连贯。再加上字典的辅助教学。因此具备了教材体系中能配套使用的功能。由于宋代是我国古代最早编写出小学语文完备教材的朝代,所以宋代是我国古代小学首套语文完备教材体系形成、出现的朝代。     

广义Ｋac—Moody代数的导子

本文给出了广义Ｋａｃ－Ｍｏｏｄｙ代数的广义抛物子代数的定义；确定了这类子代数导子代数的结构；并且给出了这类子代数完备的充要条件。     

四元数序列空间l^p

在泛函分析中对空间性质研究的基础上,讨论关于四元数序列空间l^p的性质.     

求轨迹方程时避免增解与漏解的诀窍

求动点的轨迹方程时,应注意完备性与纯粹性,完备性是指动点所有可能的位置都应考虑到,即轨迹方程一个点也不遗漏;纯粹性是指所求出的轨迹方程所对应的曲线上的点都必须满足条件,即轨迹方程一个点也不增加.在解题中如何有效地避免增解或漏解呢?下面的     

弱压缩映射及其不动点定理

本文首先引入弱压缩映射的概念,证明了几类常见的压缩映射都是弱压缩映射.最后给出弱压缩映射的不动点定理,从而说明弱压缩映射是具有一般性的压缩映射.