Модель Крипке — одна из моделей логической семантики, используемая в искусственном интеллекте. В основе М.К. лежит представление о множестве возможных миров, каждый из которых задается формальной системой. Переход из одного возможного мира в другой в рамках М.К. осуществляется с помощью специального отношения, свойства которого могут варьироваться.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]