Formální logika a sémantický web

Formální logika a sémantický web - Alena Lukasová, | Booksquad.ink

... Formální logika a sémantický web - Alena Lukasová Hodnocení produktu: 0% naučná, 2019 , Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová, 242 , české Metadata, sémantika a sémantický web Ing ... Západočeská univerzita v Plzni | Zboží.cz ... . Vilém Sklenák, CSc. ... Formální poukazuje na to, že ontologie by měla být strojově zpracovatelná. Je možná ... • Modální logika se používá často k definování sémantiky ontologických kategorií, jako jsou rigidita nebo identita. teorie argumentace, technika disputace, elementární formální logika, sémantický závazek, základy společenských věd. TITLE: Propedeutics of Logic in Teaching the Basics of Social Sciences AUTHOR: Tomáš Gruli ... sémantický - ABZ.cz: slovník cizích slov ... . teorie argumentace, technika disputace, elementární formální logika, sémantický závazek, základy společenských věd. TITLE: Propedeutics of Logic in Teaching the Basics of Social Sciences AUTHOR: Tomáš Grulich DEPARTMENT: Social Sciences and Philosophy Department, Faculty of Education, Charles University in Logika a přirozený jazyk . Kniha představuje průřez hlavními tématy logické analýzy přirozeného jazyka. Uvádí čtenáře do logických jazyků, které jsou k analytickým účelům používány a do metodických postupů spjatých s jejich aplikací na konkrétní problémy.První kapitola je věnována analýze větných spojek. logika = nauka o správném myšlení. Formální logika. klasická (aristotelovská) výroková logika. logika tříd. predikátová logika. relace - relační logika. dvouhodnotová logika. omezeno jen na určité případy - pro právo, ale imanentně přítomna (vinen/nevinen) neklasická. pro právo ne moc . modální logika...

INFORMACE

AUTOR
Alena Lukasová,
DIMENZE
12,29 MB
NÁZEV SOUBORU
Formální logika a sémantický web.pdf

POPIS

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.

Chcete si přečíst knihu?Formální logika a sémantický web ve formátu pdf? Dobrá volba! Tuto knihu napsal autor Alena Lukasová,. Číst Formální logika a sémantický web Online je teď tak snadné!

SOUVISEJÍCÍ KNIHY