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 ...
随机推荐
- POJ 1068 Parencodings
Parencodings Time Limit: 1000MS Memory Limit: 10000K Total Submissions: 24932 Accepted: 14695 De ...
- 使用SQL语句清空数据库所有表的数据
使用SQL语句清空数据库所有表的数据 近来发现数据库过大,空间不足,因此打算将数据库的数据进行全面的清理,但表非常多,一张一张的清空,实在麻烦,因此就想利用SQL语句一次清空所有数据.找到了三种方法进 ...
- virtualbox虚拟机中mysql远程连接登陆报2003错误的解决方法
最近在virtualbox中安装了Ubuntu 14,配置了一个mysql server,设置的桥接网络模式.在其他电脑连接的时候,总是报2003错误.开始以为是localhost没有置换为%,运行u ...
- Mahout踩坑之路
一.版本对比 公司版Mahout 由于Mahout只能允许于hadoop0.20以上版本上,而百度的hadoop是hadoop0.19的一个分支.因此百度HPC组曾经将Mahout移植到百度的hado ...
- 修改Eclipse的EasyExplore插件的键盘快捷键
工欲善其事,必先利其器 为了高效的编码,一个顺手的IDE是必不可少的. Eclipse下的EasyExplore插件挺不错,经常会打开项目的文件夹查找内容,只是日渐习惯全部键盘操作后,有时想使用Eas ...
- C++第一章概述
1:C++主要是对于C的继承性做的相当的出色,主要扩充在于程序员可以自己定义自己的数据结构,用数据结构去描述日常生活中的事务,而不是C语言中当当仅有的Struct数据类型等等 2: 每一种语言都有自己 ...
- STL六大组件之——容器知识大扫盲
STL中的容器主要涉及顺序容器类型:vector.list.deque,顺序容器适配器类型:stack.queue.priority_queue.标准库中的容器分为顺序容器和关联容器.顺序容器(seq ...
- hadoop1.2.1 伪分布式配置
主要配置 core-site.xml hdfs-site.xml mapred-site.xml
- 下破解安装Python开发工具WingIDE4.1
步骤: 1.将系统时间调整到一个月之前,然后执行安装. 可以使用date命令调整系统时间,如:date -s '2012-08-14 10:00:00' 2.安装成功后,打开程序,按照提示信息,申请一 ...
- bzoj 3675 [Apio2014]序列分割(斜率DP)
[题目链接] http://www.lydsy.com/JudgeOnline/problem.php?id=3675 [题意] 将n个数的序列分割k次,每次的利益为分割后两部分数值和的积,求最大利益 ...