【摘 要】
：
论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在哲学方面,十九世纪50年代和60年代图尔敏和佩
【机 构】
：
乌特勒支大学信息与计算科学系,格罗宁根大学法学院
论文部分内容阅读
论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在哲学方面,十九世纪50年代和60年代图尔敏和佩雷尔曼对形式逻辑的批判,促进了非形式逻辑这一学科的产生,它研究推理和论证的非形式模型.在人工智能方面,论证的形式模型也发展成为常识推理和多主体冲突解决的基本模型.本文将讨论后一领域中所研究发展的形式模型如何能够用以澄清一些哲学领域、以及非形式逻辑领域中的理论问题和争议.本文的一个重要观点是,图尔敏和佩雷尔曼时代的形式逻辑只关注数学化的推理,但那些非数学化的推理形式其实同样也能够被形式化.
其他文献
我国债券市场仍然存在交易效率有待进一步提高,风险控制有待进一步保障的现象,反映了债券市场的发展存在监管架构、市场行为监管方面法律制度不完善、监管手段行政化、结算托
实践中上市公司采取形形色色的措施,如模糊累积投票适用范围、减少应选董事或监事的人数、等额选举、剥夺或限制中小股东的提名权的等方式,极大限制了累积投票制度的实际效用
金寨县土地利用生态环境现状及存在问题rn土地生态环境现状.1水环境.安徽省金寨县饮用水主要来自于梅山水库、响洪甸水库,部分饮用水源于地下水.据2011年统计,金寨县饮用水源
审计管理是管理机构运用现代管理科学原理与方法,对审计活动及其关系进行决策、计划、组织、指导、协调、控制,以提高审计工作效率与效果,实现审计目标的活动.推进审计工作现
夏军,90后创客,爱狗团创始人。此前,他曾是一家估值过五千万元的公司创始人兼CEO,但后来由于投资人的撤资,他一切又得重新开始。对于有如从天堂到地狱般的经历,夏军可谓是感
7月,承载着—段辉煌的历史,迎来了党的95岁生日.rn在庆祝中国共产党建党95周年的激动人心的日子里,习近平总书记等中央领导同志做出的大力弘扬“石油精神”的重要批示又一次
本文旨在为构建一种以论证型式为基础的方法,用以帮助非形式逻辑的学生分析自然语言对话的文本,并识别出其中所出现的常见论证类型.他们在这一过程中时常会错误地辨识论证类
目前我国禁止证券从业人员买卖股票,但是实践中从业人员违规买卖股票的事件时有出现。全面禁止证券从业人员买卖股票制度的合法性、合理性和实效性,都值得重新审视;而有条件
非形式逻辑出现于上个世纪70年代,它首先是一种寻求更好的大学逻辑教学方式的努力.进而,非形式逻辑学者们逐渐开始触及和探讨越来越多的理论议题,即发展不依赖于形式逻辑的关
今年,我国将启动全国碳排放权交易市场,这将在我国应对气候变化历史上写下浓墨重彩的一笔.全国碳市场的建设是国家应对气候变化、推动低碳发展的重大举措,意义深远.此前,我国