Question

3. Consider the following definite Horn-clause KB: \(\forall x \forall y \forall z \text{ Parent}(x,y) \& \text{ Parent}(x,z) \& y \neq z \implies \text{ Sibling}(y,z)\) \(\forall x \forall y \forall z \text{ Sibling}(v,w) \& \text{ Parent}(w,u) \& \text{ Male}(u) \implies \text{ Nephew}(u,v)\) \text{Parent(Bob, Mary)}, \text{Male(Bob)}, \text{Female(Mary)}, \text{Parent(Bob, Fred)}, \text{Male(Fred)}, \text{Parent(Mary, Tom)}, \text{Male(Tom)}, \text{Parent(Mary, Ann)}, \text{Female(Ann)} Assume backward-chaining rule-based inference is used to try to answer the query: Nephew(s, Fred).

          3. Consider the following definite Horn-clause KB:
\(\forall x \forall y \forall z \text{ Parent}(x,y) \& \text{ Parent}(x,z) \& y \neq z \implies \text{ Sibling}(y,z)\)
\(\forall x \forall y \forall z \text{ Sibling}(v,w) \& \text{ Parent}(w,u) \& \text{ Male}(u) \implies \text{ Nephew}(u,v)\)
\text{Parent(Bob, Mary)}, \text{Male(Bob)}, \text{Female(Mary)}, \text{Parent(Bob, Fred)}, \text{Male(Fred)}, \text{Parent(Mary, Tom)},
\text{Male(Tom)}, \text{Parent(Mary, Ann)}, \text{Female(Ann)}
Assume backward-chaining rule-based inference is used to try to answer the query: Nephew(s, Fred).

3. Consider the following definite Horn-clause KB:
∀ x ∀ y ∀ z Parent(x,y) & Parent(x,z) & y ≠ z Sibling(y,z)
∀ x ∀ y ∀ z Sibling(v,w) & Parent(w,u) & Male(u) Nephew(u,v)
Parent(Bob, Mary), Male(Bob), Female(Mary), Parent(Bob, Fred), Male(Fred), Parent(Mary, Tom),
Male(Tom), Parent(Mary, Ann), Female(Ann)
Assume backward-chaining rule-based inference is used to try to answer the query: Nephew(s, Fred).

Added by Timothy R.

Question

Please give Ace some feedback