Logic In Artificial Intelligence

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
Homepage