====== Artificial Intelligence - Introduction ======
//Podstawy sztucznej inteligencji//

Partially offered in English as: //Artificial Intelligence: Knowledge Representation and Machine Learning Methods//

===== Objectives =====
To give an ample introduction to the classic and most important topics in AI.
Additional treatment of Machine Learning topics - mostly symbolic/logical models.

===== Books for AI =====

Main:
  * [FCA] [[http://www.cs.ubc.ca/~poole/|D. Poole]], [[http://www.cs.ubc.ca/~mack|A. Mackworth]], //[[http://artint.info|Artificial Intelligence: Foundations of Computational Agents]]//, Cambridge University Press, 2010, **[[http://artint.info/html/ArtInt.html|ONLINE]]** 
  * [AIM] [[http://www.cs.berkeley.edu/~russell/|Stuart Russell]] and [[http://norvig.com/|Peter Norvig]] //[[http://aima.cs.berkeley.edu/|Artificial Intelligence: A Modern Approach]]//, 3rd Ed., Pearson, 2010.
  * [TAC] [[http://www.cs.toronto.edu/~hector/|Hector Levesque]] [[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12818|Thinking as Computation]], MIT Press, 2012.

Additional:
  * [KRR] [[http://brachman.org/|Ronald Brachman]] [[http://www.cs.toronto.edu/~hector/|Hector Levesque]] //[[http://www.elsevierdirect.com/product.jsp?isbn=9781558609327|Knowledge Representation and Reasoning]]//, Morgan Kaufman, 2004
  * [KRH] [[http://www.cs.vu.nl/~frankh/|F. van Harmelen]], [[http://www.cs.utexas.edu/~vl/|V. Lifschitz]], [[http://www.cs.utexas.edu/~porter/|B. W. Porter]], //[[http://www.elsevier.com/wps/find/bookdescription.cws_home/713675/description|Handbook of Knowledge Representation]]//, Elsevier Science (2008), **[[http://ii.fmph.uniba.sk/~sefranek/kri/handbook/|ONLINE]]**
  * [SLG] Peter Flach, [[http://www.cs.bris.ac.uk/~flach/SimplyLogical.html|Simply logical]], Wiley, 1994, **ONLINE**
  * [LAI] [[http://www.cse.buffalo.edu/~shapiro/|Stuart C. Shapiro]], [[http://www.cse.buffalo.edu/~shapiro/Courses/CSE563/2010/|Knowledge Representation and Reasoning: Logics for Artificial Intelligence]],  (Lecture notes **ONLINE**) 
  * [CIL] [[http://www.cs.ubc.ca/~poole|D. Poole]], A. Mackworth and R. Goebel, //[[http://www.cs.ubc.ca/~poole/ci.html|Computational Intelligence: A Logical Approach]]//, Oxford University Press, 1998.

===== Books for Prolog =====
Prolog online tutorials:
  * [LPN] [[http://www.learnprolognow.org/|Learn Prolog Now!]]
  * [AIP] [[http://www.amzi.com/AdventureInProlog/|Adventure in Prolog]]
  * [ESP] [[http://www.amzi.com/ExpertSystemsInProlog/|Expert Systems in Prolog]]

Prolog books:
  * [BRT] [[http://www.ailab.si/ivan|I. Bratko]], //[[http://www.amazon.com/Programming-Artificial-Intelligence-International-Computer/dp/0321417461/ref=dp_ob_title_bk|Prolog Programming for Artificial Intelligence]]//, 4th ed, Addison-Wesley, 2011.
  * [LPP] Ulf Nilsson and Jan Małuszyński, //[[http://www.ida.liu.se/~ulfni/lpp|Logic, Programming and Prolog]]// (2ed). **ONLINE**
  * [PPD] Michael Covington et. al., //[[http://web.ncf.ca/andre/publications/PPID.pdf|Prolog Programming in Depth]]//. **ONLINE**

Varia:
  * [[http://swi-prolog.org/|SWI-Prolog environment]]

===== Books for Machine Learning =====

  * [DMW] [[http://www.cs.waikato.ac.nz/~ihw|Ian Witten]], [[http://www.cs.waikato.ac.nz/~eibe|Eibe Frank]], [[http://www.linkedin.com/in/mahall|Mark Hall]], //[[http://www.cs.waikato.ac.nz/ml/weka/book.html|Data Mining:
Practical Machine Learning Tools and Techniques]]//, 3rd edition, Morgan Kaufmann Publishers, 2011
  * [FLA] [[http://www.cs.bris.ac.uk/~flach|Peter Flach]] //[[http://www.cs.bris.ac.uk/~flach/mlbook/|Machine Learning. The Art and Science of Algorithms that Make Sense of Data]]//, Cambridge University Press, 2012.
  * [TML] [[http://www.cs.cmu.edu/~tom/|T. Mitchell]], //[[http://www.cs.cmu.edu/~tom/mlbook.html|Machine Learning]]//, McGraw Hill, 1997.

Additional:
  * [CMB] [[http://research.microsoft.com/en-us/um/people/cmbishop/|Christopher M. Bishop]] //[[http://research.microsoft.com/en-us/um/people/cmbishop/prml/|Pattern Recognition and Machine Learning]]//, Springer, 2007.
  * [KDA] [[http://www.cioslab.vcu.edu/index.html|Krzysztof Cios]] et al. //[[http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-0-387-33333-5|Data Mining A Knowledge Discovery Approach]]//, Springer, 2007 [[http://www.cioslab.vcu.edu/Publications/DMBook/DMBook_Materials.htm|slajdy]]

Online material:
  * [ANG] [[http://www.cs.stanford.edu/people/ang/|Andrew Ng]] [[https://www.coursera.org/course/ml|Coursera: Machine Learning]]
  * [ZMV] [[http://www.cs.ccsu.edu/~markov/|Zdravko Markov]], //[[http://www.cs.ccsu.edu/~markov/ccsu_courses/MachineLearning.html|CS570 - Topics in AI: Machine Learning]]//, oraz //[[http://www.cs.ccsu.edu/~markov/ccsu_courses/mlprograms/|Machine Learning Programs and Laboratory Experiments in Prolog]]//, 2003.
  * [[http://www.cs.waikato.ac.nz/~ihw|Ian Witten]], Data Mining with Weka: [[http://wekamooc.blogspot.com/]] [[https://weka.waikato.ac.nz/explorer]]
  * [[http://www.cs.stanford.edu/people/ang/|Andrew Ng]], Machine Learning: [[https://www.coursera.org/course/ml]]

Varia:
  * [[http://www.cs.waikato.ac.nz/ml/weka/|WEKA]]
  * [[https://archive.ics.uci.edu/ml/|UCI ML repo]]
  * [[http://www.cs.ccsu.edu/~markov/|Zdravko Markov]] and Daniel T. Larose [[http://www.dataminingconsultant.com/DMW.htm|Data Mining the Web: Uncovering Patterns in Web Content, Structure, and Usage]]

===== Class Outline for 2014 =====
  - 2014-03-04: Initial meeting, plans
  - 2014-03-11: Intro to AI: 
    * Read: FCA:1,2, AIM:1,2
    * Lab: intro to Prolog, see [[http://swi-prolog.org/|SWI-Prolog environment]]
  - 2014-03-18: Catching up with Prolog  
    * Read: TAC:1,2,3
    * Lab: using Prolog, LPN:1,2, AIP:1,2,3
  - 2014-03-25: Intro to thinking as computation
    * Read: FCA:3, AIM:3,4
    * Lab: Prolog problem solving, LPN:3, AIP:4,5
  - 2014-04-01: Searching for solutions
    * Read: FCA:4, AIM:6, TAC:5
    * Lab: Prolog knowledge bases, AIP:7-10,  see: [[pl:dydaktyka:krr:lab_termy]]
  - 2014-04-08: Constraints
    * Read: FCA:5,13, AIM:7,8,9,12
    * Lab:  [[pl:prolog:prolog_lab:classicsearch|Searching]]
  - 2014-04-15: Knowledge representation, expert systems
    * Lab:[[pl:prolog:prolog_lab:constraint_satisfaction_problems|Prolog and constraints]]
    * Lab: Prolog assignements for evaulation
  - 2014-04-29: [[http://www.cs.waikato.ac.nz/ml/weka/book.html|ML]]
  - 2014-05-06: ML: [[pl:dydaktyka:ml:lab1|octave]], weka, [[pl:dydaktyka:ml:2014lab3|decision trees]]
  - 2014-05-13: ML: rules, and [[pl:dydaktyka:ml:2014lab4|association rules]]
  - 2014-05-20: ML: [[pl:dydaktyka:ml:lab4|linear models]] and linear regression
  - 2014-06-03: ML: [[pl:dydaktyka:ml:lab10|clustering]]
  - 2014-06-10: ML: [[pl:dydaktyka:ml:lab12|Bayesian nets]]
  - 2014-06-17: final test