|
|
Hlavní nabídka Prohlížení IS/STAG
Nalezené předměty, počet: 1
Stránkování výsledků vyhledávání
Nalezeno 1 záznamů
Export do Xls
Informace o předmětu
KIP / 8MLAI
:
Popis předmětu
Pracoviště / Zkratka
|
KIP
/
8MLAI
|
Akademický rok
|
2023/2024
|
Akademický rok
|
2023/2024
|
Název
|
Matematická logika pro uměl. inteligenci
|
Způsob zakončení
|
Zkouška
|
Způsob zakončení
|
Zkouška
|
Název dlouhý
|
Matematická logika pro umělou inteligenci
|
Akreditováno / Kredity
|
Ano,
15
Kred.
|
Forma zakončení
|
Kombinovaná
|
Forma zakončení
|
Kombinovaná
|
Rozsah hodin
|
Přednáška
26
[HOD/SEM]
Cvičení
26
[HOD/SEM]
|
Zápočet před zkouškou
|
Ne
|
Zápočet před zkouškou
|
Ne
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Počítán do průměru
|
ANO
|
Vyučovací jazyk
|
-
|
Obs/max
|
|
|
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Letní semestr
|
0 / -
|
0 / -
|
0 / 0
|
Počítán do průměru
|
ANO
|
Zimní semestr
|
0 / -
|
0 / -
|
0 / 0
|
Opakovaný zápis
|
NE
|
Opakovaný zápis
|
NE
|
Rozvrh
|
Ano
|
Vyučovaný semestr
|
Zimní + Letní
|
Vyučovaný semestr
|
Zimní + Letní
|
Minimum (B + C) studentů
|
nestanoveno
|
Volně zapisovatelný předmět |
Ano
|
Volně zapisovatelný předmět
|
Ano
|
Vyučovací jazyk
|
-
|
Počet dnů praxe
|
0
|
Počet hodin kontaktní výuky |
|
Hodnotící stupnice |
A|B|C|D|E|F |
Periodicita |
každý rok
|
Periodicita upřesnění |
|
Základní teoretický předmět |
Ne
|
Profilující předmět |
Ne
|
Základní teoretický předmět |
Ne
|
Hodnotící stupnice |
A|B|C|D|E|F |
Nahrazovaný předmět
|
Žádný
|
Vyloučené předměty
|
Nejsou definovány
|
Podmiňující předměty
|
Nejsou definovány
|
Předměty informativně doporučené
|
Nejsou definovány
|
Předměty,které předmět podmiňuje
|
Nejsou definovány
|
Graf četnosti udělených hodnocení studentům napříč roky:
Obrázek PNG
,
XLS
|
Cíle předmětu (anotace):
|
Cílem předmětu je seznámit studenta s výrokovou a predikátovou matematickou fuzzy logikou. Dále se student seznámí s vybranými aplikacemi založené na využití nástrojů přirozené fuzzy logiky.
|
Požadavky na studenta
|
Ústní zkouška. Diskutovat vybraná témata z doporučné literatury ve vazbě na téma dizertační práce.
|
Obsah
|
1. Klasická logika-výroková a predikátová
a) Výroková logika, její jazyk a syntaxe, axiomy, dedukční pravidla.
b) Sémantika klasické logiky, základní tautologie.
c) Predikátová logika, její syntax, dedukční pravidla, axiómy. Sémantika predikátové logiky.
2. Vícehodnotové logiky (BL-logika a Lukasiewiczova logika (Luk.))
a) Výroková BL+Luk. logika, její jazyk a syntaxe, axiomy, dedukční pravidla.
b) Sémantika BL+Luk. logiky, základní tautologie.
c) Predikátová BL+Luk. logika, její syntax, dedukční pravidla, axiómy. Sémantika predikátové BL+Luk. logiky.
d) Porovnání obou fuzzy logik (jazyk, logické axiomy, základní logické spojky, tautologie, model, safe model).
3. Intermediální kvantifikátory
a) Zavedení matematické definice pomocí teorie evaluačních jazykových výrazů.
b) Monotónnost a postavení kvantifikátorů v logických strukturách opaků.
4. Logické sylogismy
a) Kategorický sylogismus, pravdivost a nepravdivost sylogismu,
b) Aristotelovy sylogismy
c) Petersonovy sylogismy
d) Metody ověřování pravdivosti sylogismu (syntakticky, sémanticky, Vénovy diagramy, Aristotelova a Petersonova pravidla)
|
Aktivity
|
|
Studijní opory
|
|
Garanti a vyučující
|
-
Garanti:
prof. Ing. Vilém Novák, DrSc. (100%),
-
Přednášející:
doc. RNDr. Petra Murinová, Ph.D. (50%),
prof. Ing. Vilém Novák, DrSc. (50%),
-
Cvičící:
doc. RNDr. Petra Murinová, Ph.D. (50%),
prof. Ing. Vilém Novák, DrSc. (50%),
|
Literatura
|
-
Základní:
Reghis, M. S., & Roventa, E. Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version. CRC Press, 2022.
-
Základní:
Nidditch, P. H. The development of mathematical logic. Routledge, 2019.
-
Rozšiřující:
Mathematical capabilities of chatgpt
(Frieder, S., Pinchetti, L., Griffiths, R. R., Salvatori, T., Lukasiewicz, T., Petersen, P. C., ... & Berner, J.)
-
Doporučená:
Murinová Petra. Graded structures of opposition in fuzzy natural logic. Springer Nature Switzerland. 2020.
( DOI: https://doi.org/10.1007/s11787-020-00265-y )
-
Doporučená:
Novák, V., Perfilieva, I., Dvořák, A. Insight into Fuzzy Modeling. Wiley & Sons., Hoboken, 2016.
-
Doporučená:
Peterson P. L. Intermediate Quantities Logic, linguistics, and Aristotelian semantics. ISBN 0 7546 1228 7.
-
Doporučená:
Novák, V., Perfilieva, I., Močkoř, J. Mathematical Principles of Fuzzy Logic. Boston, Kluwer. 1999.
( DOI: https://doi.org/10.1007/978-1-4615-5217-8 )
-
On-line katalogy knihoven
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Konzultace s vyučujícím (včetně elektronické)
|
20
|
Samostudium
|
60
|
Studium pramenů
|
60
|
Semestrální práce
|
150
|
Účast na výuce
|
52
|
Příprava na zkoušku
|
50
|
Celkem
|
392
|
|
Předpoklady
|
|
Výsledky učení
|
|
Hodnoticí metody
|
Odborné znalosti - odborné znalosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Ústní zkouška |
|
Vyučovací metody
|
Odborné znalosti - pro dosažení odborných znalostí jsou užívány vyučovací metody: |
G6 - Konzultace s doktorandem |
Individuální výuka |
B1 - Diskuse |
G2 - Samostudium, řízené studium |
G5 - Kritické myšlení |
|
|
|
|