Úvod do znalostního inženýrství

( KIV / UZI )

Organizační informace

• Sylabus přednášek a pokyny pro cvičení
• Fólie pro přednášky
• Literatura pro znalostní systémy
• Literatura pro znalostní systémy rozšiřující - ZS v podniku
• Literatura pro studium Prologu
• Fólie "Programování v Prologu" Tomáše Ciglera (2014)
• Fólie "Programování v Prologu" Tomáše Sládka (2014)
• Fólie "Úvod do programování v Prologu"
• Učebnice "Ponořme se do Python(u) 3"
• Znalostní inženýrství - září 2019 - stručný úvod
• Fólie "Základy logiky"
• Fólie znalostní systémy - staré slidy
• Znalostní systémy - úvod
• Dobývání znalostí
• Metody reprezentace a zpracování znalostí v UI - skriptum Prof. Radima Jirouška, VŠE Praha
• Reprezentace znalostí - 4. kapitola učebního textu prof. Ing. Petra Berky, CSc., VŠE Praha
• Fólie "Reprezentace znalostí"
• Ontologie
• Pravidlové znalostní systémy
• Nepravidlové a hybridní znalostní systémy
• Reprezentace znalostí a znalostní technologie
• Rete algoritmus
• Rete algorithm - úplný (vyčerpávající) popis algoritmu (angl.)
• Systémy typu tabule (blackboard)
• Zpracování neurčitosti - klasické přístupy
• Zpracování neurčitosti - vybrané teoretické přístupy
• Věrohodnost kontra pravděpodobnost
• Fuzzy systémy a fuzzy logika
• Strojové učení
• Struktury a návrh znalostních systémů
• Realizace a hodnocení znalostních systémů
• Metody odvozování
• Obecné otázky znalostních systémů (fólie Josefa Stroleného)
• Inferenční metody (fólie Josefa Stroleného)
• Usuzování za neurčitosti (fólie Josefa Stroleného)
• Reprezentace znalostí (fólie Josefa Kazáka)
• Zpracování neurčitosti (fólie Josefa Kazáka)
• Vybrané otázky zpracování neurčitosti ve znalostních systémech (fólie Josefa Kazáka)
• ...
• Návod ke cvičením

Zadání pro cvičení z předmětu UZI

• 1. týden - Informace o průběhu cvičení a výběr cvičení (zadání programů) v Pythonu
• 2. týden - Jednoduchoučké prográmky pro zopakování Pythonu plus (pro případné zájemce o procvičení programování v Prologu) Jednoduché programy v Prologu a jejich zpracování a zdrojové texty příkladů 1 a 3
• 3. týden - Realizace jednoduchých úloh v Pythonu a Opakování - predikátová logika 1. řádu
• 4. týden - Dva "reálné" programy v Prologu nebo v Pythonu - závěrečné cvičení z programování v Prologu a Pythonu
• 5. týden - Pravidlové znalostní systémy
• 6. týden - Nepravidlové a kombinované znalostní systémy
• 7. týden - Zadání semestrálních prací
• 8. týden - Konzultace zpracování semestrálních prací
• 9. týden - Zadání tří teoretických úloh na procvičení základů znalostních systémů a reprezentace znalostí a kompletní Einsteinovy úlohy
• 10. týden - Konzultace zpracování semestrálních prací
• 11. týden - Odevzdání výsledků zadání z devátého cvičení a závěrečná konzultace zpracování semestrálních prací
• 12. týden - Konzultace zpracování a možnost nezávazného předvedení výsledků semestrálních prací
• 13. týden - Odevzdání semestrálních prací, zápočet

Výsledky cvičení:

• 1. cvičení - Výsledky prvního cvičení - jednoduché programy v Pythonu a vybrané zpracované úlohy (soubor .zip)
• 2. cvičení - Výsledky druhého cvičení a zpracované úlohy (soubor .zip)
• 3. cvičení - Výsledky třetího cvičení a zatím žádná řešení
• 4. cvičení - Výsledky čtvrtého cvičení a zpracované úlohy (soubor .zip)
• 5. cvičení - Výsledky pátého cvičení a vybrané zpracované úlohy (soubor .zip)
• 6. cvičení - Výsledky šestého cvičení a vybrané zpracované úlohy (soubor .zip)
• 9. cvičení - Výsledky devátého cvičení a vybrané zpracované úlohy (soubor .zip)


• Požadavky na ukončení semestru

Testy

