Page 146 - Intelligent Communication Systems

CHAPTER 10 / BASIC TECHNOLOGY OF THE INTELLIGENT COMMUNICATION SYSTEM I 25

FIGURE 10.14 Resolution example.

AV([x,y,z\S\,S)<-
V([x\S\,S)<-

0(S 0, 5) t-OASo, 5,), 0 2(S lt S 2), 0 3(S 2, S)
0,(Dc,y,z I $],$)«-
O 2([x, y, z, w I S], S) <-

0 3([jc,>;l5],5)4-
where 5 0 , 5, 5 l5 and S 2 are lists. A list is described as [jc t, ;c 2 , jc n]. S e (5 0 , S) means
that a sentence S e is in the first part of the list 5 0 and the remaining list is S. A query
is issued as follows:

I would like to know the phone number of a clothing shop in San Francisco.

The sentence is transformed into a list [I, would, like, to, know, the, phone, number,
of, a, clothing, shop, in, San Francisco]. A goal clause is represented as follows.

<— S e([l, would, like, to, know, the, phone, number, of, a,
clothing, shop, in, San Francisco])

Then the resolution is performed. The results are obtained as follows (the resolu-
tion process is omitted here);
S([x I 5], S) *~

W = [/I
AV(x,y,z\S,S)*-
[x, y, z] - [would, like, to]

N([x I 5], S) «-