全部 标题 作者 关键词 摘要
Keywords: 析取逻辑程序,明显否定,争论推理,语义.
Full-Text Cite this paper Add to My Lib
该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于“相干原理”,建立了扩充逻辑程序的争论推理框架,多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的一种合理扩充Mod,以处理较为大胆的推理形式.另外也研究了相关的理论性质
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133