Formální reprezentace znalostí

Monografie rozšiřuje a prohlubuje pohled na problematiku formální logické reprezentace znalostí. Východiskem jsou tradiční přístupy predikátové logiky prvního řádu, na které navazuje reprezentace znalostí v 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, reprezentace znalostí v asociativních sítích a konceptuálních grafech. Pozornost je věnována sémantickému webu, formálním ontologiím, modelům a jazykům, typických pro sémantický web a problematice datového modelování a ontologické sémantice.