GENI的核心 -- 推理机(3)一些谓词

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

is_htmlfile(Rulexpl)

  is_htmlfile(FILE):-
filenameext(File,_Name,Mask),
Mask = ".htm",!.
is_htmlfile(FILE):-
filenameext(File,_Name,Mask),
Mask = ".html",!.

假设FILE的扩展名是“.htm”,或者“.html”,该谓词成功。

否则失败。

consult_htm(Rulexpl,HTMLtext)

  consult_htm(FileName,HTMLTEKST):-
syspath(ExeStartupPath,_ProgName),
filenamepath(FullName,ExeStartupPath,FileName),
trap(file_str(FullName,HTMLTEKST),_,writef("File % is not found! Correct problem!\n",FullName)),!.
consult_htm(_,""):-
errorexit. 

依照指定路径和文件名称,把html文件内容读入变量HTMLTEKST,“返回”。

若子句1出错,回溯到子句2后报错退出。


gethtmlbody(HTMLtext,Bodytext)

  gethtmlbody(TEXT,BODY):-
upper_lower(TEXT,LOWERTEXT),
searchstring(LOWERTEXT,"<body",LEN1),
frontstr(LEN1,LOWERTEXT,_,TXT1),
searchchar(TXT1,'>',BODY_TAG_LEN),
STARTPOS = LEN1+BODY_TAG_LEN+1,
searchstring(LOWERTEXT,"</body>",ENDPOS),
LEN = ENDPOS-STARTPOS,
substring(TEXT,STARTPOS,LEN,BODY),!.
gethtmlbody(_,""):-
errorexit.

介绍下当中的谓词:

upper_lower(TEXT,LOWERTEXT)

VIP内建谓词。流模式(i, i), (i, o), (o, i)
upper_lower (STRING UpperCase, STRING LowerCase)
upper_lower (CHAR UpperCase, CHAR LowerCase)
用于大写的字符(串),与小写的字符(串)相互转换

searchstring(LOWERTEXT,"<body",LEN1)

VIP内建谓词。

流模式(i, i, o)
searchstring (STRING SourceStr, STRING SearchStr, UNSIGNED Position)
确定字符串中,子串的一端位置

substring(TEXT,STARTPOS,LEN,BODY)

VIP内建谓词。流模式(i, i, i, o)
ubstring (STRING Source, UNSIGNED Pos, UNSIGNED Len, STRING Part)
返回字符串中指定的一部分(子串)Part

子句gethtmlbody(TEXT,BODY),从字符串TEXT中,抠出子串BODY。

算法清楚直观,不必细说。


endpage("")

  endpage("") :-!,
write_kb,
write_conditions,
write("<Center>"),
write("<FONT SIZE=+6 ><I><B>"),
write("</Center>"),
write("</FONT>\n"),
write("</BODY>\n"),
write("</HTML>\n"). endpage(CONDITION) :-
write_kb,
write_conditions,
writef("<input type=\"hidden\" name=\"%s\" value=\"yes\">\n",CONDITION),
write("<FONT SIZE=+6 ><I><B>"),
write("<input type=\"hidden\" name=\"answer\" value=\"Yes\">\n"), %%这一句没用。可删除
write("<p><Input type=\"SUBMIT\" value=\"Yes\">\n"),
writef("<Input type=\"BUTTON\" value=\"No\" onclick=\"form.%s.value='no';submit()\">\n",CONDITION),
writef("<Input type=\"BUTTON\" value=\"Why\" onclick=\"form.%s.value='why';submit()\">\n",CONDITION),
writef("</Form>\n"),%<Form action=\"/geni.htm\">\n"),
write("</p></form>\n"),
write("</FONT>\n"),
write("</BODY>\n"),
write("</HTML>\n").

endpage里调用了2个谓词write_kb和write_conditions。

write_kb

  write_kb:-
kb(KB),!,
writef("<input type=\"hidden\" name=\"knowledgebase\" value=\"%s\">\n",KB).
write_kb:-
errorexit().

kb是事实库谓词,当前的KB="animal",表示知识库的名字

在CGI方式下。程序所需变量。要在各网页接续下传。

这里的writef,正在做这件事情。

write_conditons

  write_conditions:-
yes(CNO),
format(CONDITION,"cond_%",CNO),
writef("<input type=\"hidden\" name=\"%s\" value=\"yes\">\n",CONDITION),
fail.
write_conditions:-
no(CNO),
format(CONDITION,"cond_%",CNO),
writef("<input type=\"hidden\" name=\"%s\" value=\"no\">\n",CONDITION),
fail.
write_conditions.

对这个谓词有点说道。

yes(CNO)和no(CNO)是事实库谓词,分别代表用户对第CNO号(条件)询问,
已经做出的肯定或否定的回答。
format(CONDITION,"cond_%",CNO)是VIP内建谓词。
format (STRING OutputString, STRING FormatString, Arg1, Arg2, ..., ArgN)
流模式(o, i, i, i, i....) ,将多个參数格式化为字符串
本例的结果(如果CNO=5)是:CONDITION = "cond_5"

