Formální logika a sémantický web – Alena Lukasová
Růst ceny o 6 %
Nejnižší cena za posledních 30 dní: 262 Kč (naposledy 23. 9. 2026).
278 Kč
Západočeská univerzita v Plzni
- Rychlé doručení
- Dostupnost skladem
Odborná kniha Aleny Lukasové o formální logice a sémantickém webu: reprezentace znalostí, rozšíření RDF modelu a deduktivní systémy. ZČU Plzeň. Celý popis
Do obchoduO produktu
Odborná kniha Aleny Lukasové a kolektivu o formální logice a sémantickém webu. Seznamuje čtenáře s vlastními výsledky autorů — od pojmu sémantického webu a reprezentace znalostí formální logikou po specifičtější témata.
Autoři definují základní formální jazyk jako rozšíření jazyka odpovídajícího RDF modelu o kvantifikaci proměnných převodem do klauzulární logiky a na tomto základě zavádějí nové deduktivní formální systémy. Kniha je určená čtenářům se zájmem o logiku, reprezentaci znalostí a informatiku. Vydala Západočeská univerzita v Plzni.
Tip: Podívejte se také na další produkty z kategorie Informatika, výpočetní technika.
Časté otázky
Čemu se kniha o sémantickém webu věnuje?
Formální logice a sémantickému webu — reprezentaci znalostí, rozšíření RDF modelu o kvantifikaci a novým deduktivním formálním systémům.
Které čtenáře kniha osloví?
Pro čtenáře se zájmem o formální logiku, reprezentaci znalostí a informatiku; přináší původní výsledky autorů v této oblasti.
Vývoj ceny
Podobné produkty
Popis výrobce
Formální logika a sémantický web - Alena Lukasová
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.
Specifikace
- jazyk
- cs
- EAN
- 9788026106111
Recenze
Recenze u nás zatím nikdo nenapsal — budete první? Zkusit můžete recenze u partnerských obchodů — dostanete se k nim přes sekci Srovnání cen.
