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