Artificial intelligence/Lecture aid
Jump to navigation
Jump to search
Problems in AI[edit | edit source]
- AI02.A.Prob (pdf)
Problem Representation[edit | edit source]
- AI03.A.Prob (pdf)
Search Algorithms[edit | edit source]
General Logic Background[edit | edit source]
Overview[edit | edit source]
- 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 | edit source]
- 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 | edit source]
- 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 | edit source]
- SCIP
- SCIM
- Scheme
- Haskell programming in plain view
- Domain Coloring using Scheme
Search Algorithm Java Implementation[edit | edit source]
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 ]