欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
推理在我们的生活和工作中不可或缺.日常推理最大的特点在于它的非单调性.当今良好发展的经典单调逻辑仍无法有效处理非单调性日常类推,而抽象论辩理论则是对各种非单调推理进行形式化研究最有力的理论之一.用来证明各种论辩语义的争议树很好地结合了抽象的论辩框架与具体的推理过程,是研究自然语言论辩推理的有力工具.目前大多数的争议树证明都从论证作为过程的角度出发,对实时的论辩推理具有十分现实的指导意义,但仍存在一些问题.而从论证作为结果的新角度出发,我们给出了优先语史和基语义下的争议树证明理论.
英文摘要：
Reasoning is everywhere in our daily life, the main feature of which is non-monotonicity. The well-developed formal logic cannot deal with non-monotonic reasoning, while the newly-emerged ab- stract argumentation theory is one of the most powerful tools to formalize and model all kinds of non-mono- tonic reasoning. The most commonly-adopted method of argumentation semantics proof is dialectical trees, which perfectly combine practical reasoning with abstract argumentation framework. Most of current proof theories depart from argument-as-process. Though having both theoretical and practical significance to our daily reasoning, there are some problems in their proof theories. Thus, from the angle of argument- as-result, new proof theories for dialectical trees are proposed with preferred semantics and the grounded semantics as the foundation.
同期刊论文项目
同项目期刊论文
期刊信息
位置：