Artificial intelligence/Lecture aid

Problems in AI

• AI02.A.Prob (pdf)

Problem Representation

• AI03.A.Prob (pdf)

Search Algorithms

• AI04.A.Search (pdf)
• AI05.A.AndOr (pdf)

General Logic Background

Background

• Logic Background (A.pdf, B.pdf)

Propositional Logic

• Propositional Logic (A.pdf, B.pdf)
• Syntax and Semantics
• Implication
• Arguments
• Resolution

First-Order Logic

• First Order Logic (A.pdf, B.pdf)
• Syntax and Semantics
• Implication
• Quantifier
• Arguments
• Resolution (A.pdf)

• Logic (A.pdf)
• Logic (pdf)
• Satisfiability and Validity
• Propositional Logic
• First-Order Logic
• Resolution Theorem Proving: Propositional Logic
• Resolution Theorem Proving: First Order Logic

• MIT OCW

Functional Programming

• SCIP
• SCIM
• Scheme
• Haskell
• Domain Coloring using Scheme

lifted domain coloring

domain-coloring.scm

Search Algorithm Java Implementation

Based on the Artificial Intelligence : Modern Approach

• Directory Structure (pdf)
• Build.xml (pdf)
• BFS (pdf)
• BFS Test (pdf)
• Node (pdf)
• NodeExpander (pdf)
• NodeStore (pdf)

External Links

• Artificial Intelligence: A Modern Approach