基于语言真值格值命题逻辑系统l_(νpl)的推理规则

一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。

语言真值直觉模糊逻辑的知识推理

针对格蕴涵代数、直觉模糊集及知识表示、基于语言真值直觉模糊代数的相关性质及运算方法,提出了六元语言真值直觉模糊代数的相关逻辑性质,并在六元语言真值直觉模糊知识表示的基础上,将模糊推理的CRI方法进行扩展,研究得出了六元语言真值直觉模糊推理的方法即6LTV-CRI算法。而后将直觉模糊推理与六元语言真值直觉模糊推理方法进行对比分析,验证了6LTV-CRI推理算法的合理性,并分析了其优缺点。

语言真值格值命题逻辑系统中广义文字的归结判定

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数LV(n×2)的一些性质,在基于十八元语言真值格蕴涵代数LV(9×2)的格值命题逻辑系统LV(9×2)P(X)框架下,刻画了1-IESF和2-IESF型对应广义文字的结构,给出了其广义文字的可归结性。这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础。

语言真值格值命题逻辑中的α-语义归结方法

语言值智能信息处理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。为了提高基于语言真值格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理,研究了基于格值逻辑的归结自动推理方法。首先给出了语言真值格值命题逻辑系统的α-语义归结与LnP(X)中相应归结水平的语义归结之间的等价性,并通过实例说明其有效性。接着,给出了语言真值格值命题逻辑系统的α-语义归结算法,并证明了该算法的可靠性和完备性。

基于逻辑合取的语言真值概念格合并算法

针对人工智能领域中有关不确定性自然语言的研究,将格值逻辑引入概念格,提出了自然语言转换为语言真值的方法,并基于语言真值格蕴涵代数建立了语言真值概念格.通过对各语言真值形式背景及形式概念间关系的分析,演示了由多个语言真值概念格的合并而构造完整概念格的具体过程,进而给出了语言真值概念格基于逻辑合取的合并定理与算法.实验表明,与Bordat算法相比,当属性个数增多时,适当的合并算法能够使其时间复杂度呈指数型降低.

α-Input and α-Unit Resolution Methods for Generalized Horn Clause Set in L_(V(n×2))F(X)

a-Input resolution and a-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic （ Lv（ n × 2） F（X） ）, which can represent and handle uncertain linguistic values-based information. Firstly the concepts of a-input resolution and a.unit resolution are presented, and the equivalence of them is shown. Then α-input （a-unit） resolution is equivalently transformed from Lv（ n × 2） F（X） into that of LnP（X）, and their soundness and completeness are also established. Finally an algorithm for a-unit resolution is contrived in LnP（ X）.

论蒯因在《逻辑哲学》中对LD的攻击

分析哲学家们大多知道,蒯因曾经强烈地反对过卡尔纳普对于逻辑真句的看法。卡尔纳普认为逻辑真句是纯粹基于语言而为真,与非语言的世界毫无关联。卡尔纳普的这个看法被蒯因称为"逻辑真句的语言性教条"(简称"LD"),并在多篇文章中强烈地加以抨击。蒯因反对LD的理由有多个,而且个个看起来理据充分,但本文的作者相信,蒯因这些论证的论据其实是不充分的。在本论文中,作者仔细分析并评论了蒯因在《逻辑哲学》一书中对LD所提出的两个攻击论证,并指出它们的弱点。作者得出结论说,不但LD经得起蒯因这两个论证的抨击,即便蒯因常攻击的分析与综合真句的区分也仍然是一个可以辩护的区分。

基于语言真值格值一阶逻辑的不确定性推理的语法

讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的闭性和可靠性,证明了推理规则在α≤∧θ∈Ln×L2(θ→θ′)(θ≠(an,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要条件。

基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记

引入了语言真值格值一阶逻辑系统L_(v(n×2))F(X)的原子程度公式和语言真值格值程度合式公式的概念,讨论了解释域D下的公式偏真和恒真的一些推演性质,得到了程度化公式偏真和恒真的一些语义与语法特征.

基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中两种模型的不确定性推理

在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证。

“中庸”与“中道”:孔子与亚里士多德之德性观的差异

孔子持"中庸是德性",而亚里士多德持"德性是中道"。孔子的"中庸"是德性的主词,其德性主要是伦理德性,有着整体性的思维方式和天人互动的"天命"观念;而亚氏所论的"中道"则是德性的谓词,其德性观包含着伦理德性和智性德性,侧重于分析的思维方式以及科学的理论思维,其智性德性最终与其宗教观念相通。他们思想的差异对中西文化的不同走向产生了巨大影响。