Předmět Computational Logic (IA008)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IA008 - Computational Logic, Fakulta informatiky, Masarykova univerzita (MU).

Materiál	Typ	Datum	Počet stažení

Cíl

Na konci tohoto kurzu bude student seznámen s hlavními proudy ve výpočtové logice; Bude umět využívat automatických důkazových technikpro výrokovou a predikátovou logiku a její rozšíření; Bude umět pracovat s metodami induktivního odvozování v těchto logikách;

Osnova

Introduction to propositional and predicate logic.Deduction: Resolution; Logic programming; Prolog, extralogical features, metainterpreters; Advanced parts from logic programming; Definite clause grammars; Deductive databases;Tableau proofs in different logics. Theorem proving in modal logic.Induction: Basics of inductive logic programming; Model inference problem; Assumption-based reasoning and learning; Learning frequent patterns.Logic for natural language processing.Knowledge representation and reasoning: Non-classical logic; Knowledge-based systems; Non-monotonic reasoning; Semantic web.

Literatura

NERODE, Anil a Richard A. SHORE. Logic for applications. New York: Springer-Verlag, 1993. xvii, 365. ISBN 0-387-94129-0. infoFITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996. xvi, 326 s. ISBN 0-387-94593-8. infoNIENHUYS-CHENG, Shan-Hwei a Ronald de. WOLF. Foundations of inductive logic programming. Berlin: Springer, 1997. xvii, 404. ISBN 3-540-62927-0. infoAn introduction to non-classical logic :from if to is. Edited by Graham Priest. 2nd ed. Cambridge: Cambridge University Press, 2008. xxxii, 613. ISBN 978-0-521-67026-5. info

Garant

prof. RNDr. Mojmír Křetínský, CSc.

Vyučující

doc. RNDr. Lubomír Popelínský, Ph.D.RNDr. Karel VaculíkMgr. Ondřej Nečas