Košík je prázdný
Kategorie zboží
Zákaznická linka

Formální logika a sémantický web - Zdeňka Telnarová


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.
Vaše cena 318,30
Vaše cena bez DPH 318,30
 
Dostupnost Skladem 3 ks
Odesíláme ve čtvrtek 9.1.

Podrobný popis

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.


Parametry

Autor: Alena Lukasová, Zdeňka Telnarová