扩充析取逻辑程序的争论语义

• 作者: 周立柱 王克文 陈火旺
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 析取逻辑程序 明显否定 争论推理 语义
• 年，卷（期）: 2000,（3）
• 页码范围: 293-299
• 页数: 7页
• 分类号: TP18
• 字数: 2319字
• 语种: 中文

摘要

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于"相干原理",建立了扩充逻辑程序的争论推理框架,多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的一种合理扩充Mod,以处理较为大胆的推理形式.另外也研究了相关的理论性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈火旺	国防科学技术大学计算机学院	53	2116	23.0	45.0
2	周立柱	清华大学计算机科学与技术系	69	3313	19.0	57.0
3	王克文	清华大学计算机科学与技术系	2	3	1.0	1.0