Name:

Course/Section:
Assignment 6 – Knowledge Representation and Reasoning

Directions:

● Answer each question clearly and concisely, using proper terminology and examples where
applicable. Review your work for accuracy and completeness before submitting.
● Avoid plagiarism, collaborate responsibly, and submit your assignment by the specified deadline.

Answer the following problems.

Problem 1: Modus Ponens Use Modus Ponens to draw a valid conclusion from the following premises:

Premise 1: If it is raining, then the ground is wet.

Premise 2: It is raining.
Conclusion: Therefore ground is wet.

Problem 2: Modus Tollens Apply Modus Tollens to make a valid inference from the given premises:

Premise 1: If the alarm goes off, then there is an intruder.

Premise 2: There is no intruder.
Conclusion: Therefore, the alarm did not go off

Problem 3: Hypothetical Syllogism Using Hypothetical Syllogism, determine the logical conclusion from
the following statements:

Statement 1: If Alice studies hard, she will pass the exam.

Statement 2: If Alice passes the exam, she will get a scholarship.
Conclusion: If Alice studies hard, she will get a scholarship.

Problem 4: Disjunctive Syllogism Apply Disjunctive Syllogism to find the valid conclusion from the given
premises:

Premise 1: Either the store is closed, or it's past 9:00 PM.

Premise 2: The store is not closed.
Conclusion: Therefore, it's past 9:00 PM.

Problem 5: Resolution Use resolution to simplify the following set of clauses:

1. (A ∨ B)
2. (¬B ∨ C)
3. (¬A ∨ D)
4. (¬C ∨ ¬D)