【摘 要】
：
To resolve conflicts among norms,various nonmonotonic formalisms can be used to perform prioritized normative reasoning.Meanwhile,formal argumentation provides a way to represent nonmonotonic logics.I
【机 构】
：
Zhejiang University, China
论文部分内容阅读
To resolve conflicts among norms,various nonmonotonic formalisms can be used to perform prioritized normative reasoning.Meanwhile,formal argumentation provides a way to represent nonmonotonic logics.In this talk,I introduce a representation of prioritized normative reasoning by argumentation.Using hierarchical abstract normative systems,we define three kinds of prioritized normative reasoning approaches,called Greedy,Reduction,and Optimization.Then,after formulating an argumentation theory for a hierarchical abstract normative system,we show that for a totally ordered hierarchical abstract normative system,Greedy and Reduction can be represented in argumentation by applying the weakest link and the last link principles respectively,and Optimization can be represented by introducing additional defeats capturing implicit conflicts between arguments.
其他文献
Instantial neighborhood logic (INL) is classical propositional logic enriched by a two-sorted operator □.In a neighborhood model,s formula like □(α1,...,αj;α0) (for an arbitrary natural number j) mean
In recent years,formal argumentation has been an increasingly active research topic in the field of logic and artificial intelligence.One of its aims is to bridge the gap between human reasoning and c
Projection as one of the main features of presupposition refers to the phenomenon in which the presupposition of an embedding sentence tends to escape from its original position.It has been noted that
罗素未发表手稿的系统整理和陆续出版为罗素逻辑理论研究提供了新材料.基于这些新材料,罗素的非受限变元概念日益突显出了其理论价值.非受限交元理论表明:一个变元是非受限的,当且仅当该变元的取值范围是实体域.据此,罗素的逻辑观念是实在论的,逻辑普遍性是通过非受限变元体现出来的.替代理论是非受限变元理念与方法的典型体现.《数学原理》中的分支类型限制并没有影响非受限变元的存在.《逻辑哲学论》中的显示理论运用了
解决“实质蕴涵怪论”问题，须首先在逻辑语义学视域之中厘清蕴涵关系的层级，进而再从语用学上考察各类条件句“是否”或“如何”表达不同层面的蕴涵关系。运用集合论工具可以说明，逻辑蕴涵、严格蕴涵、直觉主义蕴涵、相干蕴涵等各种蕴涵关系，实际上都是作为真值函数的实质蕴涵关系之居于不同层面的“子集”。建构“蕴涵层级论”的主要目标，即系统把握作为实质蕴涵关系之子集的各种蕴涵关系所在层面以及它们的相互关联。厘清蕴涵关系的层级，“实质蕴涵怪论”的迷雾就会消失于无形。
在经典判定问题研究的基础上,一阶逻辑片段的可判定性问题被当代学者广泛地讨论,并且其在计算机科学、逻辑学和哲学方面的价值也正在被日益发掘.其中两个最具代表性的研究是关于二变元逻辑(two-variable logic)FO2和安保片段(guarded fragment)的系列讨论.它们都是在一阶逻辑的基础上对变元和量词等进行不同程度的限制,以获得该片段的可判定性和一些其他漂亮的性质.
个人在指导自己的生活时,会对过去发生的事件有一定的认知,对将来可能的事态有一定的设想.然而在一些有影响的事件发生后,个人对过去与将来的认识可能发生变化.现将这一现象称为“个人叙事转变现象”.主要想使用心理学的已有研究对这一现象进行分析,并尝试用逻辑工具初步刻画其外在特征.借用已有的逻辑研究对该现象作了现代逻辑方法的初步语义定义，返回对与“自我同一性”相关的心理学现象作了说明。大致上是一个跨学科的具
BDI(Belief-Desire-Intention)是当今人工智能领域具有影响力的关于理性智能主体的认知与逻辑模型，研究人工智能逻辑的学者对此颇为熟知，但大多数人工智能研究者和逻辑学家并不了解的是，该模型具有相当深厚的哲学基础和背景，源于斯坦福大学的哲学家迈克尔。布拉特曼(Michael Bratman)在行动哲学上的重要工作，而布拉特曼本人也是构建该模型的第一个形式化系统的重要参与者。报告人