Loading copies
Document is currently in processing
No copies
Document has no bound volumes
{{record.tocContent}}
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 |
{{$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}}
-
{{revision.date | jpDate:'d.M.yyyy HH:mm'}}
Aplikovat {{revision.content}}