Строится формальная теория познания реальности, описываемой определенной онтологией, агентом в условиях неполной информированности агента. Онтология описывается графом, вершины и ребра которого соответствуют сущностям и их отношениям. Вводятся различные классы утверждений – истинных или ложных, а также бессмысленных, об этом графе, конъюнкции этих утверждений могут описывать граф полностью или частично. Вводятся меры истинности, определенности и несходства утверждений. С помощью этих мер процесс познания агентом онтологии описывается как задача оптимизации.