Целеориентированная семантика динамической логики
Article Sidebar
Main Article Content
Аннотация
Общее определение алгоритма содержит информацию о действиях и очередности их выполнения для достижения конкретных целей, которые могут быть представлены некоторым описанием. В семантике динамической логики упор делается на действия, которые необходимо совершить в определенной последовательности, а преследуемая цель остается за рамками анализа, ей отводится роль метаинформации по отношению к самому алгоритму. С другой стороны, одну и ту же цель можно достичь разными способами. Если для действующего агента в первую очередь важна цель, ради которой составляется и выполняется алгоритм, то его конкретная реализация не столь уж и важна, так как инвариантом всех конкретных реализаций является именно преследуемая цель. В статье показано, каким образом возможно построение семантики динамической логики в терминах целей, а не выполняемых действий. Целеориентированная семантика применима не только для анализа алгоритмов, выполняемых в мире абстрактных математических объектов, но и в физическом мире, в котором понятие алгоритма синонимично понятию целенаправленного поведения. Поскольку понятие цели относится к еще не реализованному будущему положению дел и потому осмысленно лишь в рамках принимаемой модели времени, семантика целеориентированной логики строится с опорой на семантику оккамистской временной логики древовидно ветвящегося времени. При этом агент, выполняющий алгоритм, также должен обладать некоторой свободой в выборе совершаемых им действий. Если в стандартной семантике динамической логики элементарные действия интерпретируются посредством ничем не опосредованных переходов между возможными мирами, то в целеориентированной семантике действия интерпретируются сегментами путей возможного развития событий, в конечной точке которых цель, ради достижения которой выполняется действие, истинна, а во все предшествующие моменты ложна. В терминах предлагаемой семантики можно, с некоторыми вариациями, определить все стандартные операторы динамической логики и плюс к ним еще один специальный оператор обращения к процессам, протекающим во внешнем физическом мире.
Скачивания
Article Details
Copyright (c) 2025 Владимир Иванович Шалак
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Литература
Винер, 1983 – Винер Н. Поведение, целесообразность и телеология // Винер Н. Кибернетика. М.: Наука, 1983. С. 297–307.
Маркс, Энгельс, 1955a – К. Маркс, Ф. Энгельс Святое семейство // Сочинения. Т. 2 / Под ред. Я.Б. Турчинса. М.: Гос. полит. издат, 1955. С. 3–230.
Маркс, Энгельс, 1955b – К. Маркс Тезисы о Фейербахе // Сочинения. Т. 3 / Под ред. Я.Б. Турчинса. М.: Гос. полит. издат, 1955. С. 1–4.
Сасскинд, Грабовский, 2016 – Сасскинд Л., Грабовский Д. Теоретический минимум. Все, что нужно знать о современной физике. СПб.: Питер, 2016. 288 с.
Смирнов, 1963 – Смирнов В.А. Алгоритмы и логические схемы алгоритмов // Проблемы логики. 1963. С. 84–101.
Шалак, 1993 – Шалак В.И. Динамическая интерпретация высказываний // Логические исследования. 1993. Т. 2. C. 68–81.
Шалак, 2017 – Шалак В.И. Аналитический подход к решению задач // Логические исследования. 2017. Т. 23. № 1. С. 121–139.
Шалак, 2018 – Шалак В.И. Анализ vs дедукция // Логические исследования. 2018. Т. 24. № 1. С. 26–45.
Goranko, Rumberg, 2024 – Goranko V., Rumberg A. Temporal Logic // Stanford Encyclopedia of Philosophy. 2024. URL: https://plato.stanford.edu/ archives/sum2024/entries/logic-temporal/ (дата обращения: 07.11.2024).
Harel et al., 2000 – Harel D., Kozen D., Tiurin J. Dynamic Logic. Cambridge, MA: MIT Press, 2000. 476 p.
Kamp, 1968 – Kamp J.A.W. Tense Logic and the Theory of Linear Order. Doctoral dissertation. University of California at Los Angelis, 1968.
Macy, 1946 – Macy J. PART 1: A Summary Account of Macy Conference Attendees and Activities. URL: https://asc-cybernetics.org/foundations/history/ MacySummary.htm (дата обращения: 09.05.2024).