ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Программа реализует метод «самопреобразования данных» и выполняет функцию системообразования. Составляющие исходных данных (фрагменты, пункты, компоненты или др.) интерпретируются как информация о свойствах предметной среды, к которой относится содержание задачи. Алгоритм решения заключается в последовательном считывании исходных данных и их актуализации (экспликации, «прописывании») в форме свойств отдельных объектов в отношении других объектов. Результатом становится явный вид всех свойств и связей объектов, включая ответ на вопрос, заключенный в постановке задачи. В качестве тестового примера решается логическая «задача Эйнштейна».