- Počet strán: 242
- Väzba: tvrdá
- EAN: 9788026106111
- Jazyk: český
- ISBN: 978-80-261-0611-1
- Dátum vydania: 19. marca 2019
- Vydavateľstvo : Západočeská univerzita v Plzni
- Hmotnosť: 0,40 kg
Formální logika a sémantický web
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.
- Počet strán: 242
- Väzba: tvrdá
- EAN: 9788026106111
- Jazyk: český
- ISBN: 978-80-261-0611-1
- Dátum vydania: 19. marca 2019
- Vydavateľstvo : Západočeská univerzita v Plzni
- Hmotnosť: 0,40 kg
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.
202 037 kníh na sklade ihneď k odoslaniu
Poštovné zadarmo pre nákupy od 20€
Rezervácie v 61 kníhkupectvách
Hodnotenia (0)
0Odporúčania
