Artificial intelligence/Lecture aid

From Wikiversity
Jump to navigation Jump to search

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]


  • 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

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]