IA008 Výpočtová logika

Obsah (PM = u Pavla Marečka)

Úvod
Přehled výrokové a predikátové logiky. Rezoluční princip
Logické programování a Prolog
Induktivní logické programování text + slidy
Model Inference Problem (PM)
Tablové důkazy - Logic for Applications, kap. I.4, I.5, II.6, II.7 - (PM)
Deduktivní databáze (PM)
Neklasické logiky (PM)
Logika a zpracování přirozeného jazyka

Prolog

LeanTaP, implementace tabulkoveho dukazu v Prologu.

SWI Prolog:
module add pl
pl
?- [leantest].
?- assert(toPrint).
% enable to print the tableau
?-provefml(NazevFormule). % napr. provefml(pel11) viz leantest.pl fml()