Visual Prolog 的 Web 专家系统 (8)
GENI核心 -- 推理引擎(2)流量控制
1、阐述fail、“!”而回溯
与其他语言相比,,Prolog最大的特点。这是回溯机制。
回溯机制,还有的主要手段2个月,首先,通过使用谓词fail触发回溯,特别谓词“!”(读作cut)取消回溯。
Prolog运用fail引发回溯。实现程序的循环,并运用“!”对回溯进行控制。
看一个典型演示样例:
FACTS
f(integer)
PREDICATES
a()
b()
c()
CLAUSES
a():-
write("------ a -------\n"),
f(X),
writef("%\n",X),
fail.
a():-
write("a is sucsess.").
%---------------------------------------------------------
b():-
write("\n\n------- b -------\n"),
f(X),
writef("%\n",X),
!,
fail.
b():-
write("b is sucsess.").
%---------------------------------------------------------
c():-
write("\n\n------- c -------\n"),
a(),
b(),
!,
write("\nc sucsess.").
c():-
write("\nc backtracking.\n\n").
%---------------------------------------------------------
GOAL
assert(f(1)),
assert(f(2)),
assert(f(3)),
c().
在VDE中,菜单选:File|New,新建一文件noname.pro,把上边的代码贴进去
菜单选:Project|Test Goal,
执行结果。输出显演示样例如以下:
------- c -------
------ a -------
1
2
3
a is sucsess. ------- b -------
1 c backtracking. yes
程序非常easy,GOAL先把事实f(1)、f(2)、f(3)入库,接着求证c()。
Prolog把“函数调用”称作“求证(query)子目标”。
并不是Prolog矫情。别的“小语种”基本如此。
比方。函数语言Lisp、Erlang等,把“函数调用”称作“求值(evaluate)“。
还得说说”子目标“。
从理论上说,Prolog程序,由一个总目标和多个子目标构成,形成”树“逻辑关系。
GOAL是总目标,即树的根结点,子目标则是树的各层枝叶。
在本演示样例中,总目标的子目标是c(),而a(),b()则是c()的子目标。
在a()和b()中,子目标是f(X)。
这段演示样例代码的看点,主要是fail和!。
write(),writef()等管理输入输出的谓词,不是子目标。由于,它们不參与求证、推理。
要正确理解谓词子句体内子目标的关系。逗号”,“是关键。
逗号”,“的含意,是逻辑”与“,and。因此。子句体实际上是个复合逻辑推断:
比如,子句 a():- b(),c(),d(). 相当于: if a() then { if (b() and c() and d()) then a() }
这里并没写错,子句头与子句体就是这种逻辑关系。
不仅如此,分号”;“表示逻辑”或“。
比如。本例的谓词a(),2个子句能够合并写成这样:
a():-
write("------ a -------\n"),
f(X),
writef("%\n",X),
fail
;
write("a is sucsess.").
仅仅是,用分号”,“而非并列子句表示逻辑或,会造成代码难读、难懂等误会,非常不有用。
所以,在实际编程中,差点儿见不到使用分号”;“的。
如今再回到GENI的推理机流程控制这个话题上来。
上面提到的“典型演示样例”,是GENI的推理机流程控制的方法之中的一个。
当中,谓词a()中的fail,遍历了所有f(X)。
谓词b()中的 !,fail。仅仅取得第一个f(X),而且不再回溯。
谓词c()中的 ! 也非常重要。
没有它。程序编译时就会出错。
2、Prolog以先深搜索的方式求证子目标
Prolog本身就是以先深搜索的方式求证目标的推理机。
仍以上面的“典型演示样例”说事。
a(),b()。c()等三个谓词,分别都是由2个子句构成的逻辑或,or 的关系。
它他们体内条款。构成逻辑和。and 关系。
按照逻辑操作的优先级的规则。第一and后or。
然后,证明的方式来形成目标深度优先搜索。
GENI知识库rule,按道理“树”关系,与Prolog完全一致的推理机制。
和GENI推理引擎本身,这是他们的知识基础结构,量身定制,以验证机深层搜索目标。
Visual Prolog 的 Web 专家系统 (8)的更多相关文章
- Visual Prolog 的 Web 专家系统 (1)
用Prolog敲代码,感觉舒坦. Prolog的编程范式,抽象程度远高于中.低级别的C语言等.敲代码的源码长度,至少比C语言的节省50%. 并且,Prolog的语法简单,符号选择自然合理,养眼度远高于 ...
- Visual Prolog 的 Web 专家系统 (7)
GENI核心 -- 推理引擎(1)知识表示 GOAL最后一句是谓语infer(),它的含义是"论证". 因此,,进GENI核心,执行视图推理引擎. infer() infer(): ...
- Visual Prolog 的 Web 专家系统 (9)
GENI的核心 -- 推理机(3)一些谓词 为了集中注意力.较好地分析GENI推理机核心程序,应该做些准备工作,弄明确一些起辅助作用的谓词功能. is_htmlfile(Rulexpl) is_htm ...
- Visual Prolog 的 Web 专家系统 (6)
保存用户响应询价.作为进一步推理的条件 或GOAL段开始.最初的一句是write_startform() write_startform():- write("<form action ...
- Visual Prolog 的 Web 专家系统 (10)
GENI的核心 -- 推理机(4)求证过程分析 1.GENI知识库结构 专家系统推理机的设计执行,与其知识库结构紧密相关. GENI知识库结构是一棵逻辑推理树. 根节点是animal,即求证的目标. ...
- Visual Studio 2013 Web开发
cnbeta新闻:微软正式发布Visual Studio 2013 RTM版,微软还发布了Visual Studio 2013的最终版本..NET 4.5.1以及Team Foundation Ser ...
- VSS提示"Could not find the Visual SourceSafe Internet Web Service connection information for the specified database
转自:http://www.cnblogs.com/qqflying/archive/2007/12/18/1004051.html VSS连接错误提示: ====================== ...
- Visual Studio的Web Performance Test提取规则详解(3)
总结 Visual Studio的Web Performance Test是基于HTTP协议层的,它不依赖于浏览器,通过直接接收,发送HTTP包来和Web服务器交互.Web Performance T ...
- Visual Studio的Web Performance Test提取规则详解(2)
总结 Visual Studio的Web Performance Test是基于HTTP协议层的,它不依赖于浏览器,通过直接接收,发送HTTP包来和Web服务器交互.Web Performance T ...
随机推荐
- QtWebkit中如何将网页内容转为图片
原地址:http://www.cnblogs.com/baizx/archive/2010/07/31/1789573.html 如何将webkit中的渲染结果也就是网页画面转换为图片 用抓图软件 ...
- Delphi中MethodAddress汇编代码的解析
class function TObject.MethodAddress(const Name: ShortString): Pointer;asm { -> EAX ...
- Visual Studio 必备神器---转
会使用工具是人类文明的一大进步,今天敏捷大行其道,好的工具可以大大的提高生产力,这里说的工具都是VS平台上的扩展工具,一些机械的部分可以交给工具去处理,自己多关注其他部分.下面分享下我觉得不错的工具, ...
- sharepoint 2010 在自定义列表的字段上增加功能菜单
sharepoint 2010 在自定义列表的字段上增加功能菜单方法 打开sharepoint designer 2010,找到需要修改的视图页面,例如allitem.aspx,编辑这个页面,点击高级 ...
- Eclipse中提高Android SDK Manager下载速度方法
在Windows-System32-drivers-ect目录下找到hosts文件 打开hosts文件(用记事本打开就可以),在文件以下填上一下内容: 203.208.46.146 www.googl ...
- 【ASP.NET Web API教程】2.3 与实体框架一起使用Web API
原文:[ASP.NET Web API教程]2.3 与实体框架一起使用Web API 2.3 Using Web API with Entity Framework 2.3 与实体框架一起使用Web ...
- char *和char[]的区别,困扰很长时间了,总结下
char c1[] = "hello";// char *c2 = "hello";// 区别1: c1是一个局部数组,c2是一个全局数组. 局部数组c1是局部 ...
- CPU 球迷助威清理灰尘图形的全过程
主机因为使用时间长的电源风扇,风扇轴承石油枯竭,导致拒绝或不转的风扇转速,热量使电源不能得到有效排除,往往会造成电脑死机,有几种方法来解决. 单省钱的办法例如以下: 1.把电源从主机上拆下,例如以下图 ...
- Lucene.Net 2.3.1开发介绍 —— 二、分词(六)
原文:Lucene.Net 2.3.1开发介绍 -- 二.分词(六) Lucene.Net的上一个版本是2.1,而在2.3.1版本中才引入了Next(Token)方法重载,而ReusableStrin ...
- java.text.MessageFormat格式化字符串时的小技巧
java.text.MessageFormat格式化字符串时的小技巧 public static void main(String[] args) throws InterruptedExceptio ...