模式合一相关论文
本文首先给出了模式合一的相关定义,并对合一的基本性质进行了证明.然后给出了模式合一的算法——"减首去尾"算法,并对算法进行......
传统的模式合一，使用递归调用的方法，算法的时间复杂度是指数级的，因此，往往容易耗费大量的系统资源，从而造成系统的崩溃。为了解决这个......
传统的基于谓词模式推理算法，需要把自然语言表示的知识，人工转换为机器可以理解的谓词，这就需要耗费大量的人力物力。本文提出一种基......
在当前的自然语言处理领域,问答系统是一个非常值得研究的“热门”课题。它既允许用户以自然语言提问,又能够向用户返回准确的答案......
学位
