论文部分内容阅读
辩论推理作为人类常识推理中的一种主要的冲突处理方式,可以较好地解决不同信息来源之间的知识存在冲突所产生的问题。然而,由于已知的辩论推理框架和经典逻辑的结合性较差,这很大程度上限制了辩论推理在具体问题上的应用。本文主要关注于将辩论推理的思想应用于命题逻辑和以经典逻辑为基础的描述逻辑上,并在其中引入模型论语义,使得辩论推理可以在语义上较好地和经典逻辑契合,并辅助经典逻辑下的知识推理。本研究主要内容包括: ⑴对抽象辩论框架进行扩展,在命题逻辑下讨论了辩元的结构,将辩元结构定义为命题逻辑下的推理过程,作为辩论的内在推理模式,并通过为命题逻辑下的规则附加置信度和例外两种方式,对辩元之间的反驳关系给出形式化定义,保证了攻击关系的单向性。此外,简单地讨论了辩元的构造方式以及通过命题逻辑辩论框架进行溯因推理的可行性。 ⑵在命题逻辑辩论框架的基础上,分析了基于对话的辩论的组成部分,对于一个由正反双方轮流提出辩元所组成的辩论序列,给出了其可以代表一场合法的辩论所应满足的条件,并通过引入博弈论思想,通过博弈的胜者对论点的可论证性作出决定。此外,也通过构造包含所有可能辩论过程的辩证树,为求解辩论博弈的胜者给出一个极小极大算法。 ⑶对于博弈论语义计算困难的问题,以及辩证树中可能存在冲突辩元的情况,为命题逻辑下的辩论框架给出一种模型论语义。并指出,在将一场辩论博弈的参与者所有提出的辩元限制在某个满足一定条件的辩论模型之后,可以绕过辩证树的构造过程,部分决定辩证博弈的结果。此外,也针对不同类型的命题逻辑辩论框架,给出了辩论模型的计算方法。 ⑷由于命题逻辑的表达能力的限制,将命题逻辑下的辩论框架推广到本体层的描述逻辑语言中,这令我们可以部分表达全称命题和存在命题,给出相较在命题逻辑下更多样化的攻击关系定义,并将可废止性引入描述逻辑推理。此外,在描述逻辑的辩论框架下定义归纳术语的概念,并指出,由于辩论推理的特殊性,可以在不破坏原本推理性质的基础上,在其中引入归纳的推理方式。