Zobacz książki o podobnej tematyce

Więcej informacji o Formální logika a sémantický web

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 30 punkty

Opis

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.

Szczegóły książki

Kategoria Knihy v češtině Populárně naučná pro dospělé Duchovní literatura

• Pełny tytuł: Formální logika a sémantický web
• Autor: Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová
• Język: Czeski
• Oprawa: List
• Liczba stron: 242
• EAN: 9788026106111
• ID: 21989957
• Wydawca: Západočeská univerzita v Plzni
• Waga: 408 g
• Wymiary: 150 × 210 mm
• Data wydania: 18. March 2019

Ulubione w innej kategorii

---

---

---