.po 5
.nh
.ce
TEST II CS524
.nf
Instructor Dr P Juell                     NAME__________________________
100 points                                          Jan 30, 1992
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)
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


3. (20)
The lisp version of the blocks program is 249 lines long while
the PROS version is 40 lines long.  Since the two programs do approximately
the same operations explain why there is such a difference in size
between the two.


4. (20)
A new type of worm has been found.  It starts life as a female.  It is female
for two weeks then turns into a male for two weeks and then dies.  
Females can mate with a male producing one offspring in one week.  
Describe this with a PROS program.  Start you STM with an first week female
and a first week male.  Show the first four STM's (including the starting one).

5. (20)
Expert systems, such as Mycin, are capable of dealing with information
that is not exactly true or false.
.br
a) what is the name of the technique or tools to support this?
b) in general how is the information specified and used?
c) why this not considered statistics?