==== Knowledge Engineering ====

The course is partially based on the book: **Artificial Intelligence: A Modern Approach**
by Stuart Russell and Peter Norvig. Some slides use the material from the [[http://aima.cs.berkeley.edu/|book page]].

The logic and rule-based part is partially based on the book: **Logical Foundations for Rule_based Systems** by Antoni Ligęza. [[http://books.google.com/books?id=KLcOI2EQJ0sC&printsec=frontcover&dq=%22Logical+Foundations+for+Rule-Based+Systems%22&hl=pl&ei=spQATrqVCZzk-QbEzfmpDw&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCsQ6AEwAA#v=onepage&q&f=false|Sample content]]


__Selected course materials:__

----

  * {{:ke:ke-intro-2010.pdf|Introduction}}
  * {{:ke:ai-projects.pdf|Selected AI Projects}}
  * {{:ke:logic-2010.pdf|Logical Foundations}}
  * {{:ke:rule-based-system-2010.pdf|Rule-Based Systems}}
  * {{:ke:ruleinfalg.pdf|Rule_based Systems: Tools and Techniques}}
  * {{:ke:hekate_mth_ali.pdf|Rule-Based Systems: The HeKatE Project and XTT}}
  * {{:ke:piw-hekate.pdf|Rule-Based Systems: HeKatE Tools}}
  * {{:ke:master-ali.pdf|Search: Intro and Blind Methods}}
  * {{:ke:master.pdf|Search: Heuristic Algorithms}}
  * {{:ke:prezentacja.pdf|Robust Route Planning}}
  * {{:ke:master-clp.pdf|Constraint Programming Intro}}
  * {{:ke:proj_prosp_darkblue.pdf|Automated Diagnosis}}
  * {{:ke:fuzzy-control-tecza.pdf|Fuzzy Sets, Fuzzy Control}}
  * [[http://ai.ia.agh.edu.pl/wiki/pl:dydaktyka:semantic_web:start|Semantic Web: 4 lectures]]

----

__Basic Logic Support:__

  * {{:ke:logika1.pdf|Basic Math}}
  * {{:ke:logika2.pdf|Basic Logic Notions}}
  * {{:ke:logika3.pdf|Boolean Algebra, Logical Gates and Circuits}}
  * {{:ke:md_wyklady.pdf|All Together}}

----

  * [[http://www.aispace.org/|Tools for learning AI]]
  * [[http://ai.ia.agh.edu.pl/wiki/hekate:start|Rule-Based Systems: HeKatE Tools]]