Formální logika a sémantický web bazar

Nehodnoceno
Formální logika a sémantický web
https://www.databazeknih.cz/img/books/41_/410128/mid_formalni-logika-a-semanticky-web-YMg-410128.png 0 0 0

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.... celý text

Bazar (0)

Zatím zde není žádný nabídkový inzerát.
Když se přihlásite, můžete vložit poptávkový inzerát.