全部 标题 作者 关键词 摘要
, PP. 15-19
Full-Text Cite this paper Add to My Lib
本文提出一种基于线性逻辑的理论l1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133