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.

Vydání: Ostravská univerzita v Ostravě, 2010. Brožovaná, rozměry: 17,5 x 24 cm, stran 342.

Stav knihy: Výborný stav.