Ucebnice.cz KnihyRomány, povídky, novely
Termín obdržení zásilky
Dodací doba je ovlivněna statním svátkem ( 01.01 )
Česká pošta Čtvrtek 02.01
PPL Čtvrtek 02.01
Osobní odběr Pátek 03.01
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

493  Kč

Odesíláme do 1 až 2 tý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..