Visual Prolog 的 Web 专家系统 (9)
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)的更多相关文章
- Visual Prolog 的 Web 专家系统 (1)
用Prolog敲代码,感觉舒坦. Prolog的编程范式,抽象程度远高于中.低级别的C语言等.敲代码的源码长度,至少比C语言的节省50%. 并且,Prolog的语法简单,符号选择自然合理,养眼度远高于 ...
- Visual Prolog 的 Web 专家系统 (7)
GENI核心 -- 推理引擎(1)知识表示 GOAL最后一句是谓语infer(),它的含义是"论证". 因此,,进GENI核心,执行视图推理引擎. infer() infer(): ...
- Visual Prolog 的 Web 专家系统 (8)
GENI核心 -- 推理引擎(2)流量控制 1.阐述fail."!"而回溯 与其他语言相比,,Prolog最大的特点.这是回溯机制. 回溯机制,还有的主要手段2个月,首先,通过使用 ...
- 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 ...
随机推荐
- 用ioctl获取无线网络信息 /usr//include/linux/wireless.h
1.UNIX Network Programming环境搭建 Unix NetWork Programming――环境搭建(解决unp.h等源码编译问题) http://blog.csdn.net/a ...
- 修改eOS wingpanel的透明度与颜色
打开终端,输入: sudo scratch-text-editor /usr/share/themes/elementary/gtk-3.0/apps.css 修改.panel与.panel-shad ...
- util-C# 复杂条件查询(sql 复杂条件查询)查询解决方案
ylbtech-funcation-util: C# 复杂条件查询(sql 复杂条件查询)查询解决方案 C# 复杂条件查询(sql 复杂条件查询)查询解决方案 1.A,Ylbtech.Model返回 ...
- 改变DEV控件的字体 z
改变所有的组件字体,使用AppearanceObject.DefaultFont属性:static void Main() { DevExpress.Utils.AppearanceObject ...
- delphi 操作 word
uses ComObj,word2000 procedure TForm1.ExportWord(); var FWord :Variant; FDoc :Variant; i,Row: ...
- IOS 通知 alarm 记录
所有的内容融为一体,去除某一个项不知道结果如何. 最主要的前提:APP 会长期保留在后台 1.在info.plist 文件里面,加入 audio 后台请求 2.当APP 点击home进入后台之后,请求 ...
- 基于MFC和opencv的FFT
在网上折腾了一阵子,终于把这个程序写好了,程序是基于MFC的,图像显示的部分和获取图像的像素点是用到了opencv的一些函数,不过FFT算法没有用opencv的(呵呵,老师不让),网上的二维的FFT程 ...
- ORA-15005: name "orcl" is already used by an existing alias
在进行ASM操作的时候,如果目录不存在的话,那么可能会报如下的错误: <pre name="code" class="plain">RMAN> ...
- bzoj 2594 [Wc2006]水管局长数据加强版(LCT+最小生成树)
[深坑勿入] [给个链接] http://blog.csdn.net/popoqqq/article/details/41348549 #include<cstdio> #include& ...
- spoj 839 Optimal Marks(二进制位,最小割)
[题目链接] http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=17875 [题意] 给定一个图,图的权定义为边的两端点相抑或值的 ...