Formální logika a sémantický web
Nakladatel: Západočeská univerzita v Plzni
Vazba: Vázaná
EAN: 9788026106111
Typ produktu: Knihy
Pořadí vydání: 2.
Objednací číslo: 0385812
Datum vydání: 2019/03
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...
Číst více Kniha
Cena v eshopu
318 Kč
285 Kč
Doporučené tituly a kolekce
-42 Kč
BESTSELLER 
-60 Kč
BESTSELLER 
-58 Kč
BESTSELLER 
-24 Kč
BESTSELLER 
-49 Kč
BESTSELLER 
-40 Kč
BESTSELLER 
-63 Kč
NOVINKA 
-125 Kč
-35 Kč
-52 Kč
-63 Kč
-42 Kč
-94 Kč
-21 Kč
-70 Kč
Default AIR carousel title
Více o produktu
POPIS
PODROBNOSTI
KATEGORIE
O AUTOROVI
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.
Nakladatel:
Typ produktu:
Knihy
Vazba:
Vázaná
Datum vydání:
01. 03. 2019
Pořadí vydání:
2.
Jazyk:
česky
Výška:
210 mm
Šířka:
152 mm
Hloubka:
19 mm
Hmotnost:
400 g
Počet stran:
242
Ean:
9788026106111
ISBN:
978-80-261-0611-1
Recenze
0 / 5
0 Hodnocení
5
0
4
0
3
0
2
0
1
0
Vybíráme pro vás
-31 Kč
BESTSELLER 
-98 Kč
-42 Kč
BESTSELLER -49 Kč
BESTSELLER -63 Kč
NOVINKA -63 Kč
-39 Kč
-30 Kč
-44 Kč
-94 Kč
-37 Kč
-35 Kč
-52 Kč
-30 Kč
