Распределенные системы с точки зрения эпистемической логики.

Abstract

Настоящая работа посвящена интерпретации вычислительных систем, представляющих собой композиции подсистем процессов, непрерывно действующих и взаимодействующих друг с другом и с общим внешним окружением, в терминах эпистемической логики. Речь пойдет об особом классе вычислительных систем - распределенных системах (distributed sуsteme), в которых каждый процесс отвечает за выполнение своей конкретной задачи, а реализация последней может зависеть от условий протекания других процессов. В результате взаимодействия последних происходит постоянный обмен информацией между процессами. Если так можно выразиться, процесс должен "знать" о своем собственном состоянии и о состояниях других процессов. Рассмотрение процессов в качестве субъектов и позволило осуществить формализацию рассуждений о знании в распределенных системах с помощью эпистемической логики. Впервые в этих целях используется аппарат системы $BEL$, разработанной автором [I]. В свою очередь, обращение к проблемам компьютерных систем позволило автору уточнить методологические принципы построения эпистемических систем и сконструировать комбинированную модель, воплотив в ней идеи интерпретации эпистемических логик по типу модальной системы $S5$ (подход, восходящий к ранним работам Хинтикки [3]) и идеи построения двухуровневых логик типа $BEL$.