Question: Exercise 12.7 Consider the following knowledge base: has access(X, library) student(X). has access(X, library) faculty(X). has access(X, library) has access(Y, library)

Exercise 12.7 Consider the following knowledge base:

has access(X, library) ← student(X).

has access(X, library) ← faculty(X).

has access(X, library) ← has access(Y, library) ∧ parent(Y,X).

has access(X, office) ← has keys(X).

faculty(diane).

faculty(ming).

student(william).

student(mary).

parent(diane, karen).

parent(diane, robyn).

parent(susan, sarah).

parent(sarah, ariel).

parent(karen, mary).

parent(karen, todd).

(a) Provide an SLD derivation of the query ask has access(todd, library).

(b) The query ask has access(mary, library) has two SLD derivations. Give both of them.

(c) Does there exist an SLD derivation for ask has access(ariel, library)? Explain why or why not.

(d) Explain why the set of answers to the query ask has access(X, office) is empty.

(e) Suppose following the clause is added to the knowledge base:

has keys(X) ← faculty(X).

What are the answers to the query ask has access(X, office)?

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Management And Artificial Intelligence Questions!

Q:

I would like assistance with assignment 3 and 4 on the attached document I have been struggling with the subject and its my last AUI4863/102/0/2016 Tutorial letter 102/0/2016 ADVANCED INTERNAL AUDIT...

Q:

In a Hopfield neural network configured as an associative memory, with all of its weights trained and fixed, what three possible behaviours may occur over time in configuration space as the net...

Q:

Consider the trigonometric series a0 2 + X r=1 (ar cos rx + br sin rx) where a0, a1, a2, . . . and b1, b2, . . . are constants and suppose that f(x) is a periodic function of x with period 2. (a)...

Q:

Let i and j be positive integers. (i) Prove that there exist natural numbers a and b such that ai = bj+gcd(i, j). You may use standard results provided that you state them clearly. [4 marks] (ii) Let...

Q:

Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...

Q:

Portray in words what transforms you would have to make to your execution to some degree (a) to accomplish this and remark on the benefits and detriments of this thought.You are approached to compose...

Q:

RUNNING HEAD: MARKETING IS ART OR SCIENCE? 1 MARKETING IS ART OR SCIENCE? STUDENT'S NAME STUDENT'S COLLEGE MARKETING IS ART OR SCIENCE? 2 EXAM QUESTION Answer all parts of the question and submit all...

Q:

Use "You Can Lead a Horse to Water but You Can't Make Him Edit: Varied Effects of Feedback on Grammar Across Upper-Division Business Students" (Located Below the Page) Develop a 500-750 summary of...

Q:

Please help!! Use "You Can Lead a Horse to Water but You Can't Make Him Edit: Varied Effects of Feedback on Grammar Across Upper-Division Business Students" (Located Below the Page) Found directly...

Q:

Python and most Python libraries are free to download or use, though many users use Python through a paid service. Paid services help IT organizations manage the risks associated with the use of...

Q:

What is the geometry about the metal center in this complex? Would you expect this complex to have counterions? Explain. N= M' N= N N=

Q:

A firm has a contribution ratio of 45% and wants to earn an after tax profit of $72,000 and the firm operates in a 32% income tax rate bracket. It has fixed costs of $110,000 per annum, being the...

Q:

Unusual relationships between financial accounts, e . g . , sales and receivables, may indictate an accounting anomaly Question 3 0 Answer a . True b . False

Q:

a