Learning Outcomes

In this free course, you will learn how to:

• Explain logical language, inference and reasoning
• Discuss the theoretical foundation of Prolog
• Identify the steps involved in theorem proving by resolution refutation
• Explain the concepts of ‘modus ponens’, ‘tollens’ and universal instantiation
• Compare various reasoning approaches
• Outline the benefits of propositional and predicate calculus
• Explain how to build a reasoning system
• Discuss how to match two predicates and unification in predicate logic