diff --git a/README.md b/README.md
index 1eb5ef7..ef746c4 100644
--- a/README.md
+++ b/README.md
@@ -177,22 +177,67 @@
 # Lekcia 4: Znalosti
 
 - Znalosti
-    - Aaa
+    - Expertný systém (_ES_):
+        - Súbor počítačových programov a štruktúrovaných údajov, ktoré sú schopné nahradiť činnosť špecialistu v jeho obore (prípadne ho prekonať).
+        - Simulujú rozhodovaciu činnosť experta pri riešení zložitých úloh a využívajúce vhodne zakódovaných, explicitne vyjadrených znalostí, prevzatých od experta, s cieľom dosahovať v zvolenej problémovej oblasti kvality rozhodovania na úrovni experta.
+    - Prístupy založené na vytváraní systémov riešiace všeobecné problémy nie sú efektívne na riešenie ľubovoľne zložitých problémov.
+    - Kvalita systému s UI závisí viacej od kvality znalostí ako na kvalite mechanizmu pre ich využívanie.
 
-- Vlastnosti znalostných systémov
-    - Aaa
+- Vlastnosti znalostných systémov (_ES_)
+    - Cieľom ES **nie** je čo _najvernejšie modelovať mentálne procesy pri rozhodovaní_, ale _dosiahnuť najlepšie odozvy na reálne dáta_.
+    - ES sa výrazne líšia od "konvenčných" programov.
 
 - Reprezentácia znalosti (vyjadriteľnosť, použiteľnosť, začleniteľnosť)
-    - Aaa
+    - Vyjadriteľnosť - vedieť pracovať s poznatkami zapísať ich.
+    - Použiteľnosť - poznatky musia byť použiteľné.
+    - Začleniteľnosť - poznatky _nie_ sú izolované entity, ale navzájom spolu súvisia, preto ich musíme vedieť začleniť do kontextu predchádzajúcich poznatkov.
 
 - Logika, výroková logika, predikátová logika
-    - Aaa
+    - Logika:
+        - Možnosť reprezentácie znalostí pomocou symbolov logiky.
+        - Aristotelova logika vychádza z tzv. sylogizmov, ktorý ma dva predpoklady a jeden výrok.
+    - Výroková logika:
+        - Použitie sylogizmov nemusí pri inferencii stačiť, pretože pokryjú relatívne malé časti logických tvrdení.
+        - Pre inferenčný mechanizmus ES je dôležitá.
+    - Predikátová logika:
+        - Ide o vnútornú štruktúru tvrdení.
+        - Jazyk tejto logiky je tvorený:
+            1. premennými a konštantami,
+            2. predikátovými symbolmi,
+            3. funkčnými symbolmi,
+            4. logickými spojkami,
+            5. kvantifikátormi.
+        - **Nie** je rozhodnuteľná (neplatnosť nemusí byť overená v konečnom počte krokov).
 
 - Pravidlá
-    - Aaa
+    - Reprezentácia poznatkov pomocou pravidiel - _formalizmus_.
+    - Často reprezentuje poznatky `if`-`then` pravidlami.
+    - Skladá sa z:
+        1. predpokladovej alebo situačnej časti (ľavá strana),
+            - Postupnosť elementárnych logických podmienok, ktoré spolu s logickými operáciami _konjunkcie_, _disjunkcie_ a _negácie_ vytvárajú _logický výraz_.
+        2. dôsledkovej alebo akčnej časti (pravá strana).
+            - Poznatky, ktoré zabezpečia reakciu a rozpoznanú situáciu.
+            - Reakcia je postupnosť akcií ako napr. _pridanie_, _modifikácia_ a pod.
+    - Produkčné pravidlo -> produkčný systém.
+    - Premenné umožňujú vytvárať všeobecnejšie pravidlá.
+    - Nevýhody:
+        - Ťažké pochopiť.
+        - Teoreticky môže nastať nepredvídateľné správanie.
+        - Zložitosť reprezentácie.
 
 - Sémantické siete, ontológie
-    - Aaa
+    - Sémantické siete:
+        - Prostriedok na reprezentáciu vzťahov medzi konceptami v problémovom prostredí.
+        - Vychádza z požiadaviek na začleniteľnosť poznatkov.
+        - Reprezentujú sa ohodnoteným orientovaným grafom.
+        - Koncepty môžu byť napr. _objekty_, _pojmy_, _udalosti_ a pod.
+    - Ontológia:
+        - Je štruktúrovaná, obmedzená množina jednoznačne definovaných pojmov.
+        - Spôsob reprezentácie znalostí o svete alebo jeho časti.
+        - Dátový model, ktorý reprezentuje množinu pojmov a vzťahy medzi nimi.
+        - Z explicitne vyjadrených zaznamenaných znalostí možno vyvodzovať implicitné dôsledky a súvislosti zahrnuté v ich obsahu.
+        - Všeobecne sa zapisujú ako množina definícií formálneho slovníka.
+        - Reprezentuje jednotky (_entity_), _myšlienky_, _udalosti_ s ich _vlastnosťami_ a _vzťahmi_ vzhľadom na systém kategórií.
 
 ---