Lukasová Alena; Telnarová Zdeňka; Vajgl Marek; Žáček Martin - Formální logika a sémantický web

Západočeská univerzita Formální logika a sémantický web
V rámci této knihy je čtenář seznámen s originálními výsledky autorů na poli formální logiky a sémantického webu. Začíná s pojmem sémantického webu, reprezentací znalostí formální logikou a postupně se dostává ke specifičtějším tématům. Autoři knihy definují základní formální jazyk jako rozšířenou verzi jazyka odpovídajícího RDF modelu o kvantifikaci proměnných pomocí převodu do klauzulární logiky (ve formě CFL). Na bázi rozšířeného RDF modelu pak zavádějí nové deduktivní formální systémy, a to formální systém GRDF s pravidlem Modus Ponens a formální systém RDF CFL disponující stejně jako klauzulární logika CFL rezolučním odvozovacím pravidlem. Závěr knihy je věnován dotazovacímu jazyku SPARQL.

Potřebujete podrobnější informace k tomuto titulu? Napište nám.


Hlídací pes - zasílání novinek:


   Přehled všech Vámi zadaných položek naleznete zde

  sledovat novinky od vydavatele Západočeská univerzita
  sledovat novinky spisovatele Lukasová Alena
  sledovat novinky spisovatele Telnarová Zdeňka
  sledovat novinky spisovatele Vajgl Marek
  sledovat novinky spisovatele Žáček Martin

 emailová adresa: 

Nejbližší tituly v katalogu:

Šrámek Petr - Čtení o Jiřím Kolářovi

Vydavatel: Institut pro studium literatury | Vydáno: 13.3.2019

Cena: 203 Kč
Kniha

15%

Book Dock - Malé velké pohádky/Little big Tales

Vydavatel: Book Dock | Vydáno: 4.3.2019

Cena: 102 Kč
Kniha

15%