Předmět Logické metody (IZI903)

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 IZI903 - Logické metody, Fakulta informatiky a statistiky, Vysoká škola ekonomická v Praze (VŠE).

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

Obsah

- odvozování v teoriích 1. řádu. Gödelovy věty (rekapitulace). Operace logického důsledku. Fundamentální vlastnosti operace logického důsledku (reflexivnost, monotónnost, transitivnost, kompaktnost) a jejich význam pro odvozování- automatizace logického odvozování. Logické programy. Herbrandova věta. Robinsonův rezoluční princip. Nemonotónnost logických programů. - role skrytých předpokladů v usuzování. Inference a očekávání.- nemonotónnost usuzování. Příklady nemonotónních inferencí. Konfliktní báze znalsotí (Nixon diamond apod.). Skeptický a liberální přístup. Inheritance hierarchies. TMS (Truth Maitenance Systems)- nemonotónní logiky: Reiterova logika defaultů. Extenze teorie s defaulty, views. Orthogonalita extenzí, podmínky existence extenzí. Teorie normálních defaultů, semi-monotónnost. McDermotova nemonotónní logika. Vztah k CWA. Autoepistemické logiky (Moore, Etherington).- minimální modely. Preferenční a částečné modely. Circumscriptions.- kondicionální logiky (David Nute)- dynamika znalostí (expanze, kontrakce a revize znalostí). Epistemické stavy. Operace nemonotónní inference a její vlastnosti (kumulativnost, opatrná monotónnost, distributivnost apod.).- logické základy netod strojového učení (machine learning). Logická konsistence vs. implikace jako báze pro induktivní učení.- postultáty racionality.- možnosti implementace systémů nemonotónní inference

Získané způsobilosti

Po úspěšném absolvování budou studenti schopni - znát základní logické metody odvozování včetně Godelových vět a logických programů- použít nemonotonní inferenci při řešení úloh- znát a používat defaultní usuzování

Literatura

TypAutorNázevMísto vydáníNakladatelRokISBNZKONAR, A.Artificial Intelligence and Soft Computing. Behavioral and Cognitive Modelling of the Human Brain.Boca Raton:CRC Press, Inc., 2000.0849313856ZGÄRDENFORS, P.Knowledge in Flux : Modelling the Dynamics of Epistemic States.Cambridge Massachussetts:MIT Press, 1988.0262071096ZJIRKŮ, P.Rule-Based Defeasible Reasoning.Liblice:1993.8070070528DŠEFRÁNEK, J.Inteligencia jako výpočet.Bratislava:Iris, 2000.8088778964DTURNER, R.Truth and Modality for Knowledge Representation.London:Pitman Publishing, 1990.990001155X

Požadavky

žádné

Garant

doc. PhDr. Petr Jirků, CSc.

Vyučující

doc. PhDr. Petr Jirků, CSc.