Loogiline programmeerimine

MTAT.05.103
lektor Tõnu Tamme, 4 ap

Õppetöö 2008. a. sügissemestril

• loengud
  • E 10–12 L. 111
  • R 14–16 L. 404
  loengute aluseks on Uwe Schöningi raamat (vt. ÕISi)
• ettekanded
• kodused ülesanded (tulemused)
• Prologi ülesanded (tulemused)
• kirjandus
• Prolog
• kontrolltöö (ülesanded eksamil)
• hinne (20 % ettekanne, 5 % ettekannete kuulamine, 25 % kodused ülesanded, 25 % ülesanded (eksamil), 25 % eksamipunktid)
  
• eksam 16. jaanuaril kell 12–15 Liivi 2-402 (eksamiküsimused on ÕISis, materjale võib kasutada 5 minuti jooksul)

Loenguülesanded (Tulemused)

1. normaalkujud (5. sept.)
2. märkimisalgoritm (8. sept.)
3. kompaktsusteoreem (12. sept.)
4. resolutsioon (15. sept.)
5. resolutsioon (19. ja 22. sept.)
6. tõlkimislemma (26. sept.)
7. rektifitseeritud ja prefikskuju (29. sept.)
8. Skolemi valem (3. ja 6. okt.)
9. Posti vastavusprobleem (10. okt.)
10. Herbrandi mudel (13. okt.)
11. Herbrandi mudeli teoreem (17. okt.)
12. poollahenduvus (24. okt.)
13. kinnine resolutsioon (27. okt.)
14. unifitseerimisalgoritm (31. okt. ja 3. nov.)
15. resolutsioon (7. nov. ja 10. nov.)
16. resolutsioon (14. nov. ja 17. nov.)
17. resolutsiooni kitsendused (21. nov. ja 24. nov.)
18. resolutsiooni mittetäielikkus (12. dets.)
19. Horni programmide semantika (19. dets.)

Prologi ülesanded (Tulemused)

1. lihtsusta (tähtaeg 22. sept.)
2. lahenda (tähtaeg 13. okt.)
3. rpkuju (tähtaeg 20. okt., pikendatud 27. okt.)
4. kaasus (tähtaeg 10. nov., pikendatud 8.dets.)

Ettekanded

1. Programmide verifitseerimine (Kalmer Apinis, 10. nov.)
   (Isil Dillig, Thomas Dillig and Alex Aiken. Sound, Complete and Scalable Path-Sensitive Analysis. 2008)
2. Uued tõestusmeetodid (Answer Set Programming) (Egon Elbre, 24. nov.)
3. Ekspertsüsteemid (Katrin Jets, 28. nov.)
   (Dennis Merritt. Building expert systems in Prolog. 1989)
4. Veebiloogikad (Ivo Seeba, 1. dets.)
   (Giulio Piancastelli and Andrea Omicini. A Multi-Theory Logic Programming Language for the World Wide Web. 2008)
5. Paradigma plussid ja miinused (Aivar Annamaa, 5. dets.)
   (Peter Wegner. Object-Based Versus Logic Programming. 1992)
6. Resolutsiooni rakendused intellektitehnikas (Henri Lakk, 15. dets.)
   (John Alan Robinson. Computational Logic: Memories of the Past and Challenges for the Future. 2000)
7. Kitsendused (CHR)
8. Abduktiivne loogiline programmeerimine (ALP)
9. Induktiivne loogiline programmeerimine (ILP)
10. Rakendused lingvistikas

Kirjandus

• Uwe Schöning. Logic for computer scientists. Birkhäuser, 1989.
• John W. Lloyd. Foundations of logic programming. 2nd edition. Springer-Verlag, 1987.
• Krzysztof R. Apt. From logic programming to Prolog. Prentice Hall, 1997.
• Kees Doets. From logic to logic programming. MIT, 1994.
• Ivan Bratko. Prolog programming for artificial intelligence. 3rd edition. Addison-Wesley, 2001.
• D. L. Bowen (ed.), L. Byrd, F. C. N. Pereira, L. M. Pereira, D. H. D. Warren.
  DECsystem-10 Prolog user's manual. 1982.
• Mare Koit. Resolutsioonimeetod. Tartu, 1989.
• Tõnu Tamme, Tanel Tammet, Rein Prank. Loogika: mõtlemisest tõestamiseni. Tartu, 1997, 2002.
• Tõnu Tamme. Loogilise programmeerimise meetod. Tartu, 2003.
• Tõnu Tamme. Prologi kursus lingvistidele. 1998.

Vabad raamatud

• Robert Kowalski. Logic for problem solving. North-Holland, 1979. (pdf)
• Dennis Merritt. Building expert systems in Prolog. Springer-Verlag, 1989. (html, pdf)
• Ulf Nilsson, Jan Maluszynski. Logic, programming and Prolog. Wiley, 1st edition 1990, 2nd edition 1995, 2000. (pdf)
• Dennis Merritt. Adventure in Prolog. Springer-Verlag, 1990. (html)
• Hassan Ait-Kaci. Warren's abstract machine: a tutorial reconstruction. MIT, 1991, 1999. (ps, pdf)
• Michael Spivey. An introduction to logic programming through Prolog. Prentice Hall, 1996, 2002. (ps)
• Patrick Blackburn, Johan Bos, Kristina Striegnitz. Learn Prolog now! 2001. (html)
• Steve Reeves, Mike Clarke. Logic for computer science. Addison Wesley, 1990. (pdf)
• Jean Gallier. Logic for computer science: foundations of automatic theorem proving. Wiley & Sons, 1986. (2003, ps, pdf)

Ülikooli serveritele on installeeritud

• pl (SWI-Prolog)
• gprolog (GNU Prolog)

© 2008 Tõnu Tamme