4. Consider the following KB: S1. AVB S2. -BV-C S3. -C VD S4. B VE S5. DVE a) Use the resolution algorithm to determine
Posted: Mon May 09, 2022 6:28 am
- 4 Consider The Following Kb S1 Avb S2 Bv C S3 C Vd S4 B Ve S5 Dve A Use The Resolution Algorithm To Determine 1 (30.75 KiB) Viewed 31 times
read the requirements of the question before answering.
4. Consider the following KB: S1. AVB S2. -BV-C S3. -C VD S4. B VE S5. DVE a) Use the resolution algorithm to determine whether the following KB entails -D. [5 points) b) Use the resolution algorithm to determine whether the following KB entails B V-D. [5 points)