Formální logika a sémantický web


Dnes vráceno


Copies Bound volumes
Loading copies
Document is currently in processing No copies Document has no bound volumes
Citation
Related
All parts
Contents
{{record.tocContent}}
Detail
MARC
Field Ind Field content
leader -----cam-a22------i-4500
1 kpw01105579
3 CZ-PrCNB
5 20240325011828.8
7 ta
8 190225s2019----xr a|||f|||||#001 0#cze||
15 ## $a cnb003078708
20 ## $a 978-80-261-0611-1 $q (vázáno)
40 ## $a OLA001 $b cze $d ABA001 $d ABE031 $e rda
41 0# $a cze $b eng
44 ## $a xr
72 #7 $a 004.8 $x Umělá inteligence $2 Konspekt $9 23
80 ## $a 004.738.52:004.822 $2 MRF
80 ## $a 001.818+004.82 $2 MRF
80 ## $a 164 $2 MRF
80 ## $a (048.8:082) $2 MRF
100 1# $a Lukasová, Alena, $d 1936- $7 jo20000072414 $4 aut
245 10 $a Formální logika a sémantický web / $c Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová
250 ## $a Druhé vydání
264 #1 $a Plzeň : $b Západočeská univerzita v Plzni, $c 2019
300 ## $a 245 stran : $b ilustrace ; $c 21 cm
336 ## $a text $b txt $2 rdacontent
337 ## $a bez média $b n $2 rdamedia
338 ## $a svazek $b nc $2 rdacarrier
500 ## $a Na obálce pod názvem: Fakulta filozofická Západočeské univerzity v Plzni
504 ## $a Obsahuje bibliografii, bibliografické odkazy a rejstřík
520 2# $a Kolektivní monografie seznamuje s výsledky práce autorů v oblasti umělé inteligence, formální logiky a sémantického webu. Metadata, specifické prostředky sémantického webu. Vývoj prostředků automatizace usuzování. Koncepce a realizace sémantického webu - syntaktický a sémantický web, strojově čitelné jazyky. Reprezentace znalostí formální kogikou - formální logika pro strojové usuzování, znalostní systémy, konceptualizace v reprezentované doméně. Od konceptualizace k implementaci v jazyce logiky prvního řádu finálně vyřešeno - konceptované jazyky, intenzionální nebo extenzionální sémantika modelovacího jazyka. Logika prvního řádu a sémantický web. Sowův zobecněný pohled na sémantické sítě. Reprezentace znalostí klauzulární logikou, Hornovy klauzule. Asociativní síť jako formální systém logiky prvního řádu. Grafový formální systém klauzulární logiky. RDF modelování světa. Odvozování v grafové verzi RDF. Rezoluční důkazy v RDF klauzulární logice. Budování nemonotónní default teorie v grafové verzi RDF CFL. Propojená data. Dotazovací jazyk SPARQL.
546 ## $a Anglické resumé
650 07 $a sémantický web $7 ph222863 $2 czenas
650 07 $a reprezentace informací $7 ph841689 $2 czenas
650 07 $a formální logika $7 ph120290 $2 czenas
650 09 $a semantic web $2 eczenas
650 09 $a representation of information $2 eczenas
650 09 $a formal logic $2 eczenas
653 ## $a umělá
653 ## $a inteligence
653 ## $a sémantický
653 ## $a web
653 ## $a formální
653 ## $a logika
653 ## $a informace
653 ## $a reprezentace
653 ## $a automatizace
653 ## $a usuzování
653 ## $a znalosti
653 ## $a syntaktický
653 ## $a jazyky
653 ## $a strojově
653 ## $a čitelné
653 ## $a znalostní
653 ## $a systémy
653 ## $a konceptualizace
653 ## $a konceptované
653 ## $a modelovací
653 ## $a logika prvního řádu
653 ## $a Pierceovy existenční grafy
653 ## $a sémantické
653 ## $a sítě
653 ## $a Sowovy konceptuální grafy
653 ## $a klauzulární
653 ## $a Hornovy klauzule
653 ## $a klauzulární logika
653 ## $a klauzule
653 ## $a asociativní
653 ## $a grafové formální systémy
653 ## $a RDF
653 ## $a GRDF
653 ## $a RDF CFL
653 ## $a grafové
653 ## $a verze
653 ## $a default
653 ## $a propojená
653 ## $a globální
653 ## $a data
653 ## $a dotazovací
653 ## $a SPARQL
655 #7 $a kolektivní monografie $7 fd501537 $2 czenas
655 #9 $a collective monographs $2 eczenas
700 1# $a Žáček, Martin, $d 1984- $7 jo2016904459 $4 aut
700 1# $a Vajgl, Marek $7 xx0132854 $4 aut
700 1# $a Telnarová, Zdeňka, $d 1955- $7 mzk2003201924 $4 aut
710 2# $a Západočeská univerzita. $b Filozofická fakulta $7 pna2005285429 $4 pbl
856 41 $u http://web.flu.cas.cz/scan/323538384.pdf $y Obsah knihy
900 $a ABA001 $b 19
910 ## $a ABE031 $b D-4313
928 9# $a Západočeská univerzita v Plzni
Loan history
{{$parent.item.lendDate | jpDate:'d.M.yyyy'}}
{{$parent.item.endDate | jpDate:'d.M.yyyy'}}
{{$parent.item.state | loc}} by user {{$parent.item.user | loc}}
Item {{$parent.item.exemplar | loc}}
Dept {{$parent.item.department | loc}}
Processing history
Předchozí verze
  • {{revision.date | jpDate:'d.M.yyyy HH:mm'}}
    Aplikovat
    {{revision.content}}
Try to re-lookup for cover Delete cover