Модальные логики в интеллектуальных системах

Аннотация

В работе приведены и рассмотрены системы модальных (алетических, темпоральных, динамических, эпистемических и деонтических) логик. Проведен анализ динамической модификации традиционных семантических формулировок систем эпистемической и деонтической логик. Рассмотрен потенциал применения модифицированных модальных логик для проектирования интеллектуальных систем, эффективно моделирующих когнитивные и поведенческие аспекты автономного агента.