搜索筛选:
搜索耗时0.0378秒,为你在为你在41,312,000篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：高 洁 刘 华,
来源：电脑知识与技术 年份：2006
摘要：该文提出了一种全新的推理机制，是一种通过将前提和结论中的复杂公式不断拆解来证明的推理机制，主要运用了矛盾转换原则来实现对公式的拆解，将对复杂公式形式的判断转化为对文字的判断。 关鍵词：推理；矛盾转换；人工智能 中图分类号：TP312 文献标识码：A ......
相关搜索：
