Formální logika a sémantický web
Výrobce: Západočeská univerzita
EAN: 9788026106111
Výrobní číslo: 9788026106111
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 | kolektiv; Alena Lukasová, Martin Žáček, Marek Vajg; Zdeňka Telnarová |
ISBN | 978-80-261-0611-1 |
Jazyk | český; Česky; česky |
Nakladatelství | Nakladatelství; Západočeská univerzita v Plzni |
Počet stran | 242 |
Rok vydania | 2019 |
Rok vydání | Rok vydání; 2019 |
Typ | Typ |
Vazba | vázaná |
Žánr | Žánr; Odborná |
Cena od 256 Kč - 286 Kč v 4 obchodech
Obchody, které prodávají Formální logika a sémantický web
Zobrazit historii ceny Formální logika a sémantický web
Historie nejnižsí ceny Formální logika a sémantický web. Porovnání obchodů, které prodávají Formální logika a sémantický web.
Svůdnost černé barvySoudné sestry - Úžasná zeměplocha - 2 Kouzelné malování 2ks v sáčku50 vecí, ktoré si môžeš vyrobiť na VeľPraha rudolfínská - Fučíková EliškaJungmann Jan: Holešovice-Bubny, V ObjeZačátečníciPrvních 100 slov - Podívej se pod okénOdysseusMoje omalovánka Nákladní auta a bagryHromádka Zdeněk: Robotka DorotkaPraktická urologie v kazuistikách