knowledge representation, knowledge semantics, semantic web

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.