5. Knowledge Base Prove Inference resolution refutation Propositional Logic Artificial Intelligence

[@bekabex8643]

very good explanation. keep up the good work. straight to the point, well done

[@JiawenZheng-t9o]

Hello, here I come up with a question: what if we have a KB containing literals p1: A | B, p2: ~A|~B. We know it's possible to assign A with True and B with False to satisfy this, but when it comes to the resolution-reputation process, we may generate a "true -> false" here. How should we solve this problem here? Thanks!

[@manarlaskri8006]

thank you so much

[@MaheshHuddar]

Welcome
Do like share and subscribe

[@Tradersmoon]

Thank you

[@MaheshHuddar]

Welcome
Do like share and subscribe