Description
Task 1 (CSE 4308: 10 Points; CSE 5360: 10 points)
Two logical statements S1 and S2 are logically equivalent if (S1 <=> S2) is valid. We have two
knowledge bases, KB1 and KB2.. Write a function CHECK_EQUIVALENCE(KB1, KB2) that:
returns true if KB1 and KB2 are logically equivalent.
returns false otherwise.
Your pseudocode can re-use any code from the textbook or slides, and can call any of the
functions given in the textbook or slides, as long as such code and functions are used correctly,
with correct names for the functions, and with well-specified values for all variables and
arguments.
Task 2 (CSE 4308: 10 Points; CSE 5360: 10 points)
A B C KB S1
True True True True True
True True False False True
True False True True True
True False False False True
False True True False False
False True False False False
False False True True True
False False False False False
KB and S1 are two propositional logic statements, that are constructed using symbols A, B, C,
and using various connectives. The above truth table shows, for each combination of values of
A, B, C, whether KB and S1 are true or false.
Part a: Given the above information, does KB entail S1? Justify your answer.
Part b: Given the above information, does statement NOT(KB) entail statement NOT(S1)?
Justify your answer.
Task 3 (CSE 4308: 10 Points; CSE 5360: 10 points)
Suppose that some knowledge base contains various propositional-logic sentences that utilize
symbols A, B, C, D (connected with various connectives). There are only two cases when the
knowledge base is false:
– First case: when A is true, B is false, C is true, D is true.
– Second case: when A is false, B is false, C is true, D is false.
In all other cases, the knowledge base is true. Write a conjunctive normal form (CNF) for the
knowledge base.
Task 4 (CSE 4308: 20 Points; CSE 5360: 20 points)
Consider the KB
A => B
B <=> C
D => A
E => D
C AND E => F
E
Show that this entails F by
i. Forward Chaining
ii. Backward Chaining
iii. Resolution
Task 5 (CSE 4308: 40 Points; CSE 5360: 40 points)
In April, John and Mary sign the following contract:
– If it rains in May, then John must give Mary a check for $10,000
– If John gives Mary a check for $10,000, Mary must mow the lawn.
What truly happened those days is the following:
– It did not rain in May.
– John gave Mary a check for $10,000
– Mary mowed the lawn.
Part a: Write a first order logic statement to express the contract. Make sure that you clearly
define what constants and predicates that you use are. (NOTE: DO NOT use functions)
Part b: Write a logical statement to express what truly happened. When possible, use the same
predicates and constants as in question 6a. If you need to define any new predicates or
constants, clearly define what they stand for.
Part c: Define the symbols required to convert any KB involved in the above domanin from FOL
to Propositional logic (Your symbols must allow me to convert ANY KB that uses the
predicates and constants as decribed previously).
Part d: Use the sybols given in part c, to convert the answers to part a and b to Propositional
Logic.
Part e: Was the contract violated or not, Justify your answer (Note: if the sequence of events
that occured entails the contract then it was not violated)
Task 6 (CSE 4308: 10 Points; CSE 5360: 10 Points)
Unify the following if possible:
Taller (x, John); Shorter (John, Mary)
Taller (x, Mother(x)); Taller (Bob, y)
Shorter (Bob, Mother(Bob)); Shorter (x, Mother(y))
Shorter (Bob, x); Shorter (John, Mary)
Taller (x, y); Taller (Mother(Bob), Bob)
