ИСТИНА

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