OU Portal
  • Log In

  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít

Pomocí tohoto dialogu můžete k záznamu nahrát soubor PDF. Tento soubor musí obsahovat text tohoto záznamu (text článku, knihy, atd.). Tento soubor je důležitý pro RIV, protože může být použit jako důkaz existence tohoto záznamu.

Pro nahrání souboru klikněte na tlačítko Browse a vyberte soubor, který chcete nahrát. Nahrávání souboru zahájíte tlačítkem Nahrát soubor.

Maximální velikost souboru PDF je omezena na 100 MB.

Soubor : 

Nahrát soubor
Zavřít

Pomocí tohoto dialogu můžete stáhnout PDF soubor přiřazený tomuto záznamu. Pro stažení souboru klikněte níže na název tohoto souboru a bude Vám nabídnuta možnost soubor uložit.

Věnujte prosím pozornost také velikosti PDF souboru. Velké soubory se mohou stahovat delší dobu, pokud máte pomalé internetové připojení.

Název souboru :
Velikost souboru :
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : odborná kniha (B)
Domácí pracoviště * : Katedra informatiky a počítačů (31400)
Název * : Formální reprezentace znalostí
Citace : Lukasová, A., Telnarová, Z., Habiballa, H. a Vajgl, M. Formální reprezentace znalostí. první. vyd. Ostrava: Universum, 2010. dvanáctý svazek edice Universum. 345 s. ISBN 978-80-7368-900-1.
Podnázev :
Rok * : 2010
Obor * : Informatika
Forma vydání * :
Kód ISBN * : 978-80-7368-900-1
Označení vydání
(číslo vydání) :		 první
Místo vydání * : Ostrava
Vydáno : v ČR
Název edice a číslo svazku * : dvanáctý svazek edice Universum
Počet stran * : 345
Počet výtisků knihy * : 200
Název nakladatele * : Universum
EID :
Klíčová slova anglicky * :
knowledge representation, knowledge semantics, semantic web
Popis v původním jazyce * :
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ů.
Popis v anglickém jazyce * :
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.
Typ zdroje financování výsledku * : Specifický výzkum
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01: RIV/61988987:17310/10:A1100ZZ3

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
Complementary Content
  • ${title}${badge}
${loading}