Department of Pattern Recognition

(eng): A mathematical model consisting of a set of predicates and a given ontology is introduced, allowing a rigorous definition of the concepts of theoretical and empirical knowledge. Further, the classical information divergence is used to define the amount of information in empirical and theoretical knowledge. The information in theoretical knowledge is an extension of the well known "semantic information" formerly introduced by Carnap and Bar Hillel.

(cze): Zavádí se znalostní model sestávající z množiny predikátů a určité ontologie, který umožňuje rigorózní definici teoretické a empirické znalosti. Na základě klasické informační divergence se pak definuje množství informace v teoretické a empirické znalosti. Následují příklady a důkaz, že informace v teoretické znalosti je zobecněním známé "sémantické informace" zavedené Carnapem a Bar Hillelem.