Visual Prolog 的 Web 专家系统 （11）

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显示等问题，程序逻辑简单很多，更适合学习研究。