• Test č. 1 - pro týden od 31.10. do 7.11. - Test č.1
• Řešení testu č. 1 - Řešení testu č.1 pro týden od 31.10. do 7.11.
• Výsledky testu č. 1 - Výsledky testu č.1 z týdne od 31.10. do 7.11.
• Test č. 2 - pro týden od 5.12. do 12.12. - Test č.2
• Řešení testu č. 2 - Řešení testu č.2 pro týden od 5.12. do 12.12.
• Výsledky testu č. 2 - Výsledky testu č.2 z týdne od 5.12. do 12.12.

Semestrální práce:

• Zadání semestrálních prací pro předmět UZI   
• Pokyny pro zpracování semestrálních prací předmětu UZI   
• Pokyny pro zpracování písemné zprávy (referátu) k semestrální práci   
• Ukázka, jak správně komentovat programové moduly semestrální práce (.zip soubor)   

Výsledky semestrálních prací (úloha z 1. cvičení a komplet 7. cvičení):

• Výsledky semestrální úlohy "Programování v Pythonu"   
• Hodnocení semestrálních prací   
• vybrané zpracované úlohy (soubor .zip)

Otázky k ústní zkoušce

• Seznam otázek k ústní zkoušce   

Termíny zkoušek:

   11. 1. 2024    9:00 hod.    UC 329

•    Splnění semestrálních úloh ke zkoušce 11. 1. 2024   
   25. 1. 2024    9:00 hod.    UC 329

Kontakt

• Přednáší, cvičí a zkouší:  Prof. Ing. Václav Matoušek, CSc.
           matousek@kiv.zcu.cz
           UC 309
           tel. 377 632 471
  

Studijní materiály

•   Skriptum "Úvod do programovacího jazyka Prolog"    (PDF soubor)
•   Stručný úvod do programovacího jazyka Prolog    (PDF soubor)
•   Také úvod do programovacího jazyka Prolog    (PDF soubor)
•   Učebnice Python 3    (PDF soubor)
•   Literatura a tutorial pro Python    (PDF soubor)
•   Python tutorial (eng)    (PDF soubor)
•   Python tutorial česky    (PDF soubor)
•   Znalostní systémy - kap. 4 skripta Umělá inteligence a rozpoznávání    (PDF soubor)
•   Reprezentace znalostí - Žáček - skriptum Ostravské univerzity    (PDF soubor)
•   Expertní systémy - stručný učební text z VŠE    (PDF soubor)
•   Znalostní systém pro návrh osvětlení - návod    (PDF soubor)
•   Expertní systémy - bakalářská práce z VUT Brno    (PDF soubor)
•   Základy matematické logiky    (PDF soubor)
•   Výroková logika - skriptum z Masarykovy univerzity Brno    (PDF soubor)
•   Predikátová logika - skriptum z Masarykovy univerzity Brno    (PDF soubor)
•   Peregrin - Logika a logiky - učební text z MFF UK Praha    (PDF soubor)
•   Ontology Learning - Nováček diplomová práce    (PDF soubor)
•   Znalostní technologie - teorie vs. praxe    (PDF soubor)
•   Reprezentace znalostí - skriptum Prof. A. Lukasové, Ostravská univerzita   (PDF soubor)
•   Důkaz rezoluční metodou - příklad prof. Lukasové (PDF soubor)
•   Znalostní systémy - studijní materiály pro rozšířené studium (zip soubor 16 MB)
•   Dempster-Shaferova teorie - materiály pro domácí studium (zip soubor 1 MB)
•   Podklady pro studium fuzzy systémů.zip -- materiály pro rozšířené studium (zip soubor 8 MB)
•   Podklady pro studium -- nové.zip -- další materiály pro rozšířené studium -- 2023 (zip soubor 20 MB)
•   Diplomová práce Jaroslava Nováka -- studijní materiály pro zadání č. 6 (PDF soubor)

Zajímavosti

•   Příklad znalostního systému (k prezentacím Josefa Kazáka)
•   Inteligentní software - předmět o expertních systémech, inteligetních agentech a jejich aplikacích (GameAI)
•   Ukázky, jak komentovat programy (komprimovaný soubor)
•   Ukázka funkce programu z pátého cvičení
•   Halma

Ke stažení

•   B-Prolog v.8.1  Překladač B-Prologu, v.8.1
•   B-Prolog v.7.8  Překladač B-Prologu, v.7.8
•   Python v.3.11.5  Interpretátor Pythonu, v.3.11.5