【摘 要】
：
近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京理工大学泰州科技学院
【基金项目】
：
国家自然科学基金(61602249)
论文部分内容阅读
近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确定其辩护状态。分级论辩系统(Graded Argumentation System,GAS)是对经典Dung型论辩系统(Dung-style Argumentation System,DAS)的推广,通过一般化DAS语义的两个核心性质,即无冲突性和可接受性,来提供更细化的论点状态概念。当前的论辩系统语义等效性研究主要集中在框架和论点层次上
其他文献
水稻是我国第一大粮食作物,黑龙江是我国最大的粳稻生产省,常年种植面积约400万hm2,占全国粳稻种植面积的45%左右。水稻也是黑龙江省农业生产最大的支柱产业,未来黑龙江省水
铸造行业除了关注铸件的外观及组织结构之外，对材料的性能指标也非常重视，因此经常需要用到拉力实验机。玛努尔（烟台）工业有限公司主要从事高温合金的离心铸造及砂型铸造，由于产品
本文通过对异形键槽的粉末冶金齿毂生产工艺过程的分析,从模具的选材、模具结构、模具间隙、模具尺寸等方面,对同步器齿毂压制模具进行优化设计,使模具具有高使用寿命;同时,
文[1]读后受益匪浅，但在实际解题过程中，将这类问题转化为二次方程根的分布问题，计算繁琐，而且学生在根的分类讨论过程中，常会出现遗漏的情况．在实际教学过程中，我们发现可将这类问
湿式玉米粉生产技术是采用玉米原料在浸泡膨胀过程中产生的生物变化,经磨浆机磨成细度在100目以上的浆料,再由高压喷雾泵喷入顺流热风烘干塔干燥制成玉米粉。所得玉米粉营养