1 / 1
Algorithm | Artificial代写 | assignment – 这是一个Artificial面向对象设计的practice, 考察Artificial的理解, 涉及了Algorithm/Artificial等代写方面, 这个项目是assignment代写的代写题目
CS 331 (Spring 20 21 ): Introduction to Artificial Intelligence
Written assignment # 2
Total: 25 points
The written portion of this assignment is to be done individually. Please hand in a pdf on
Canvas. Assignments done on a word processor are preferred but not mandatory. For
hand written assignments, if we cannot read your writing, we cannot mark your
assignment.
- Prove the following entailment in three different ways.
a) Prove that ()() with truth tables. [2 points]
b) Prove that ()() with logical equivalences. [2 points]
c) Prove that
(
)
(
)
with the resolution algorithm. [ 3 points]
- Decide whether each of the following sentences is valid, unsatisfiable or neither.
Verify your decisions using truth tables or equivalence rules.
a) ()( ) [2 points]
b) (
(
)
)
(
)
(
)
[ 2 points]
- Convert the following sentences to CNF. [ 4 points]
S1. ()
S2. ()
- Consider the following KB:
S1.
S2.
S3.
S4.
S5.
a) Use the resolution Algorithm to determine whether the following KB entails . [
points]
b) Use the resolution algorithm to determine whether the following KB entails . [
points]