This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n19http://purl.org/net/nknouf/ns/bibtex#
n9http://localhost/temp/predkladatel/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/ontology/domain/vavai/
n17https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n14http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61988987%3A17310%2F10%3AA1100ZZ3%21RIV11-MSM-17310___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n18http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61988987%3A17310%2F10%3AA1100ZZ3%21RIV11-MSM-17310___
rdf:type
skos:Concept n13:Vysledek
dcterms:description
Monografie z oboru Informatika rozšiřuje a prohlubuje pohled na problematiku formální logické reprezentace znalostí a volně navazuje na knižně vydanou publikaci Aleny Lukasové Formální logika v umělé inteligenci (2003). Východiskem jsou tradiční přístupy predikátové logiky prvního řádu, proto se v úvodu opakují základní pojmy a zdůrazňují se přístupy formální reprezentace a směry možných modifikací. Druhý oddíl knihy je zaměřen na problematiku reprezentace znalostí v některých netradičních formálních systémech a obsahuje kapitoly, které se vztahují k deskripční logice, modální K-logice, sledují se přístupy v nemonotonních logikách, ve fuzzy logických systémech a neklauzulárních formálně logických systémech. Třetí část monografie je nejobsáhlejší a je zaměřená na problematiku reprezentace v asociativních sítích a na reprezentaci znalostí pomocí konceptuálních grafů. Monografie z oboru Informatika rozšiřuje a prohlubuje pohled na problematiku formální logické reprezentace znalostí a volně navazuje na knižně vydanou publikaci Aleny Lukasové Formální logika v umělé inteligenci (2003). Východiskem jsou tradiční přístupy predikátové logiky prvního řádu, proto se v úvodu opakují základní pojmy a zdůrazňují se přístupy formální reprezentace a směry možných modifikací. Druhý oddíl knihy je zaměřen na problematiku reprezentace znalostí v některých netradičních formálních systémech a obsahuje kapitoly, které se vztahují k deskripční logice, modální K-logice, sledují se přístupy v nemonotonních logikách, ve fuzzy logických systémech a neklauzulárních formálně logických systémech. Třetí část monografie je nejobsáhlejší a je zaměřená na problematiku reprezentace v asociativních sítích a na reprezentaci znalostí pomocí konceptuálních grafů. The authors of the book have tried to extend the view on formal representation of knowledge in comparison with today already traditional approaches of the first order predicate logic. The book shows important trends of modification and enriching of predicate logic, aiming at more trustworthy capturing of a real way of knowledge existence and its manipulation in human minds. The authors of the book targeted at grasping the issue of knowledge representation in its present shape, from a certain development-based overview as well as to present here our own results.
dcterms:title
Formální reprezentace znalostí Formal representation of the knowledge Formální reprezentace znalostí
skos:prefLabel
Formální reprezentace znalostí Formal representation of the knowledge Formální reprezentace znalostí
skos:notation
RIV/61988987:17310/10:A1100ZZ3!RIV11-MSM-17310___
n3:aktivita
n12:S
n3:aktivity
S
n3:dodaniDat
n5:2011
n3:domaciTvurceVysledku
n7:2659387 n7:7408927 n7:9269223 n7:3128563
n3:druhVysledku
n16:B
n3:duvernostUdaju
n10:S
n3:entitaPredkladatele
n14:predkladatel
n3:idSjednocenehoVysledku
259549
n3:idVysledku
RIV/61988987:17310/10:A1100ZZ3
n3:jazykVysledku
n18:cze
n3:klicovaSlova
knowledge representation; knowledge semantics; semantic web
n3:klicoveSlovo
n15:semantic%20web n15:knowledge%20semantics n15:knowledge%20representation
n3:kontrolniKodProRIV
[F80B2BFB5D0B]
n3:mistoVydani
Ostrava
n3:nazevEdiceCisloSvazku
dvanáctý svazek edice Universum
n3:nazevZdroje
Formální reprezentace znalostí
n3:obor
n11:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetStranKnihy
345
n3:pocetTvurcuVysledku
4
n3:rokUplatneniVysledku
n5:2010
n3:tvurceVysledku
Lukasová, Alena Telnarová, Zdeňka Habiballa, Hashim Vajgl, Marek
s:numberOfPages
345
n19:hasPublisher
Universum
n17:isbn
978-80-7368-900-1
n9:organizacniJednotka
17310