Караваев, Э. Ф. Средства неклассической логики в формализации процедур планирования деятельности [Текст] / Э. Ф. Караваев> // Вестник Санкт-Петербургского университета. - 2008. - Вып. 1. - С. 87-94. - Библиогр. в сносках . - ISSN 1995-0055
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): вероятностные оценки -- гибридная логика -- деонтическая логика -- логика -- логика деятельности -- неклассическая логика -- номиналистические высказывания -- планирование деятельности -- алетическая модальная логика -- временная логика -- планирование -- эпистемическая логика Аннотация: Рассматриваются возможности использования средств неклассической логики (временной, деонтической, алетической модальной, эпистемической, гибридной логики и логики деятельности) для усовершенствования формализованного представления процедур планирования. Доп.точки доступа: Саймон, Г.; Хорти, Дж.; Белнап, Н.; Хэмблин, Ч.; Перлов, М. |
Нечитайлов, Ю. В. Механизм информационного обновления в моделях эпистемической логики [Текст] / Ю. В. Нечитайлов> // Вестник Санкт-Петербургского университета. - 2008. - Вып. 1. - С. 114-120. - Библиогр. в сносках . - ISSN 1995-0055
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): информатизация -- информация -- логика -- множество отношений неразличимости -- множество состояний -- эпистемическая логика -- динамо-эпистемическая логика -- информационное обновление Аннотация: В статье рассматривается ситуация информационного поворота в логике. Рассмотрена интерпретация форм эпистемической логики. Предложен новый подход использования эпистемических принципов. Определена модель действия, лежащая в основе динамо-эпистемической логики. |
Нечитайлов, Юрий Вячеславович (кандидат философских наук). О единстве основания проблемы логического всеведения [Текст] / Ю. В. Нечитайлов> // Вестник Санкт-Петербургского университета. Сер. 6, Философия, культурология, политология, право, международные отношения. - 2012. - Вып. 1. - С. 27-35. - Библиогр.: с. 35 (3 назв. ) . - ISSN 1995-0055
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): логическое всеведение -- эпистемическая логика -- семантические модификации -- логические системы -- эпистемические формулы Аннотация: О многообразии синтаксического проявления проблемы логического всеведения в эпистемической логике. Нет сведений об экземплярах (Источник в БД не найден) |
Лисанюк, Елена Николаевна (доктор философских наук). Логические аспекты многообразия агентов [Текст] / Е. Н. Лисанюк, А. М. Павлова> // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2016. - Т. 11, № 4 (158). - С. 45-60. - Библиогр.: с. 59-60 (33 назв.) . - ISSN 2227-2291
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): когнитивные агенты -- когнитивные презумпции -- логические компетенции -- многообразие агентов -- практические рассуждения -- рациональное поведение -- эпистемическая логика Аннотация: Рассматривается комплексная логическая классификация типов когнитивных агентов применительно к формальным теориям, моделирующим рациональное поведение. Доп.точки доступа: Павлова, Александра Михайловна Нет сведений об экземплярах (Источник в БД не найден) |