题名 | Gödel语言编译系统中推理机的设计与实现; Design and Implementation of Inference Machine for Gödel Compiler |
作者 | 李松斌 |
答辩日期 | 2007 ; 2007 |
导师 | 赵致琢 |
关键词 | Gö del 推理机 中间代码 Gö del Inference Machine Intermediate Code |
英文摘要 | 逻辑程序设计语言提供了一种说明性的编程方法,与基于算法的过程性程序设计语言如Pascal、Ada和C等相比,逻辑程序设计语言具有诸多优点。首先,逻辑程序丰富的表达能力和不确定性语言机制,使其非常适合于表达人工智能和知识工程中的问题;其次,逻辑程序建立在一阶谓词逻辑的基础之上,具有严格的数学理论基础,易于进行程序的正确性证明和验证;第三,逻辑程序开发者不需要考虑程序“如何计算”,而只需要说明要“做什么”,从而有利于其将精力集中到问题的求解上,从计算模型的层面探索问题的求解。由于Prolog语言取得的成功,一直以来Prolog都是逻辑程序设计的代称。但是,Prolog基于一阶逻辑的Horn子集,作...; Logic programming language provides a declarative program designing method and has several advantages compared with the algorithm-based programming language such as Pascal, Ada and C and so on. Firstly, logic program is suitable for expressing the problems in the area of artificial intelligence due to its ample expression ability and indeterminacy nature. Secondly, founded on the first predicate l...; 学位:工学硕士; 院系专业:信息科学与技术学院计算机科学系_计算机软件与理论; 学号:200428014 |
语种 | zh_CN |
出处 | http://210.34.4.13:8080/lunwen/detail.asp?serial=15031 |
内容类型 | 学位论文 |
源URL | [http://dspace.xmu.edu.cn/handle/2288/51024] ![]() |
专题 | 信息技术-学位论文 |
推荐引用方式 GB/T 7714 | 李松斌. Gödel语言编译系统中推理机的设计与实现, Design and Implementation of Inference Machine for Gödel Compiler[D]. 2007, 2007. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论