Seminar for Probability Logic

 

PROGRAM

---

Predavanja možete pratiti i online putem MITEAM stranice Seminara Verovatnosnih logika:
https://miteam.mi.sanu.ac.rs/asset/Cfox9absXrRZL3cah

---

Plan rada Seminara Verovatnosnih logika za APRIL 2025.

---

Četvrtak, 10.04.2025. u 14:00, Kneza Mihaila 36, sala 301f i On-line
Nenad Krdžavac, Technische Informationsbibliothek (TIB), Hannover, Deutschland
AUTOMATSKO PREKLAPANJE IZMEĐU BAZA ZNANJA KOD OPISNIH LOGIKA
U ovom izlaganju se objašnjavaju osnovni pojmovi o preklapanju (engleski pojmovi: overlaping, matching, mapping) između baza znanja zapisanih u jednoj klasi opisnih logika. Kao primer, objasniće se kako radi jedan algoritam za preklapanje između baza znanja za LogMap [1] alat. Praktično se pokazuje rad servisa za izračuvanje, pretraživanje i vizualizaciju preklapanja između baza znanja (engleski pojam: ontologies) koje su dostupne u servisima za terminologije (engleski pojam: terminology services).

1. E. Jiménez-Ruiz, B. Cuenca Grau, LogMap: Logic-Based and Scalable Ontology Matching, In: L. Aroyo, et al., The Semantic Web – ISWC 2011, ISWC 2011, Lecture Notes in Computer Science 7031, Springer, Berlin, Heidelberg, 2011, 273–288.

---

Četvrtak, 24.04.2025. u 14:00, Kneza Mihaila 36, sala 301f i On-line
Milica Dabović, Univerzitet u Kragujevcu
KLJUČNE KARAKTERISTIKE LOGIKE PRVOG REDA: POTPUNOST I KOMPAKTNOST
Predavanje će se fokusirati na dve ključne osobine logike prvog reda. Formalni sistem za logiku prvog reda je potpun, u smislu da se teoreme podudaraju sa valjanim formulama. Biće prikazane skice dokaza teoreme potpunosti i teoreme kompaktnosti kao i primene teoreme kompaktnosti, posebno u kontekstu kardinalnosti modela.

---

Beograd, 2025.

---