Logic In Artificial Intelligence

From Prepositional Logic to Predicate Logic

What you’ll learn
Define syntax and semantics of logic
Apply reasoning using predicate logic
Convert a predicate into normal form
Apply reasoning though refutation

Requirements
Basic understanding of artificial intelligence

Description
In this course we will understand how predicate logic helps in building AI systems. We will start by looking at knowledge representation and prepositional logic. We shall understand the syntax of propositional logic and the semantics behind it. Then we shall extend our understanding to predicate logic. We shall see how predicate logic a generalized form of prepositional logic is. Like prepositional logic we shall also see the syntax and semantics of predicate logic.Next, we shall work towards developing a reasoning mechanism for predicate logic and will also see what reasoning (inference) rules can be applied on predicate and how they differ in their functionality. We shall see how universal and existential elimination methods differ from each other. Why do we need to be extra cautious about existential elimination and what different types of existential elimination techniques are there.Then we shall look at how we can convert a predicate expression into canonical form. We will see what are the steps followed in converting a predicate expression into either conjunctive normal form or disjunctive normal form. Then we shall apply resolution onto the normalized predicates. Here we shall understand how reasoning can be applied through refutation and what are its implications.

Overview
Section 1: Introduction

Lecture 1 Course Introduction

Section 2: Syntax and Semantics

Lecture 2 Knowledge Representation

Lecture 3 Predicate Calculus

Section 3: Reasoning in Predicate Logic

Lecture 4 Modus Ponen

Lecture 5 Inference Rules

Section 4: Applying Resolution

Lecture 6 Normal Form Conversion

Lecture 7 Reasoning Through Refutation

This course is for beginners who wish to understand how predicate logic in AI works