版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
扩充析取逻辑程序的争论语义(英文)
An Argumentation-Based Framework for Extended Disjunctive Logic Programs作者机构：清华大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室南京210093 国防科学技术大学计算机学院
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2000年第11卷第3期
页 面：293-299页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金!No.6 98830 0 8 6 97730 2 7 国家基础研究发展规划项目 !No.G19990 32 70 4&&
摘 要：该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大胆的推理形式 .另外也研究了相关的理论性质 .
