【摘 要】
：
论证是一个用理由支持观点以及回应其所受攻击的过程。在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题。在哲学方面,十九世纪50年代和60年代图尔敏和
【机 构】
：
乌特勒支大学信息与计算科学系; 格罗宁根大学法学院;
论文部分内容阅读
论证是一个用理由支持观点以及回应其所受攻击的过程。在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题。在哲学方面,十九世纪50年代和60年代图尔敏和佩雷尔曼对形式逻辑的批判,促进了非形式逻辑这一学科的产生,它研究推理和论证的非形式模型。在人工智能方面,论证的形式模型也发展成为常识推理和多主体冲突解决的基本模型。本文将讨论后一领域中所研究发展的形式模型如何能够用以澄清一些哲学领域、以及非形式逻辑领域中的理论问题和争议。本文的一个重要观点是,图尔敏和佩雷尔曼时代的形式逻辑只关注数学化的推理,但那些非数学化的推理形式其实同样也能够被形式化。
其他文献
<正>美国幼儿园:轻松的氛围在美国,幼儿园的各种设施都按孩子生活和学习的需要设置,非常有情趣,而且老师在任何位置都能看到他们在自由地玩耍。明亮的房间,可以摆放鲜花的矮
<正>各车间将废品率指标分解到每道工序、每个人,完成情况直接与效益工资挂钩,改变了过去操作工只管数量,不管质量的状况。乾通汽车附件有限公司(简称乾通)主要生产各种型号
1知识要点概述在解数学题时，人们往往习惯于从问题的局部出发，将问题分解成若干个简单的子问题，然后再各个击破、分而治之．但此方法并非对所有题目都适用，它常常导致某些题目求解
在李白的一生中,"侠"字占据了相当重要的地位。唐代是侠文化发展的高峰时期。从文明史的角度来看,中原文化在吸收了胡文化的精髓后展现出了新的生命力,社会展现出前所未有的
针对常规变电站系统运行安全性低、电能质量可控性不高、运行维护工作量大等问题,设计了一种基于组态王的变电站综合自动化监控系统,用于对变电站实时运行情况进行监控。
目的了解阴道超声引导下卵泡穿刺后行人工授精治疗未破裂卵泡黄素化综合征（LUFS）所致不孕症的效果。方法选择未破裂卵泡黄素化综合征患者120例,随机分为2组,卵泡穿刺组60例患者
溴代比色法已广泛应用于CO2+O2地浸采铀工艺样品中铀的分析;但存在测定值低于试剂空白测定值和平行分析时测定值呈负增长趋势的问题。为此,对该方法的测定下限和干扰元素做了
本文通过对重力和航磁资料解译,研究了青藏高原东北部东西向构造特征。在该区域存在6条大型东西向构造带,它们的共同特点是:(1)东西向延伸超过1000km,南北宽约60km;(2)越向深
电影《孔雀》在一种独特的、微旧的蓝色里，镜头缓缓拉向上个世纪七十年代的小城安阳。一个普通的五口之家一父亲、母亲、哥哥、姐姐、弟弟。缓慢的进程中讲述青春希望的挣扎和
本文分析了“工程保”业务产生的背景，介绍了“工程保”业务的运作模式，对实现项目业主、施工单位、银行及政府多方共赢的机理进行了探讨。同时分析了该业务潜在的风险，并针对这