Knowledge acquisition from structural descriptions Hayes-RothFrederick McDermottJohn 2000 Computer Science Department