K^(*)■谓词逻辑系统公理化真度的运算性质研究

以一阶谓词逻辑中公理化真度的定义和性质为基础,对K^(*)■谓词演算系统中的公式真度进行了研究,分析了含量词、交算子和蕴涵算子的公理化真度的运算性质,给出了将复杂公式的真度转换为几个简单公式的真度进行计算的方法.

MTL∀谓词逻辑系统公理化真度及其相似度的性质研究

命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL∀,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.

K^(*)∀谓词逻辑系统中相似度及伪距离研究

从一阶逻辑系统的相似度出发,结合谓词演算系统K^(*)∀,以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质,对相似度性质进行了简化,并对K^(*)∀中闭公式相似度及伪距离的计算方法和性质作进一步推广。

中介谓词逻辑系统的λ-归结

给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的λ解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.

谓词逻辑系统MTL■中公式的公理化真度

命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL■中,利用公理化方法提出了MTL■公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL■的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题。

MTL■谓词逻辑系统公理化真度的运算性质研究

针对命题逻辑及谓词逻辑的计量化这一研究热点,在基于左连续三角模的谓词演算系统MTL■中,对公理化真度的计算方法、运算性质、逻辑算子之间的关系进行了研究.

BL■谓词逻辑系统中相似度计算方法

以一阶逻辑公理化真度概念为基础,从公式间相似度出发,结合谓词演算系统BL■,首先讨论了含强等价算子的相似度性质,然后根据公理化真度的性质简化了相似度的运算方法,最后给出了闭公式相似度的计算方法及性质。

卡尔纳普归纳逻辑系统在知识获取中的应用

本文简要地讨论了Carnap归纳逻辑系统以及该系统在人工智能中进行实际应用的困难与可能性,着重分析了Carnap系统的一个可能应用领域——基于概念学习的知识获取,最后给出了我们在micro VAXⅡ上使用Prolog所实现的一个知识获取算法CAA,此算法运用Carnap归纳逻辑系统的相应理论和方法对所获取的知识进行了评估和证实。

一阶形式系统K^＊及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.

信任谓词的计算语义

讨论逻辑系统中信任谓词的计算语义以及表述信任谓词基本性质的若干公理。首先指出计算的协议组合逻辑在讨论信任关系方面可能存在证明过程与挖掘内在信任关系方面的缺陷;扩展谓词演算系统形成基本协议逻辑并为其添加计算语义以便用于描述安全协议;最后从信任关系的本质含义出发,在基本协议逻辑系统中严格定义信任谓词的计算语义,并通过讨论若干公理反映信任谓词的基本性质。

一阶逻辑中几类特殊公式的真度计算方法

对一阶逻辑Łukasiewicz系统中的几类特殊公式的公理化真度展开研究。根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广。

基于改进的无穷值语义解释的中介谓词逻辑的λ-归结

中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当A fuz时～A真"这种情况并未得到反映。在此基础上,进一步研究得到了中介谓词逻辑系统MF一种真值域为[0,1-λ)∪(1-λ,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,给出了MF中λ-互补文字及弱无中介集的定义,提出了一种新的MF的λ-归结原理,并证明了其可靠性和完备性。在改进的MF的无穷值语义解释下,不仅较好的表达了"当A fuz时～A真"的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。

广义量词理论述评

广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分的推广，从而极大地提高了逻辑的表达能力。广义量词理论始于五十年代末期，但它发展很快，已成为数理逻辑中一个相对独立的研究领域...

离散数学中与量词有关的推理规则

清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件 ,而这些条件在许多离散数学教科书中叙述得相当含糊 .与某些教科书中存在量词消去规则只能用于无自由变元的公式不同 ,按照本文给出的条件 ,存在量词消去规则也可以用于有自由变元的公式 ,因而增强了系统的推理能力 .引进了解释之间和赋值之间关于公式集的等价性 ,从而证明了系统是可靠的 。

“分析性”是绝对的吗?——关于塔斯基质疑的思考

自从1951年奎因在其著名的《经验主义的两个教条》(以下简称《教条》)一文中提出对“分析性”的批评以来,“分析性”是否是绝对确定的就成了哲学界的热门话题。然而,早在1935年塔斯基就曾对“分析性”提出质疑,由于历史的原因,塔斯基对“分析性”的思考不大被后来的研究者提起。我认为,塔斯基的质疑比奎因后来提出的批评更深刻。

自由逻辑中的存在问题

自由逻辑是20世纪50年代兴起的一个哲学逻辑分支。由于在有些自由逻辑系统中引入了表示“存在”的逻辑符号“E!”，而且自由逻辑中的量词包含经典谓词逻辑的存在含义，这就使得自由逻辑不可避免地与存在问题联系在一起。关于存在问题的哲学争论历史久远。

逻辑的范围

科学的范围是科学哲学的问题:哪些知识领域(或“知识”)可以视为科学呢?例如,应将炼金术、占星术、社会学或者心理学视为真正的科学吗?凭什么来包括或排除一个给定的研究领域?类似地,逻辑的范围是逻辑哲学的问题,因此逻辑哲学的范围问题也是逻辑哲学问题,它包括:逻辑是什么?哪些形式系统是逻辑系统?是什么使得它们如此?

《广义模态逻辑》出版

︽广义模态逻辑︾出版○陈波弓肇祥教授的《广义模态逻辑》一书已由中国社会科学出版社出版。该书具有以下三个特点：一、内容详尽，涵盖面广。这主要表现在：１全书论述了模态逻辑、时态逻辑、道义逻辑和认知逻辑，几乎包括了广义模态逻辑较为成熟的全部内容，这在国内...