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]

Overview[edit]

  • Logic Background (A.pdf, B.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]