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. POJ 1068 Parencodings

    Parencodings Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 24932   Accepted: 14695 De ...

  2. 使用SQL语句清空数据库所有表的数据

    使用SQL语句清空数据库所有表的数据 近来发现数据库过大,空间不足,因此打算将数据库的数据进行全面的清理,但表非常多,一张一张的清空,实在麻烦,因此就想利用SQL语句一次清空所有数据.找到了三种方法进 ...

  3. virtualbox虚拟机中mysql远程连接登陆报2003错误的解决方法

    最近在virtualbox中安装了Ubuntu 14,配置了一个mysql server,设置的桥接网络模式.在其他电脑连接的时候,总是报2003错误.开始以为是localhost没有置换为%,运行u ...

  4. Mahout踩坑之路

    一.版本对比 公司版Mahout 由于Mahout只能允许于hadoop0.20以上版本上,而百度的hadoop是hadoop0.19的一个分支.因此百度HPC组曾经将Mahout移植到百度的hado ...

  5. 修改Eclipse的EasyExplore插件的键盘快捷键

    工欲善其事,必先利其器 为了高效的编码,一个顺手的IDE是必不可少的. Eclipse下的EasyExplore插件挺不错,经常会打开项目的文件夹查找内容,只是日渐习惯全部键盘操作后,有时想使用Eas ...

  6. C++第一章概述

    1:C++主要是对于C的继承性做的相当的出色,主要扩充在于程序员可以自己定义自己的数据结构,用数据结构去描述日常生活中的事务,而不是C语言中当当仅有的Struct数据类型等等 2: 每一种语言都有自己 ...

  7. STL六大组件之——容器知识大扫盲

    STL中的容器主要涉及顺序容器类型:vector.list.deque,顺序容器适配器类型:stack.queue.priority_queue.标准库中的容器分为顺序容器和关联容器.顺序容器(seq ...

  8. hadoop1.2.1 伪分布式配置

    主要配置 core-site.xml hdfs-site.xml mapred-site.xml

  9. 下破解安装Python开发工具WingIDE4.1

    步骤: 1.将系统时间调整到一个月之前,然后执行安装. 可以使用date命令调整系统时间,如:date -s '2012-08-14 10:00:00' 2.安装成功后,打开程序,按照提示信息,申请一 ...

  10. bzoj 3675 [Apio2014]序列分割(斜率DP)

    [题目链接] http://www.lydsy.com/JudgeOnline/problem.php?id=3675 [题意] 将n个数的序列分割k次,每次的利益为分割后两部分数值和的积,求最大利益 ...