Телеология и целенаправленное поведение: логический анализ

Abstract

Целенаправленное поведение – телеологическое понятие, наиболее адекватное для описания многих изменений в живой природе, не вписывающихся в доктрину детерминизма. Такого рода поведение обладает уникальными характеристиками. Оно законоподобно, так как характеризуется устойчивостью и повторяемостью при сходных начальных условиях. Оно способно контролировать энтропию, так как в зависимости от цели его результаты имеют меньшую или большую энтропию, чем начальные условия. Также оно обладает свойствами своеобразной обратной причинности, когда будущее целевое состояние через посредство агента поведения вызывает изменения в настоящем. Элементарные блоки целенаправленного поведения могут быть представлены правилами двух видов -- “Если имеет место C, сделай d, чтобы достичь G” и процессуальных “Если имеет место C, сделай d, чтобы запустить процесс P, который приведет к искомой цели G”. Сложное целенаправленное поведение может быть описано, как выполнение набора правил, определяющих, какие и в каком порядке следует производить действия для достижения искомой конечной цели. Успешные схемы целенаправленного поведения в последующем могут служить образцом для разработки различных технологий. Анализ целенаправленной деятельности людей при вычислении функций привел А. Тьюринга к построению математической модели, получившей название машины Тьюринга. По ряду причин невозможно создать теорию целенаправленного поведения, сравнимую с теорией эффективной вычислимости, но вполне возможно построить общую модель и логическую теорию такого рода поведения, что и является целью настоящей работы. Для этого был взят язык, содержащий динамические операторы и временные операторы U (Until) и S (Since). В работе определена семантика данного языка и осуществлена его аксиоматизация. В результате была построена минимальная комбинированная логика USD, допускающая дальнейшие расширения. Показано, каким образом в этой логике можно определить правила целенаправленного поведения и их разновидности.