ivdon3@bk.ru
В статье предпринят анализ когнитивных функций дилеммы, с целью показать на примере этой логической формы содержательный характер мышления и пределы формализации, лежащие в основании программ ИИ. Рассматриваются содержательные особенности сложной дилеммы и анализируются понятия решения и разрешения дилеммы, а также задача выбора между заключенными в ней альтернативами. Утверждается, что разрешение дилеммы есть формально-логический алгоритм вывода, обеспеченный аксиоматическим статусом дилемм, а решение дилеммы подразумевает раскрытие заключенного в ней противоречия и поиск новых отношений между ее условиями и альтернативами. Обоснование этого показано на примере задачи из жизненного опыта Г.С. Альтшуллера. Рассматриваются особенности формализации моральных дилемм и значение внелогических факторов процесса их решения. Показаны ограничения программирования морально квалифицированных систем ИИ, работающих в системе координат ригористической этики и естественного права.
Ключевые слова: дилемма, противоречие, искусственный интеллект, мышление.
05.11.17 - Приборы, системы и изделия медицинского назначения