GENI的核心 -- 推理机(5)处理why问题
1、why问题由客户从浏览器提出
专家系统工作时。须要向用户提出问题,收集推理求证用的事实依据。
用户有时想知道,系统为什么提出这种问题,要求系统给出解释。这就是所谓的why问题。
why问题的提出。是按动网页button“why”的结果。
2、why功能的设置
GENI的第一个页面default.htm并没有button“why”。
它的设置过程是这种:
从上一节的谓词check第3子句说起。
check( RNO, HISTORY, [CNO|REST] ):- cond(CNO,TEXT,OPTIONS),!, inpq(HISTORY,RNO,CNO,TEXT,OPTIONS).
这时的cond是未经求证的条件,即不存在yes(CNO)和no(CNO)的事实。于是,開始求证子目标inpq。
inpq(HISTORY,RNO,CNO,TEXT,OPTIONS)
inpq(HISTORY,RNO,CNO,TEXT,_):- whymeet,!, gen_why(HISTORY,RNO,TEXT,CNO), endpage_Why(), exit. inpq(_HISTORY,_RNO,CNO,TEXT,""):-!, write(" Is it true that: ",TEXT," <BR>"), format(CONDSTR,"cond_%",CNO), endpage(CONDSTR), exit. inpq(_HISTORY,_RNO,CNO,TEXT,FILENAME):- is_htmlfile(FILENAME),!, consult_htm(FILENAME,HtmlText), gethtmlbody(HtmlText,BodyText), write(BodyText), write(" Is it true that: ",TEXT," <BR>"), format(CONDSTR,"cond_%",CNO), endpage(CONDSTR),!, exit. inpq(_HISTORY,_RNO,CNO,TEXT,PICTURE):- write(" Is it true that: ",TEXT," ",PICTURE," "), format(CONDSTR,"cond_%",CNO), endpage(CONDSTR),!, exit.
Inpq的第1子句。处理why问题,生成专门网页。以下将有介绍。
Inpq的第2、3、4子句。共同之处。都设置了进一步的提问求证和why功能。
不同之处,仅仅是显示网页的方法各异。
why功能的实际设置。在谓词endpage。
endpage(CONDITION)
Endpage前面已有介绍。不再反复啰嗦。仅仅是强调一下其第2子句中。设置why问题。
writef("<Input type="BUTTON" value="Why" onclick="form.%s.value='why';submit()"> ",CONDITION),
CONDITION的值为cond_X,X是数字。如果X=15,在button“why”后。form.cond_15.value=‘why’。
这一变量。决定了whymeet进入事实库。
whymeet进入事实库
前面小节中已经介绍过。cond_15=why这样的CGI数据。会整理成parm(“cond_15”,”why”)这样的样子。
经过GOAL的assert_conditions求证。来到assert_cond(“cond_15”,”why”)的求证:
assert_cond(CNO,"yes"):-!,assert(yes(CNO)). assert_cond(CNO,"no"):-!,assert(no(CNO)). assert_cond(_CNO,"why"):-!,assert(whymeet). assert_cond(_,_):-errorexit.
第3子句。将whymeet存入事实库。
3、why问题的处理
上述谓词inpq的第1子句。负责处理why问题。
inpq(HISTORY,RNO,CNO,TEXT,_):- whymeet,!, gen_why(HISTORY,RNO,TEXT,CNO), endpage_Why(), exit.
事实whymeet的存在,说明用户在浏览器按下了button“why”,提出了这个问题。往下接着看gen_why和endpage_Why。
gen_why(HISTORY,RNO,TEXT,CNO)
gen_why(HISTORY,RNO,_TEXT,_CNO):- write("Why<BR> "), rule( RNO, Mygoal1, Mygoal2, _ ,_),!, sub_cat(Mygoal1,Mygoal2,Lstr), concat("I try to show that: ",Lstr,Lstr1), concat(Lstr1,"<BR> By using rule number ",Ls1), str_int(Str_num,RNO), concat(Ls1,Str_num,Ans), show_rule(RNO,Lls1), concat(Ans,Lls1,Ans1), report(HISTORY,Sng), concat(Ans1,Sng,Answ), write(Answ),nl. gen_why(_HISTORY,_RNO,_TEXT,_CNO):- errorexit.
show_rule和report,以及endpage_Why都是外建谓词,主要用于显示网页的内容。不再介绍。其余的内建谓词,前面几节有过介绍。不再反复。
一点建议
直到写完小节(10)。才发现VIP的文件夹EXAMPLES里有单机版的GENI。
因为没有CGI处理HTML显示等问题,程序逻辑简单很多,更适合学习研究。