can you help me with these logic questions exersize 6: Let L = (V;C;R) with V =

Question

can you help me with these logic questions

exersize 6:

Let L = (V;C;R) with V = fw; yg, C = fd; eg and R = fr; sg where r has arity 1 and
s has arity 2. Which of the following are atoms over L? Which are ground atoms? Justify your
answers.
(a) d(w;w)

(b) r(d; e)

(c) s(w;w)

(d) r(y)

Exercise 10:

Evaluate the following.
(a) (p(x; y; x) ^ q(x; y; y) ^ r(y; y) ! t(x))[x=a; y=b] = ...
(b) (p(x) ^ q(x) ! r(x))[x=c][x=d] = ...
(c) (q(a; x) ^ p(x; y) ^ q(y; a) ! r(y))[x=a][x=b] = ...
(d) (p(x; x) ^ q(x; y) ! p(x; y))[y=b][y=c][x=b] = ...
Exercise 11 :Which of the substitutions in Exericse 10 are ground substitutions?

excerisize 9: where a; b are constants.

q(a),p(b),q(x) ! p(x), q(y) ^ p(y) ! r(b)

Exercise 12: Give the grounding of the Datalog program from Exercise 9.

Exercise 13: Give a Herbrand model for the Datalog program in Exercise 9.

Exercise 14: Give three distinct Herbrand models for the Datalog program P consisting of the
following rules:
p(a; b)
q(c)
p(x; y) ! q(x)

Explanation / Answer

9) Answer:-

For a constant ‘a’, q(a) is true

For a constant ‘b’, p(b) is true

(i) If q is true for any x then p is true for that x.

(ii) If both p and q are true then r is true for constant b.

Explanation 1 :- p and q are similar attributes such that if p(x) is true then q(x) will also be true

Explanation 2 :- r(b) is true for all ‘b’ where p(b) is true

Explanation 3 :- r(b) is true for all ‘b’ where q(b) is true

Related Questions

Navigate

• Browse (All)
• Browse C
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.