Lecture+15+Resolution+Theorem+Proving - Resolution Theorem...

Info icon This preview shows pages 1–11. Sign up to view the full content.

View Full Document Right Arrow Icon
Resolution Theorem Proving Lecture # 15 Thursday, March 30, 2017 Spring 2017 FAST NUCES, Faisalabad Campus Zain Iqbal [email protected]
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Outline Propositional Logic Recap Conjunctive normal form The Resolution Algorithm Strategies to Guide the Search Conclusion
Image of page 2
Propositional Logic Proposition symbols (“literals”) A, B, C, D, Student, North Each can be either True or False The name is irrelevant It is just the name you give to the proposition In your model, if North = True , it could mean that you are facing north, or everyone is facing north, or that it is possible to go north, etc...
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon