论辩术当代复兴综述

自20世纪中叶始,随着人们对现代形式逻辑的形式主义和演绎主义特征进行深刻反思,也因为对话逻辑、言语行为理论、语言哲学等理论对逻辑理论产生的重要影响,人们对亚里士多德的《论题篇》和《辩谬篇》进行了重新解读,开始重视亚里士多德的论证分析与评价理论。于是,作为论证新理论的论辩术开始复兴,已经并将继续对现代逻辑的发展产生积极而深远的影响。论辩术当代复兴的主要代表有形式论辩术、语用-论辩术和新论辩术三大方向。     

论证再论

本文在讨论了论辩与论证、论证与推理的关系和论证基本模式的基础上提出论证的新定义，认为以这一论证概念为核心的论证理论将形成一种论证逻辑，它不同于以形式推理为核心的形式逻辑。     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

模 糊 择 优 逻 辑 的 数 值 扩 充

提出一种新的模糊逻辑数值模糊择优逻辑, 给出了数值模糊择优逻辑的语法和语义, 并研究了其性质. 该逻辑结合多值逻辑和择优推理的语义特点, 得到的推理关系具有模糊性、 次协调性和非单调性, 且知识的模糊性能以数值的形式显式地表现, 适用于对智能系统中的不精确、 不一致和不完备知识进行表示和推理.     

辞格的论辩功能初探

论辩的强大攻击力不仅仅需要缜密的逻辑思维能力的支撑,还离不开论辩者出色的语言表达能力。辞格作为一种修辞手段与论辩有着密切的联系。辞格具有论辩功能,无论是日常生活中轻松诙谐的论辩,还是正式场合下紧张严肃的辩论,都因辞格的参与而精彩。辞格的恰当使用能够大大增强论辩效果。     

从“有理说不清”到“有理说得清”的技术——《论辩巧智:有理说得清的技术》述评

对《论辩巧智:有理说得清的技术》及其作者作了概述,介绍了该书中论辩分析、论辩评价和论辩表达3个部分的主要内容。该书是作者多年来在好几个国家的多所大学授课的讲稿的基础上编写而成的。在许多方面,它不同于传统教科书,它是一部学术性著作,更是一部在诸多领域中实践性非常强的著作。     

解释非单调推理

本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。     

试论修辞论辩在新闻语篇中的应用

三段论不仅是亚里士多德逻辑学的重要内容,也是重要的论辩模式。本文以新闻语篇为背景材料,以亚里士多德的修辞三段论为工具,对新闻语篇中的论辩模式和论辩手段进行分析,力图揭示论辩模式及各种论辩手段在新闻语篇中的应用及对新闻语篇的劝说效果的增强作用。     

予岂好辩哉?予不得已也——《孟子》一书对孟子辩者形象的塑造

长于论辩,是《孟子》散文的突出特征。《孟子》一书通过对孟子言行的记录,不仅表现了孟子的思想和理论,亦成功地为后人展示了一个鲜活的辩者形象。孟子与时人的论辩涉及政治、经济、伦理道德、哲学等诸多领域;通过对旁征博引、因势利导、诱敌入彀、归谬反驳、执经行权等论辩方法的娴熟驾驭,表现出鲜明的个性特点。     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

结合优先有和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法,它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性。     

一类计算机辅助诊断系统及其在人工心脏起搏器安植中的应用

本文提出一类计算机辅助诊断系统。它是基于相当数量和权威性的知认,通过特征抽取逐步限定的优化决策过程以代替或协助专家解决问题的计算机程序系统,此系统使用基于不确定信息逻辑,证据理论和FOX关于扩展概率框架的一种非单调逻辑确立了由商空间的优化缩影形成数量较少的判断规则(极小指征集族)的数学模型和作为似然推理模式的“相似性原则”。使用了具有较强的PROLOG自动推理能力的语言以表述知识,形成智能数据库并通过自动发现问题和与专家配合而动态地完善规则集得以实现学习功能。本系统在人工心脏起搏器的安植、更换中的成功应用,为推广、移植到其它领域展示了诱人的前景。     

大学生论辩能力的构成要素及其提升路径

该文介绍了言语表达能力、论辩技能、知识储备和论辩修养等论辩能力的基本构成要素,并基于大学生的特点针对性地提出了提高语言表达能力和思维反应速度、熟练运用各种论辩技巧、丰富知识储备、提高论辩修养等提升路径。     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

复合限制

限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用.     

爱因斯坦引发的逻辑哲学问题

依爱因斯坦的观点,逻辑全等于演绎,与归纳并为西方科学的两大成就。认同爱因斯坦的逻辑观,试从"划界"的视角寻求根据。演绎和归纳的界线在于:前者以必然为真的逻辑真理即逻辑规律及相应的有效推理形式为研究对象;后者不研究逻辑真理及有效推理形式,其结论只是或然为真。是否以逻辑真理及相应的推理形式为研究对象,就是逻辑与非逻辑的分界线。演绎与归纳也有关联:均来源于经验。逻辑规律的前身就是归纳结论,经逻辑系统的整合而转身为必然的真命题。逻辑学家通过对逻辑系统的论域作出修正、限制或重新解释,以排除一切可能的反例,就可保证逻辑真理具有永恒的必然性。这就是逻辑学家使或然的归纳结论转化为必然的逻辑真理的诀窍。不能从演绎和归纳在认识中不可分离,推出逻辑必须包括归纳。归纳属于与逻辑同等重要的另一学科:科学方法论。     

基于L~*系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.     

基于L^＊系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM，以及模糊命题演算的形式演绎系统L^*，在L^*系统中定义了后承关系|～：A|～B当且仅当A^2┠B，证明了在L^*系统中的这种后承关系满足累积单调推理系统CM，非单调优先推理系统P的全部规则，但这种后承关系不满足单调推理系统M的逆否律规则，从而在L^*系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统，这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路。