Научный архив: статьи

В статье исследуется специфика аргументативного следования. В числе важных его характеристик выделяются требование истинности аргументов (или, по крайней мере, их непротиворечивости) и модифицируемость, предполагающая потенциальную опровержимость аргументативных рассуждений в свете критики и/или новой информации. На основании этих соображений предлагается семантическая трактовка аргументативного следования как некоторого ограничения классического: к стандартному определению следования добавляется условие, обеспечивающее непротиворечивость исходных аргументов — наличие приписывания значений переменным, при котором множество формул, составляющих посылки аргументативного рассуждения, совместимо по истинности. Это неформально обосновываемое условие приводит к модифицируемости следования. Добавление к исходному множеству посылок произвольной информации (возможно, противоречивой или противоречащей принятым ранее посылкам) становится недопустимым. Далее в статье строится исчисление выводимостей, формализующее введенное понятие аргументативного следования, и доказывается его семантическая адекватность. Построенная логика служит основой для релевантизированного варианта формализации аргументативного следования, к определению которого добавляется условие не-тавтологичности заключения.

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