AI Syllybuse

AI Syllabus

1 Introduction to Artificial Intelligence and its subjects
2 Application of Artificial Intelligence with some examples
3 Knowledge representation propositional calculus: Symbols and Sentences, propositional Semantics
4 Theorem Proving by Propositional Logic
5 predicate calculus: Syntax and Semantics
6 Using Inference Rules to Produce Predicate Calculus Expressions,
7 Unification of Expression Resolution in Propositional Logic
8 Robinson’s Inference Rule,
Theorem Proving in FOL with Resolution Principle, Different Types of Resolution
9 production rules
10 Network representation (Semantic nets and conceptual Graph
11 Knowledge representation : Frames and Scripts
12 Knowledge representation : Petri-net
13 First Exam
14 Dealing with Imprecision and Uncertainty
15 Prolog programming : Facts , Rules, Queries , with Examples
16 Prolog programming : Recursive programming, Lists. Arithmetic Expressions, with examples.
17 Prolog programming : Backtracking and Cuts, with examples.