статья Непрямые действия агентов и авторитетные отношения в 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
