基于改进的无穷值语义解释的中介谓词逻辑的λ-归结

J4 ›› 2012, Vol. 47 ›› Issue (2): 109-114.

• SEWM 2011 会议 • 上一篇下一篇

基于改进的无穷值语义解释的中介谓词逻辑的λ-归结

张胜礼¹,潘正华²

1.兴义民族师范学院计算机科学系, 贵州兴义 562400;
2.江南大学理学院, 江苏无锡 214122

收稿日期:2011-03-25 出版日期:2012-02-20 发布日期:2012-12-24
作者简介:张胜礼(1982- )，男，硕士，研究方向为人工智能领域中的逻辑与推理、知识表示. Email: zsl8203@163.com
基金资助:
国家自然科学基金资助项目(60973156);兴义民族师范学院科研基金资助项目研究成果(11XYYZ07)

λ-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation

ZHANG Sheng-li¹, PAN Zheng-hua²

1. Department of Computer Science, Xingyi Normal University for Nationalities, Xingyi 562400, Guizhou, China;
2. School of Science, Jiangnan University, Wuxi 214122, Jiangsu, China

Received:2011-03-25 Online:2012-02-20 Published:2012-12-24

摘要/Abstract

张胜礼1,潘正华2. 基于改进的无穷值语义解释的中介谓词逻辑的λ-归结[J]. J4, 2012, 47(2): 109-114.

ZHANG Sheng-li1, PAN Zheng-hua2. λ-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation[J]. J4, 2012, 47(2): 109-114.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于改进的无穷值语义解释的中介谓词逻辑的λ-归结

λ-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

多维度评价

本文评价

推荐阅读 0