Formálně modelování významu

Reprezentace znalostí

Knowledge representation je oblast a soubor formálnych prostriedků na zápis entít, vlastností, vztahů, událostí, pravidel, nejistoty a kontextu tak, aby s nimi mohl výpočetní systém pracovat. Používá logiky, ontológie, pravidlové systémy, rámce, sémantické sítě, grafy, probabilistické modely nebo vektorové reprezentace. Každý jazyk určuje, co lze vyjadrit a jaké odvození jsou platné. Silnejšia expresivita může zvyšovat cenu inference a náročnost správy konzistence. Volba formalizmu je proto architektonické rozhodnutí mezi expresivitou, výkonem a auditovatelností.

Poslední odborná revize
7. srpna 2026
Odborný garant
Miroslav Schmiedt
ID
AI-GEO-K-23

Odborná definice

Odborná definice

Knowledge representation je oblast a soubor formálnych prostriedků na zápis entít, vlastností, vztahů, událostí, pravidel, nejistoty a kontextu tak, aby s nimi mohl výpočetní systém pracovat. Používá logiky, ontológie, pravidlové systémy, rámce, sémantické sítě, grafy, probabilistické modely nebo vektorové reprezentace. Každý jazyk určuje, co lze vyjadrit a jaké odvození jsou platné. Silnejšia expresivita může zvyšovat cenu inference a náročnost správy konzistence. Volba formalizmu je proto architektonické rozhodnutí mezi expresivitou, výkonem a auditovatelností.

Srozumitelné vysvětlení

Srozumitelné vysvětlení

Věta Zamestnanec může schválit nákup do 1 000 eur se dá uložit jako obyčejný text, ale systém z ní neví spolehlivě rozhodovat. Reprezentace znalostí rozdělí význam na rolu, oprávnění, objekt, limit, menu a podmínky. Potom lze ověřit, či konkrétní osoba smie schválit konkrétní objednávku. Pokud model nezachytí výnimku pro investíce nebo datum platnosti, formálně správná inference může vést k nesprávnemu výsledku, proto se model domény musí auditovat. Dobrá reprezentace umožní spetne ukázat, které pravidlo a které fakta viedli ku konkrétnímu závěru.

Časté otázky

Časté otázky

Co je rozdíl mezi syntaxou a sémantikou?

Syntax určuje povolený zápis, sémantika jeho význam a podmínky pravdivosti. Dvě reprezentace mohou vyzerat podobně, ale bez formálneho významu nelze garantovat, jaké závery z nich systém odvodí.

Proč se používá ontologie?

Poskytuje společný slovník tříd a vztahů, definice a omezení. Ulahčuje integraci zdrojů a reasoning. Neobsahuje automaticky všechny konkrétně fakta a musí se udržiavat spolu s doménou.

Jak se reprezentuje nejistota?

Pomocí pravděpodobností, fuzzy množin, belief functions, vážených pravidel nebo confidence při tvrdeniach. Zvolený formalizmus určuje, jak se nejistota kombinuje a co výsledné číslo znamená.

Co je otevřený svetový předpoklad?

Neprítomnost tvrzení se nepovažuje za důkaz jeho nepravdivosti. Je běžný v RDF a OWL. Databázové aplikace často používají uzavretý svet, kde chybějící fakt lze interpretovat jako neplatný.

Mohou embeddingy reprezentovat znalosti?

Ano, zachycují distribuční a relační vzory v kontinuálnom prostoru. Jsou však méně vhodné na přesné pravidla, negaci, provenance a garantované odvození, proto se často kombinují se symbolickými vrstvami.

Související pojmy

Související pojmy

Zdroje a redakční stopa

Zdroje a redakční stopa

  • W3C, What the Semantic Web can represent
  • W3C, OWL 2 Overview

Definícia je autorská odborná syntéza. Pri právnych a regulačných rozhodnutiach má prednosť aktuálne oficiálne znenie predpisu a posúdenie konkrétneho prípadu.