Место издания:Изд-во Курганского гос. ун-та Курган
Первая страница:17
Последняя страница:21
Аннотация:Изучаются возможности координации ценностных и целевых суждений собственными средствами компьютерной системы. Рассматривается трехмерная семантика плавающих миров, в которой для координации используется двумерная рамка, соединяющая ценностные миры (образованные ценностными суждениями) с целевыми мирами (которые формируются суждениями о целях системы). Третье измерение для этой рамки задается концепцией вычислимости. Вычислимость трактуется в символьно-коннекционистском формате совмещения принципов работы машины Тьюринга и машины Корсакова. Изучаются три формы координации: абсолютная (отношение достижимости миров осуществляется в смысле С. Крипке), релятивная (Я. Хинтикки) и рефлексивная (С. Н. Корсакова). Рефлексивная координация непосредственно иллюстрируется работой машины Корсакова.