not(rule(_,Mygoal,_,_,_))

VIP内建谓词,流模式(i), 进行逻辑非运算。
假设rule(_,Mygoal,_,_,_)不在事实库里,not(rule(_,Mygoal,_,_,_))为真;否则为假。

check(RNO,HISTORY, COND)

这个谓词的第3和第4子句(红色部分),眼下没有实际用处。能够删除。

  check( RNO, HISTORY, [CNO|REST] ):-
yes(CNO),!,
check(RNO, HISTORY, REST).
check( _, _, [CNO|_]):-
no(CNO),
!,fail.

check( RNO, HISTORY, [CNO|REST]):-
cond(CNO,NCOND,OPTIONS),
fronttoken(NCOND,"not",_COND),
frontchar(_COND,_,COND),
cond(CNO1,COND,OPTIONS),
notest(CNO1), !,
check(RNO, HISTORY, REST).
check(_,_, [CNO|_] ):-
cond(CNO,NCOND,OPTIONS),
fronttoken(NCOND,"not",_COND),
frontchar(_COND,_,COND),
cond(CNO1,COND,OPTIONS),
yes(CNO1),
!,
fail.

check( RNO, HISTORY, [CNO|REST] ):-
cond(CNO,TEXT,OPTIONS),!,
inpq(HISTORY,RNO,CNO,TEXT,OPTIONS),
check(RNO, HISTORY, REST).
check( _, _, []).

check的第3第4子句。处理的对象,是知识库中的谓词cond(编号,询问的问题,提示)。

假设“询问的问题”是以“not”开头。check的第3第4子句会做出对应处理。

可是。“询问的问题”没有以“not”开头的,check的第3第4子句没有实际用处。

相同,check的第4子句求证的notest(CNO1)。也没实用处,能够一并删除。

notest(CNO1)

 notest(CNO):-no(CNO),!.
notest(CNO):-not(yes(CNO)),!.

可将以上“无用的”子句,从geni.pro代码中凝视掉,编译执行验证。


这一节的内容已经不少,但没说到专家系统的重要功能 -- 对 why 问题的处理。

对why问题的处理,比較复杂,添加一节。专门说说。

Visual Prolog 的 Web 专家系统 (9)的更多相关文章

  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 专家系统 (8)

    GENI核心 -- 推理引擎(2)流量控制 1.阐述fail."!"而回溯 与其他语言相比,,Prolog最大的特点.这是回溯机制. 回溯机制,还有的主要手段2个月,首先,通过使用 ...

  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. 用ioctl获取无线网络信息 /usr//include/linux/wireless.h

    1.UNIX Network Programming环境搭建 Unix NetWork Programming――环境搭建(解决unp.h等源码编译问题) http://blog.csdn.net/a ...

  2. 修改eOS wingpanel的透明度与颜色

    打开终端,输入: sudo scratch-text-editor /usr/share/themes/elementary/gtk-3.0/apps.css 修改.panel与.panel-shad ...

  3. util-C# 复杂条件查询(sql 复杂条件查询)查询解决方案

    ylbtech-funcation-util:  C# 复杂条件查询(sql 复杂条件查询)查询解决方案 C# 复杂条件查询(sql 复杂条件查询)查询解决方案 1.A,Ylbtech.Model返回 ...

  4. 改变DEV控件的字体 z

    改变所有的组件字体,使用AppearanceObject.DefaultFont属性:static void Main() {    DevExpress.Utils.AppearanceObject ...

  5. delphi 操作 word

        uses  ComObj,word2000   procedure TForm1.ExportWord(); var FWord :Variant; FDoc :Variant; i,Row: ...

  6. IOS 通知 alarm 记录

    所有的内容融为一体,去除某一个项不知道结果如何. 最主要的前提:APP 会长期保留在后台 1.在info.plist 文件里面,加入 audio 后台请求 2.当APP 点击home进入后台之后,请求 ...

  7. 基于MFC和opencv的FFT

    在网上折腾了一阵子,终于把这个程序写好了,程序是基于MFC的,图像显示的部分和获取图像的像素点是用到了opencv的一些函数,不过FFT算法没有用opencv的(呵呵,老师不让),网上的二维的FFT程 ...

  8. ORA-15005: name "orcl" is already used by an existing alias

    在进行ASM操作的时候,如果目录不存在的话,那么可能会报如下的错误: <pre name="code" class="plain">RMAN> ...

  9. bzoj 2594 [Wc2006]水管局长数据加强版(LCT+最小生成树)

    [深坑勿入] [给个链接] http://blog.csdn.net/popoqqq/article/details/41348549 #include<cstdio> #include& ...

  10. spoj 839 Optimal Marks(二进制位,最小割)

    [题目链接] http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=17875 [题意] 给定一个图,图的权定义为边的两端点相抑或值的 ...