作为过程的论证和作为结果的论证

摘要

推理在我们的生活和工作中不可或缺.日常推理最大的特点在于它的非单调性.当今良好发展的经典单调逻辑仍无法有效处理非单调性日常类推,而抽象论辩理论则是对各种非单调推理进行形式化研究最有力的理论之一.用来证明各种论辩语义的争议树很好地结合了抽象的论辩框架与具体的推理过程,是研究自然语言论辩推理的有力工具.目前大多数的争议树证明都从论证作为过程的角度出发,对实时的论辩推理具有十分现实的指导意义,但仍存在一些问题.而从论证作为结果的新角度出发,我们给出了优先语史和基语义下的争议树证明理论.