FI:IA008 Computational Logic - Informace o předmětu

IA008 Computational Logic

Rozsah

2/2. 4 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k.

Vyučující

Mgr. Eva Mráková, Ph.D. (cvičící)
doc. RNDr. Lubomír Popelínský, Ph.D. (přednášející)
Mgr. Ondřej Nečas (cvičící)
Mgr. Marek Trtík, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Lubomír Popelínský, Ph.D.

Rozvrh

Út 10:00–11:50 D1

• Rozvrh seminárních/paralelních skupin:

IA008/01: Út 12:00–13:50 B204, E. Mráková
IA008/02: Čt 10:00–11:50 B204, E. Mráková
IA008/03: St 16:00–17:50 G124, M. Trtík

Předpoklady

! I008 Výpočtová logika

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 111 stud.
Momentální stav registrace a zápisu: zapsáno: 0/111, pouze zareg.: 0/111, pouze zareg. s předností (mateřské obory): 0/111

Mateřské obory/plány

• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika (program FI, N-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Teoretická informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Zpracování obrazu (program FI, N-AP)

Cíle předmětu

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 technik pro 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; Definite clause grammars; Deductive databases; Tableau proofs. 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 0387941290. info
• FITTING, Melvin. First order logic and automated theorem proving. 2nd ed. New York: Springer, 1996, xvi, 326. ISBN 0387945938. info
• NIENHUYS-CHENG, Shan-Hwei a Ronald de WOLF. Foundations of inductive logic programming. Berlin: Springer, 1997, xvii, 404. ISBN 3540629270. info

Výukové metody

přednáška, cvičení

Metody hodnocení

Semestrální písemná zkouška a závěrečná písemná zkouška.

Vyučovací jazyk

Angličtina

Informace učitele

http://www.fi.muni.cz/~popel/lectures/complog/

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

• Statistika zápisu (jaro 2011, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2011/IA008