Hlavné menu

Course CompLog: Rozdiel medzi revíziami
 
(59 medziľahlých úprav od 4 ďalších používateľov nie je zobrazených)
Riadok 2: Riadok 2:
  
 
* Lecturers: Martin Baláž, Martin Homola
 
* Lecturers: Martin Baláž, Martin Homola
−
* Lab assistants: Martin Baláž, Jozef Frtús
+
* Lab assistants: Júlia Pukancová, Martin Baláž
−
* Schedule: Tue 9:50 F1-328 (lectures), Wed 13:10 M-V (labs) Thu 8:10 M-XI (labs)
+
* Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (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]
−
 
+
-->
−
Note: it is likely that due to low number of students this year one of the lab sessions will be cancelled
+
* Lab Evaluation: [https://docs.google.com/spreadsheets/d/1jbwqgBaV-aKtYYyA2zQn6r-lMKk_fMe3GAdcSaOe7-4 Google Docs]
−
 
+
'''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 ==
+
  
−
* Midterm: 10 pints
+
=== Evaluation ===
−
* Exam: 30 points (min 10)
+
−
* Labs: 10 points (min 3)
+
−
* Project/Homework: 5 points (min 1)
+
−
* '''Total:''' 55 points
+
  
−
Grading:
+
* Midterm: 10 points (min 0)
 +
* Exam: 30 points (min 15)
 +
* Labs: 15 points (min 5)
 +
* Project/Homework: 15 points (min 5)
 +
* '''Total:''' 70 points
  
−
* A: 47 and more points
+
=== Grading ===
−
* B: 41 and more points
+
−
* C: 35 and more points
+
−
* D: 29 and more points
+
−
* E: 23 and more points
+
−
* Fx: less than 23 points
+
  
−
== Lecture Slides and Exercises ==
+
* 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
  
−
=== Lectures ===
+
=== Lecture Slides ===
−
# [[File:CompLog2012-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]] (Updated 9 Oct: some notational fixes)
+
# [[media:CompLog2014-Lecture-1-FOL.pdf|First Order Logic, Syntax and Semanics]]
−
# [[File:CompLog2012-Lecture-2-Reasoning-with-FOL.pdf|Calculus, Resolution]]  
+
# [[media:CompLog2014-Lecture-2-Reasoning-with-FOL.pdf|Reasoning with FOL]]
−
# [[File:CompLog2012-Lecture-3-DL.pdf|Ontologies, Description Logics]]  
+
# [[media:CompLog2014-Lecture-3-Applications-of-FOL.pdf|Applications of FOL]]
−
# [[File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf|Tableau reasoning algorithm for ALC DL]]  
+
# [[media:CompLog2014-Lecture-4-Description-Logics.pdf|Description Logics]]
−
# [[File:CompLog2012-Lecture-5-Logic Programming.pdf|Logic Programming]]  
+
# [[media:CompLog2014-Lecture-5-Reasoning-with-DL.pdf|Reasoning with DL]]
 +
# More DLs and Their Applications
 +
<!--
 +
# [[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]]
 +
# [[media:CompLog2014-Exercises-6-Reasoning-with-DL.pdf|DL, Tableau Algorithm]]
 +
# [[media:CompLog2014-Exercises-7-Reasoning-with-DL.pdf|DL, Tableau Algorithm with ABox]]
 +
# [[media:CompLog2014-Exercises-8-Logic-Programming.pdf|Logic Programming - Introduction]]
 +
# [[media:CompLog2014-Exercises-9-Prolog.pdf|Logic Programming - Prolog]]
 +
<!--#
 +
# [[media:CompLog2013-Exercises-9-LP.pdf|Logic Programming - ASP]]
 +
-->

Aktuálna revízia z 18:33, 30. december 2014

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

  • Lecturers: Martin Baláž, Martin Homola
  • Lab assistants: Júlia Pukancová, Martin Baláž
  • Schedule: Tue 14:00 F1-109 (lectures), Thu 12:20 F1-247 (labs)
  • Lab Evaluation: Google Docs

New: Project assignments

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

Lecture Slides

  1. First Order Logic, Syntax and Semanics
  2. Reasoning with FOL
  3. Applications of FOL
  4. Description Logics
  5. Reasoning with DL
  6. More DLs and Their Applications
  7. Introduction to Logic Programming
  8. Logic Programming and Prolog
  9. Applications of Prolog
  10. Answer Set Programming
  11. Extensions and Applications of ASP

Exercises

  1. First Order Logic, Syntax and Formalization
  2. First Order Logic, Semantics and Reasoning
  3. First Order Logic, Resolution
  4. Decription Logic, Conceptualization
  5. DL, Tableau Algorithm
  6. DL, Tableau Algorithm with ABox
  7. Logic Programming - Introduction
  8. Logic Programming - Prolog
Zdroj: „http://dev.dai.fmph.uniba.sk/w?title=Course_CompLog&oldid=12764“