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)的更多相关文章

  1. Visual Prolog 的 Web 专家系统 (1)

    用Prolog敲代码,感觉舒坦. Prolog的编程范式,抽象程度远高于中.低级别的C语言等.敲代码的源码长度,至少比C语言的节省50%. 并且,Prolog的语法简单,符号选择自然合理,养眼度远高于 ...

  2. Visual Prolog 的 Web 专家系统 (7)

    GENI核心 -- 推理引擎(1)知识表示 GOAL最后一句是谓语infer(),它的含义是"论证". 因此,,进GENI核心,执行视图推理引擎. infer() infer(): ...

  3. Visual Prolog 的 Web 专家系统 (9)

    GENI的核心 -- 推理机(3)一些谓词 为了集中注意力.较好地分析GENI推理机核心程序,应该做些准备工作,弄明确一些起辅助作用的谓词功能. is_htmlfile(Rulexpl) is_htm ...

  4. Visual Prolog 的 Web 专家系统 (6)

    保存用户响应询价.作为进一步推理的条件 或GOAL段开始.最初的一句是write_startform() write_startform():- write("<form action ...

  5. Visual Prolog 的 Web 专家系统 (10)

    GENI的核心 -- 推理机(4)求证过程分析 1.GENI知识库结构 专家系统推理机的设计执行,与其知识库结构紧密相关. GENI知识库结构是一棵逻辑推理树. 根节点是animal,即求证的目标. ...

  6. Visual Studio 2013 Web开发

    cnbeta新闻:微软正式发布Visual Studio 2013 RTM版,微软还发布了Visual Studio 2013的最终版本..NET 4.5.1以及Team Foundation Ser ...

  7. 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连接错误提示: ====================== ...

  8. Visual Studio的Web Performance Test提取规则详解(3)

    总结 Visual Studio的Web Performance Test是基于HTTP协议层的,它不依赖于浏览器,通过直接接收,发送HTTP包来和Web服务器交互.Web Performance T ...

  9. Visual Studio的Web Performance Test提取规则详解(2)

    总结 Visual Studio的Web Performance Test是基于HTTP协议层的,它不依赖于浏览器,通过直接接收,发送HTTP包来和Web服务器交互.Web Performance T ...

随机推荐

  1. QtWebkit中如何将网页内容转为图片

    原地址:http://www.cnblogs.com/baizx/archive/2010/07/31/1789573.html 如何将webkit中的渲染结果也就是网页画面转换为图片   用抓图软件 ...

  2. Delphi中MethodAddress汇编代码的解析

    class function TObject.MethodAddress(const Name: ShortString): Pointer;asm        { ->    EAX     ...

  3. Visual Studio 必备神器---转

    会使用工具是人类文明的一大进步,今天敏捷大行其道,好的工具可以大大的提高生产力,这里说的工具都是VS平台上的扩展工具,一些机械的部分可以交给工具去处理,自己多关注其他部分.下面分享下我觉得不错的工具, ...

  4. sharepoint 2010 在自定义列表的字段上增加功能菜单

    sharepoint 2010 在自定义列表的字段上增加功能菜单方法 打开sharepoint designer 2010,找到需要修改的视图页面,例如allitem.aspx,编辑这个页面,点击高级 ...

  5. Eclipse中提高Android SDK Manager下载速度方法

    在Windows-System32-drivers-ect目录下找到hosts文件 打开hosts文件(用记事本打开就可以),在文件以下填上一下内容: 203.208.46.146 www.googl ...

  6. 【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 ...

  7. char *和char[]的区别,困扰很长时间了,总结下

    char c1[] = "hello";// char *c2 = "hello";// 区别1: c1是一个局部数组,c2是一个全局数组. 局部数组c1是局部 ...

  8. CPU 球迷助威清理灰尘图形的全过程

    主机因为使用时间长的电源风扇,风扇轴承石油枯竭,导致拒绝或不转的风扇转速,热量使电源不能得到有效排除,往往会造成电脑死机,有几种方法来解决. 单省钱的办法例如以下: 1.把电源从主机上拆下,例如以下图 ...

  9. Lucene.Net 2.3.1开发介绍 —— 二、分词(六)

    原文:Lucene.Net 2.3.1开发介绍 -- 二.分词(六) Lucene.Net的上一个版本是2.1,而在2.3.1版本中才引入了Next(Token)方法重载,而ReusableStrin ...

  10. java.text.MessageFormat格式化字符串时的小技巧

    java.text.MessageFormat格式化字符串时的小技巧 public static void main(String[] args) throws InterruptedExceptio ...