Artificial Intelligence: Knowledge Representation And Reasoning Week 4 Answer
Are you looking for AI Knowledge Representation And Reasoning Week 4 Answer . All weeks assignments available here.
Table of Contents
Nptel AI Knowledge Representation And Reasoning Week 4 Answer (Jan-Apr 2025)
Course link: Click here to view course on Nptel Website
Q1. Which of the following are well-formed formulas in L(P, F, C)?
- Dog(Spot) ∧ ¬Dog(Spot)
- Likes(Joe, breed(x))
- ∀x∃y (Dog(x) ⊃ breed(y))
- ∀x Likes(x, Spot)
Q2. Which of the following are sentences in L(P, F, C)?
- Dog(Spot) ∧ ¬Dog(Spot)
- Likes(Joe, breed(x))
- ∀x∃y (Dog(x) ⊃ breed(y))
- ∀x Likes(x, Spot)
Q3. Which of the following is an atomic formula in L(P, F, C)?
- Dog(Spot) ∧ ¬Cat(Spot)
- Owns(Joe, Commander)
- Likes(Joe, breed(Commander))
- ∀x ¬Likes(x, Commander)
Q4. Select the formula(s) that are equivalent to the Boolean function g(A, B).
| A | B | g(A, B) |
|---|---|---|
| True | True | False |
| True | False | False |
| False | True | True |
| False | False | True |
Options:
- ¬A
- ¬((B ⊃ A) ∧ (¬B ⊃ A))
- (¬B ⊃ ¬A) ∧ (B ⊃ ¬A)
- All of the above
Q5. Express in FOL: “Dogs are pets.”
- ∃x(Dog(x) ∧ Pet(x))
- ∀x(Dog(x) ⊃ Pet(x))
- ∃x(Pet(x) ∨ Dog(x))
- ∀x(Pet(x) ⊃ Dog(x))
Q6. Express in FOL: “Dogs are not cats.”
- ¬∀x(Dog(x) ⊃ Cat(x))
- ∀x¬(Dog(x) ⊃ Cat(x))
- ∀x(Dog(x) ⊃ ¬Cat(x))
- ∀x(Cat(x) ⊃ ¬Dog(x))
Q7. Express in FOL: “Those who own pets like their pets.”
- ∀x∀y(Likes(x, y) ⊃ (Owns(x, y) ∧ Pet(y)))
- ∃x∃y(Owns(x, y) ∧ Pet(y) ∧ Likes(x, y))
- ∀x∀y((Owns(x, y) ∧ Pet(y)) ⊃ Likes(x, y))
- All of the above
Q8. According to FOL semantics, select the model(s) of the sentence:
∀x∀y((Owns(x, y) ∧ Pet(y)) ⊃ Likes(x, y)) in L(P, F, C).
- Owns={ (Bush, Spot) }; Pet={ Spot }; Likes = { (Bush, Spot) }
- Owns={ (Bush, Spot) }; Pet={ Spot }; Likes = { (Joe, Fedo) }
- Owns={ (Bush, Spot) }; Pet={ Fedo }; Likes = { (Bush, Spot) }
- Owns={ (Bush, Spot) }; Pet={ Fedo }; Likes = { (Joe, Fedo) }
Q9. According to FOL semantics, select the model(s) of the sentence:
∃x∃y(Owns(x, y) ∧ Pet(y) ∧ Likes(x, y)) in L(P, F, C).
- Owns={ (Bush, Spot) }; Pet={ Spot }; Likes = { (Bush, Spot) }
- Owns={ (Bush, Spot) }; Pet={ Spot }; Likes = { (Joe, Fedo) }
- Owns={ (Bush, Spot) }; Pet={ Fedo }; Likes = { (Bush, Spot) }
- Owns={ (Bush, Spot) }; Pet={ Fedo }; Likes = { (Joe, Fedo) }
Q10. According to FOL semantics, which of the following are true in L(P, F, C)?
- Dogs are not cats.
- Dogs are pets.
- Cats are pets.
- None of the above.
Q11. According to FOL semantics, which of the following are true in L(P, F, C)?
- Joe refers to a person.
- Fedo refers to an element in the domain.
- breed(Fedo) refers to an element in the domain.
- breed is a predicate symbol.
Q12. Consider the FOL language L({P,Q}, {f,g,h}, {A,B,C}) with variables x, y, z.
Which of the pairs of clauses are unifiable?
- P(?x, f(?x)); P(g(?y), ?y);
- P(?x, f(?x)); P(g(A), ?y);
- P(?x, f(?x)); P(g(A), f(?y));
- Q(?x, ?x, h(?x)); Q(g(B), g(?y), h(g(?y)));
Q13. Match each FOL formula to a suitable Skolem form.
- A. ∃x (P(x) ∧ ∀y Q(x, y))
- B. ∀x ((∀y P(y)) ⊃ ∀z Q(x, z))
Skolem forms:
- P(sk1) ∨ Q(sk1, sk2)
- P(sk1) ∨ Q(sk1, ?y)
- P(?y) ∨ Q(?x, ?y)
- ¬P(?y) ∨ Q(?x, ?z)
- ¬P(sk3(?x)) ∨ Q(?x, ?z)
Enter answers in format: 7,6
Nptel AI Knowledge Representation And Reasoning Week 4 Answer (Jan-Apr 2025)
For answers or latest updates join our telegram channel: Click here to join
These AI Knowledge Representation And Reasoning Week 4 Answer
Nptel AI Knowledge Representation And Reasoning of All weeks: Click Here
More Nptel Courses: https://progiez.com/nptel-assignment-answers
