Ucebnice.cz KnihyRomány, povídky, novely
Termín obdržení zásilky
Česká pošta Středa 16.07
PPL Středa 16.07
Osobní odběr Čtvrtek 17.07
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Formální logika a sémantický web

Formální logika a sémantický web
10 %

286  Kč 318 Kč

Odesíláme do 3 až 5 dní

Sleva až 70% u třetiny knih
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.
Autor:
Nakladatel: Západočeská univerzita
ISBN: 9788026106111
Rok vydání: 2019
Jazyk : Čeština
Vazba: vázaná
Počet stran: 242
Mohlo by se vám také líbit..