Formální logika a sémantický web
Kód: KOS257350Nezávislé rodinné knihkupectví
Nespadáme pod velké řetězce, nabízíme rozmanité knižní srdcovky a nabízíme, co máme rádi. Ne to, co nám někdo nařídí.
Dárek zdarma
Ke každé objednávce
23 let lásky ke knihám
Žijeme knihami už od roku 2001. Máme přehled a umíme dobře poradit a své zákazníky známe.
Unikátní výběr
Přes 45 tisíc knih, včetně novinek i starších a nekomerčních pokladů.
Detailní popis produktu
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.Doplňkové parametry
| Kategorie: | Filosofie |
|---|---|
| Autor: | Alena Lukasová |
| EAN: | 9788026106111 |
| Jazyk: | cze |
| Počet stránek: | 242 |
| Druh produktu: | kniha, vázaná vazba |
| Rok vydání: | 2019 |
Buďte první, kdo napíše příspěvek k této položce.
Přidat komentář