B) Construct the tableaux for the KB and the query HardWorker(Sue) (see Figure 4.4).

i have posted this question one week ago, i dint get answer. am posting this question again please send me the answer as soon as possible.

[-HardWorker(sue)] [-Student(x), HardWorker(x)] x/sue [-GradStudent(x), Student(x)] x/sue_-' -Student(sue)] [GradStudent(sue)] [-GradStudent(sue)] FIGURE 4.4 [-HardWorker(sue)] [-Student(x), HardWorker(x)] x/sue [-GradStudent(x), Student(x)] x/sue_-' -Student(sue)] [GradStudent(sue)] [-GradStudent(sue)] FIGURE 4.4