.po 5
.nh
.ce
TEST II CS524
.nf
Instructor Dr P Juell                     NAME__________________________
100 points                                          Jan 31, 1991
OPEN BOOK
.fi
.sp
1. (20)
Why is the normal interpretation of the following semantic network
generally impossible to directly represent in FOPC?

               has-property
         bird---------------> can fly
          ^
          |
          |    has-property
        canary--------------> color yellow
          ^
          |
          |     has-property
        Tweety-------------> can NOT fly

2. (20)
The "generate and test" technique can be very useful.
Give two reasons it might be chosen over other techniques.
(For ideas you might look at Dendral vs. XCON).

Give two reasons that would not be chosen or problems it could cause.

3. (20)
You are to write the PROLOG code to determine if a list is a SUB_ORDER
of another list.  A SUB_ORDER is defined as all elements in the list
occur in the second list in the same order.  There may, however be
any number of 'extra' items in the second list.
  e.g. sub_order([a,a,b],[a,x,y,z,a,q,b])  = yes

4. (20)
Some expert systems can correctly work even if the input data is
inexact or has some values missing.  Give the high points of why this
can be the case.

5. (20)
Show the sequence of stm's for the following pros program for the given input.
 (setq ltm '(
  (aaa (1 2) => ((delete '(1)) (dep '(3))))
  (bbb (2 3) => ((delete '(2)) (dep '(4))))
 ))
 (setq stm '(1 1 2 2 2))