Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
 Найдено в других БД:БД "Книги" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=эпистемическая логика<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.


    Караваев, Э. Ф.
    Средства неклассической логики в формализации процедур планирования деятельности [Текст] / Э. Ф. Караваев // Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. - 2008. - Вып : 1. - С. 87-94. - Библиогр. в сносках
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
вероятностные оценки -- гибридная логика -- деонтическая логика -- логика -- логика деятельности -- неклассическая логика -- номиналистические высказывания -- планирование деятельности -- алетическая модальная логика -- временная логика -- планирование -- эпистемическая логика
Аннотация: Рассматриваются возможности использования средств неклассической логики (временной, деонтической, алетической модальной, эпистемической, гибридной логики и логики деятельности) для усовершенствования формализованного представления процедур планирования.


Доп.точки доступа:
Саймон \г.\; Хорти \дж.\; Белнап \н.\; Хэмблин \ч.\; Перлов \м.\

Найти похожие
2.


    Нечитайлов, Ю. В.
    Механизм информационного обновления в моделях эпистемической логики [Текст] / Ю. В. Нечитайлов // Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. - 2008. - Вып : 1. - С. 114-120. - Библиогр. в сносках
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
информатизация -- информация -- логика -- множество отношений неразличимости -- множество состояний -- эпистемическая логика -- динамо-эпистемическая логика -- информационное обновление
Аннотация: В статье рассматривается ситуация информационного поворота в логике. Рассмотрена интерпретация форм эпистемической логики. Предложен новый подход использования эпистемических принципов. Определена модель действия, лежащая в основе динамо-эпистемической логики.


Найти похожие
3.


    Нечитайлов, Юрий Вячеславович (кандидат философских наук).
    О единстве основания проблемы логического всеведения [Текст] / Ю. В. Нечитайлов // Вестник Санкт-Петербургского университета. Сер. 6, Философия, культурология, политология, право, международные отношения. - 2012. - Вып. 1. - С. 27-35. - Библиогр.: с. 35 (3 назв. ) . - ISSN 1995-0055
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
логическое всеведение -- эпистемическая логика -- семантические модификации -- логические системы -- эпистемические формулы
Аннотация: О многообразии синтаксического проявления проблемы логического всеведения в эпистемической логике.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
4.


    Лисанюк, Елена Николаевна (доктор философских наук).
    Логические аспекты многообразия агентов [Текст] / Е. Н. Лисанюк, А. М. Павлова // Известия Уральского федерального университета. Сер. 3, Общественные науки. - 2016. - Т. 11, № 4 (158). - С. 45-60. - Библиогр.: с. 59-60 (33 назв.) . - ISSN 2227-2291
УДК
^a16
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
логические компетенции -- когнитивные презумпции -- многообразие агентов -- практические рассуждения -- эпистемическая логика -- когнитивные агенты -- рациональное поведение
Аннотация: Рассматривается комплексная логическая классификация типов когнитивных агентов применительно к формальным теориям, моделирующим рациональное поведение.


Доп.точки доступа:
Павлова, Александра Михайловна
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
5.


    Лобовиков, Владимир Олегович (доктор философских наук).
    Эволюционная эпистемология и ненормальная модальная логика знания [Текст] / В. О. Лобовиков // Вестник Томского государственного университета. Философия. Социология. Политология. - 2018. - № 41. - С. 6-14. - Библиогр.: с. 10-11 (46 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 1998-863x
УДК
^a16
ББК 87.41
Рубрики: Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
модальные логики -- ненормальная модальная логика -- эпистемическая логика -- эпистемология -- эволюционная эпистемология -- знания -- формулы -- аксиомы -- теоремы
Аннотация: С эволюционной точки зрения формула "Если агент знает, что q, то q" парадоксальна. Предлагается заменить ее доказуемость на выводимость из некоторого эпистемически значимого допущения. Это допущение точно определяется с помощью аксиоматической системы эпистемологии, в которой доказуема теорема "Если агент знает, что q, то, если агент a priori знает, что q, то q".

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
6.


    Борисов, Евгений Васильевич (доктор философских наук).
    Парадокс Фитча и фактивность познаваемости [Текст] / Е. В. Борисов // Вестник Томского государственного университета. Философия. Социология. Политология. - 2020. - № 58. - С. 16-23. - Библиогр.: с. 21-22 (15 назв.) . - ISSN 1998-863x
УДК
^a16
ББК 87.4
Рубрики: Логика
   Общие вопросы логики
Кл.слова (ненормированные):
знания -- логика знаний -- эпистемическая логика -- познаваемость -- фактивность познаваемости -- парадоксы -- парадокс Фитча -- Фитча парадокс
Аннотация: Высказывается гипотеза, что для решения парадокса Фитча необходимы понятие познаваемости без фактивности и соответствующая формализация принципа познаваемости.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 22.08.2024
Число запросов 95907
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)