# 1. Which of the following is/are true about default reasoning?

### Accepted Answers:

2. What is closed-world assumption?

### Accepted Answers:

3. Given a consistent knowledge base KB = { p ∨ q }
and
the augmented knowledge base (KB+),

mark all the correct options.

mark all the correct options.

### Accepted Answers:

4. Given the knowledge base KB = { p ∨ q ∨ r, q, ¬q ∨ r },

mark all the entailments of the KB when we use Generalized Closed World Assumption.

mark all the entailments of the KB when we use Generalized Closed World Assumption.

### Accepted Answers:

5. Consider a KB containing atomic sentences of the form Edge(x,y)
which states that node x is connected to node y.

Suppose there is a node called 'p' which is not connected to any other node.

Which properties of KB would necessarily entail ¬∃x Edge(x,p)?

Suppose there is a node called 'p' which is not connected to any other node.

Which properties of KB would necessarily entail ¬∃x Edge(x,p)?

### Accepted Answers:

6. For the given KB,
identify the set of statements that define the minimal model for circumscription.

KB = {

∀x [ ( Student(x) ∧ ¬Ab(x) ) ⊃ Studies(x) ],

Student(jack), Student(tim), Student(kim),

jack ≠ tim, jack ≠ kim, tim ≠ kim,

¬Studies(jack), ¬Studies(kim)

}

∀x [ ( Student(x) ∧ ¬Ab(x) ) ⊃ Studies(x) ],

Student(jack), Student(tim), Student(kim),

jack ≠ tim, jack ≠ kim, tim ≠ kim,

¬Studies(jack), ¬Studies(kim)

}

### Accepted Answers:

7. Which of the following sets of statements are true in some model of the KB in question 6.

### Accepted Answers:

8. Which of the following sets of statements are true under Circumscription in the KB from question 6?

### Accepted Answers:

9. What is the Frame Problem in the context of Event Calculus?

### Accepted Answers:

10. Circumscribing a Simple Event Calculus KB with respect to the Happens predicate means

## No comments:

## Post a comment