全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
-  2000 

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

Keywords: 析取逻辑程序,明显否定,争论推理,语义.

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133