Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formální logika a sémantický web

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 31 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po česky Populárně naučná pro dospělé Duchovní literatura

• Celý názov: Formální logika a sémantický web
• Autor: Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová
• Jazyk: Čeština
• Väzba: List
• Počet strán: 242
• EAN: 9788026106111
• ID: 21989957
• Nakladateľ: Západočeská univerzita v Plzni
• Hmotnosť: 408 g
• Rozmery: 150 × 210 mm
• Dátum vydania: 18. March 2019

Obľúbené z iného súdka

---

---

---