Логика в онтологии процессов

Целью работы является исследование языковых средств, которые могут быть использованы для проведения рассуждений о процессуальной онтологии, которая отличается от субстанциальной более сложной структурой элементарных “кирпичиков”, лежащих в ее основе. Следствием этого является необходимость использовать языки с более богатыми выразительными возможностями, чем язык классической логики. В работе рассматриваются языки с унарными и бинарными модальностями. Отдельные процессы можно анализировать с двух точек зрения – статики и динамики. В первом случае нас интересуют высказывания, истинность которых зависит лишь от внутренней структуры текущего процесса. Отношение деления процессов позволяет определить на его частях транзитивный, плотный линейный порядок без первого и последнего элементов, который можно понимать, как локальный временной порядок данного процесса. Это, в свою очередь, позволяет говорить о начале процессов, их протекании и окончании. Появляется возможность определить понятия состояния процесса и процесса, как события. Включение в язык бинарной модальности типа некоммутативной конъюнкции позволяет определить аналог причинно-подобной условной связи между частями процесса. Динамика процессов подразумевает возможность их продолжения за пределы текущего процесса. Это может происходить либо благодаря имплицитным причинным связям, когда текущий процесс содержит в себе причину своего будущего продолжения, либо в результате действий активных агентов, которые сами формируют это продолжение. Для представления динамики процессов, как следствия действий активных агентов, использован упрощенный вариант языка динамической логики. Также показано, каким образом можно учитывать цели, которые ставят перед собой активные агенты при выполнении тех или иных действий.