Mohlo by se vám také líbit

Více informací o knize Formální logika a sémantický web

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 27 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy v češtině Populárně naučná pro dospělé Duchovní literatura

• Plný název: Formální logika a sémantický web
• Autor: Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová
• Jazyk: Čeština
• Vazba: List
• Počet stran: 242
• EAN: 9788026106111
• ID: 21989957
• Nakladatelství: Západočeská univerzita v Plzni
• Hmotnost: 408 g
• Rozměry: 150 × 210 mm
• Datum vydání: 18. March 2019

Oblíbené z jiného soudku

---

---

---