Formální logika a sémantický web

5 %

Formální logika a sémantický web

Lukasová Alena, Žáček Martin, Vajgl Marek, Telnarová Zdeňka

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.

Kúpiť na webe Rezervovať v kníhkupectve
15,58 €
16,40 €
Pridať
do wishlistu
Doručíme do Vianoc Sl. poštou, DEPO a GO-4 kuriérom alebo vyzdvihnutím osobným odberom!
Vydavateľ Západočeská univerzita
Počet strán 242
Rok vydania 2019
Jazyk Čeština
Väzba Tvrdá väzba / Hardback
EAN 9788026106111
Adresa titulu https://www.artforum.sk/katalog/124070/formalni-logika-a-semanticky-web
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.

Ďalšie z kategórie počítače, internet