Alena Lukasová Knihy

Anglická detektivka, detektivní případ z pera českých autorů, kteří pobývali ve Warwickshire, odehrávající se v anglickém prostředí - v zemi lordů, a zámků neboť „Československo se pro děj detektivky nehodí.“ o vyšetřování vraždy a Bollingtonů inspektorem Patrickem MacPhersonem, superintendantem Jamesem Boolittlem, nadstrážníkem Theodorem Bumpkinsem, a dvěmi detektivy s pomocí policejního lékaře Dr. Collinse. …

Komplexní průvodce učebnicemi počátečního čtení a psaní ALTER přináší náměty ověřené praxí, opírající se o výsledky terénních výzkumů. Metodická doporučení plně respektují nové poznatky dětské psychologie a akcentují moderní trendy v oboru primární pedagogiky.

Reprezentace znalostí prostředky formální logiky dnes představuje nezbytný teoretický základ umělé inteligence. V knize jsou vysvětleny a dokumentovány pojmy od syntaxe, sémantiky, přes formalizaci až k tvorbě a odvozování ze znalostních bází. Poznáte též základní jazyky pro reprezentaci znalostí: jazyk výrokové predikátové a klauzulární logiky, který představuje přechod k jazyku PROLOG logického programování. Určeno především studentům informatiky a filozofie.

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.