Непрямые действия агентов и авторитетные отношения в STIT и PDL
Авторитетные отношения (АО) между агентами в логике действий на базе NEXT-семантики и в пропозициональной динамической логике (PDL). Отношение бисимуляции между моделями. АО как возможность указывать. Классы эквивалентности на процессуальных графах.
| Рубрика | Философия |
| Предмет | Логика |
| Вид | статья |
| Язык | русский |
| Прислал(а) | Г.В. Карпов |
| Дата добавления | 30.09.2020 |
| Размер файла | 559,9 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Логическая характеристика понятий. Определение отношения между понятиями и выражение их с помощью круговых схем. Классификация суждений, изображение отношения между ними при помощи кругов Эйлера. Анализ энтимемы. Требования формально-логического закона.
контрольная работа [260,1 K], добавлен 04.05.2010Суждение как отображение действительно существующих существенных связей и отношений между предметами. Общая характеристика суждения, субъект атрибутивного суждения. Причины бессмысленности суждений. Понятие "квантор существования" в современной логике.
реферат [13,5 K], добавлен 11.03.2012Понятия по объему и по содержанию. Правила определения и деления понятий в логике. Логические отношения между совместимыми и несовместимыми понятиями. Виды сложных суждений: конъюнкция, дизъюнкция, импликация, эквиваленция. Виды фигур силлогизма.
контрольная работа [175,6 K], добавлен 01.02.2016Общая характеристика имени, особенности его видов, содержания и объема. Значимость проблем именования в логике. Закон обратного отношения между содержанием и объемом имени. Найти имена противоположные и противоречащее следующим: вежливость, умный, любовь.
контрольная работа [105,0 K], добавлен 26.11.2011Сущность понятия как формы мышления, его специфические, характерные черты и логическая структура, основные виды и отношения между ними. Содержание закона обратного отношения между объемами и содержаниями понятий, главные следствия и выводы их него.
курсовая работа [46,5 K], добавлен 30.09.2009Классификация суждений, их схем и принятых в логике обозначений. Распределение терминов и изображение их соотношения с помощью круговых схем Эйлера. Установление вида и символическая схема сложного суждения. Формально-логический закон и его нарушение.
контрольная работа [21,9 K], добавлен 20.08.2011Понятие как форма мышления, отражающая предметы в их существенных признаках, его общая характеристика, логические приемы формирования, классификация и разновидности: совместимые и несовместимые. Отличительные особенности отношения между понятиями.
реферат [24,3 K], добавлен 29.01.2014Раскрытие содержания базовых терминов - "фигура силлогизма", "модус силлогизма", "эпихейрема", "аналогия". Родовой признак, видовое отличие, атрибутивный или случайный признак. Сжатая характеристика представлений о логике мышления и познания философов.
контрольная работа [187,0 K], добавлен 01.02.2011Понятие - форма мышления, посредством которой выделяют определенные классы вещей. Содержание и объем понятия. Различие между реальным предметом и предметом мысли. Закон обратного отношения между объемом и содержанием понятия, его обобщение и ограничение.
реферат [22,8 K], добавлен 10.02.2009Определить отношения между понятиями и изобразить их кругами Эйлера. Являются ли данные предложения определениями ? Являются ли данные предложения делением ? Определить отношения между суждениями (по "логическому квадрату").
контрольная работа [11,7 K], добавлен 17.03.2007
