Artificial intelligence/Lecture aid
Problems in AI edit
- AI02.A.Prob (pdf)
Problem Representation edit
- AI03.A.Prob (pdf)
Search Algorithms edit
General Logic Background edit
Overview edit
- 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 edit
- 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 edit
- First Order Logic (A.pdf, B.pdf)
- Syntax (A.pdf)
- Semantics (A.pdf)
- Implication (A.pdf)
- Arguments (A.pdf)
- Resolution (A.pdf)
Functional Programming edit
- SCIP
- SCIM
- Scheme
- Haskell programming in plain view
- Domain Coloring using Scheme
Search Algorithm Java Implementation edit
Based on the Artificial Intelligence : Modern Approach