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

Overview

• Logic Background (A.pdf, B.pdf, C.pdf)
• Logic in Prolog (A.pdf)
• Satisfiability and Validity
• First-Order Logic
• Resolution Theorem Proving

- Propositional Logic

- First-Order Logic

Propositional Logic

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

First-Order Logic

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

• MIT OCW
• David Poole's book site

Functional Programming

• SCIP
• SCIM
• Scheme
• Haskell programming in plain view
• 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)

go to [ Electrical_&_Computer_Engineering_Studies ]

External Links

• Artificial Intelligence: A Modern Approach