(Structure updated)
(update 2016/2017)
 
(47 intermediate revisions by 3 users not shown)
Riadok 1: Riadok 1:
 
This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.
 
This is the homepage of '''2-AIN-108 Computational Logic''' course in the Master program of Applied Informatics.
  
* Lecturers: Martin Baláž, Martin Homola
+
* Lecturers: Martin Homola, Júlia Pukancová
* Lab assistants: Martin Baláž, Jozef Frtús
+
* Lab assistants: Júlia Pukancová
* Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
+
* Schedule: Wed 9:50 F1-109 (lectures), Wed 15:40 M-VII (labs)
* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)
+
<!--* '''New:''' [http://wiki.matfyz.sk/CompLog2012_Projekty Project assignments] (student's wiki)
* '''New:''' Lab Evaluation: [https://docs.google.com/spreadsheet/pub?key=0AnoXnHbSHpPudEVwc0VnUXBjTmZiZTdjelE3djhfNGc&single=true&gid=0&output=html Google Doc]
+
* Lab Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdDN4M2dPNm00TFctYm8ya012bTIzNUE&usp=sharing Google Docs]
 
+
* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled
+
'''New:''' [http://wiki.matfyz.sk/CompLog2014_Projekty Project assignments] -->
 
+
=== Syllabus ===
== Syllabus ==
+
  
 
# First Order Logic
 
# First Order Logic
# Description logics and ontologies
+
# Description Logics and Ontologies
# Logic programming
+
# Logic Programming - Prolog
# Dynamic logic
+
# Answer Set Programming
# Argumentation
+
# Multi-context systems (*)
+
  
== Evaluation ==
+
=== Evaluation ===
  
* Midterm: 10 pints
+
* Midterm: 10 points (min 0)
* Exam: 30 points (min 10)
+
* Exam: 30 points (min 15)
* Labs: 10 points (min 3)
+
* Labs: 15 points (min 5)
* Project/Homework: 5 points (min 1)
+
* Project/Homework: 15 points (min 5)
* '''Total:''' 55 points
+
* '''Total:''' 70 points
  
Grading:
+
=== Grading ===
  
* A: 47 and more points  
+
* A: 62 and more points  
* B: 41 and more points
+
* B: 54 and more points
* C: 35 and more points
+
* C: 47 and more points
* D: 29 and more points
+
* D: 40 and more points
* E: 23 and more points
+
* E: 34 and more points
* Fx: less than 23 points
+
* Fx: less than 34 points
  
== Lecture Slides ==
+
<!--
# [[File:CompLog2012-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] (Updated 9 Oct: some notational fixes)
+
=== Lecture Slides ===
# [[File:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf|Calculus, Resolution]]  
+
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
# [[File:CompLog2012-Lecture-3-DL.pdf|Ontologies, Description Logics]]  
+
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
# [[File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf|Tableau reasoning algorithm for ALC DL]]  
+
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
# [[File:CompLog2012-Lecture-5-Logic Programming.pdf|Logic Programming]]  
+
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
# [[File:CompLog2012-Lecture-6-Prolog.pdf|Prolog]]  
+
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
# [[File:CompLog2012-Lecture-7-ASP.pdf|Answer Set Programming]]  
+
# More DLs and Their Applications
# [[File:CompLog2012-Lecture-8-AAF.pdf|Abstract Argumentation Frameworks]] (Updated 5 Dec: fixed definition of admissible set)
+
-->
# [[File:CompLog2012-Lecture-9-SAF.pdf|Structured Argumentation Frameworks]]  
+
<!--
 +
# [[media:CompLog2013-Lecture-6-More-DLs-and-Apps.pdf|More DLs and Their Applications]]
 +
-->
 +
<!--
 +
# [[media:CompLog2014-Lecture-7-LP.pdf|Introduction to Logic Programming]]
 +
# [[media:CompLog2014-Lecture-8-Prolog.pdf|Logic Programming and Prolog]]
 +
# [[media:CompLog2014-Lecture-9-Applications-of-Prolog.pdf|Applications of Prolog]]
 +
# [[media:CompLog2014-Lecture-10-ASP.pdf|Answer Set Programming]]
 +
# [[media:CompLog2014-Lecture-11-Extensions-and-Applications-of-ASP.pdf|Extensions and Applications of ASP]]
  
== Exercises ==
+
=== Exercises ===
# [[File:Exercises-1-FOL.pdf]]
+
# [[media:CompLog2013-Exercises-1-FOL.pdf|First Order Logic, Syntax and Formalization]]
# [[File:Exercises-2-FOL.pdf]]
+
# [[media:CompLog2014-Exercises-2-3-FOL.pdf|First Order Logic, Semantics and Reasoning]]
# [[File:Exercises-3-DL.pdf‎]]
+
# [[media:CompLog2014-Exercises-4-Resolution.pdf|First Order Logic, Resolution]]
# [[File:Exercises-4-DL.pdf‎]]
+
# [[media:CompLog2014-Exercises-5-DL.pdf|Decription Logic, Conceptualization]]
# [[File:Exercises-5-DL.pdf‎]]
+
# [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]
# [[File:Exercises-6-LP.pdf‎]]
+
# [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]
# [[File:Exercises-7-LP.pdf‎]]
+
# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]
# [[File:Exercises-8-LP.pdf‎]] [http://ii.fmph.uniba.sk/~sefranek/kri/stabModely.pdf collection of exercises: stable models]
+
# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]
# [[File:Exercises-9-LP.pdf‎]]
+
-->
# [[File:Exercises-10-ARG.pdf‎]]
+
<!--#
 +
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]
 +
-->

Aktuálna revízia z 15:07, 14. september 2016

This is the homepage of 2-AIN-108 Computational Logic course in the Master program of Applied Informatics.

  • Lecturers: Martin Homola, Júlia Pukancová
  • Lab assistants: Júlia Pukancová
  • Schedule: Wed 9:50 F1-109 (lectures), Wed 15:40 M-VII (labs)

Syllabus

  1. First Order Logic
  2. Description Logics and Ontologies
  3. Logic Programming - Prolog
  4. Answer Set Programming

Evaluation

  • Midterm: 10 points (min 0)
  • Exam: 30 points (min 15)
  • Labs: 15 points (min 5)
  • Project/Homework: 15 points (min 5)
  • Total: 70 points

Grading

  • A: 62 and more points
  • B: 54 and more points
  • C: 47 and more points
  • D: 40 and more points
  • E: 34 and more points
  • Fx: less than 34 points