Artificial intelligence/Lecture aid

Problems in AI edit

  • AI02.A.Prob (pdf)

Problem Representation edit

  • AI03.A.Prob (pdf)

Search Algorithms edit

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

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


First-Order Logic edit


Functional Programming edit

lifted domain coloring
domain-coloring.scm


Search Algorithm Java Implementation edit

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 edit