Непрямые действия агентов и авторитетные отношения в STIT и PDL

Авторитетные отношения (АО) между агентами в логике действий на базе NEXT-семантики и в пропозициональной динамической логике (PDL). Отношение бисимуляции между моделями. АО как возможность указывать. Классы эквивалентности на процессуальных графах.

Подобные документы

  • Упражнения и задачи по логике с объяснениями способов решения. Перечни понятий, соответствующие кругам Эйлера. Определения, нарушающие правила. Суждения, находящиеся в отношениях противоречия и частичной совместимости. Умозаключения по аналогии.

    контрольная работа, добавлен 30.11.2013

  • Содержание базовых понятий: "операция пересечения", "операция объединения", "вывод", "логическое обобщение". Характеристика представлений про логику мышления и познания философа Г.В.Ф. Гегеля. Сущность и применение законов диалектической логики.

    контрольная работа, добавлен 17.03.2011

  • Различия между каузальными и квазикаузальными объяснениями. Внутренний и внешний аспекты действия. Отношение практического вывода к телеологическим объяснениям. Интенция и способность агента к ее реализации. Каузальное и телеологическое поведение.

    реферат, добавлен 26.08.2010

  • Символическая логика как направление в математической логике, изучающее формальные системы: "логика по предмету, математика по методу" (П.С. Порецкий). Применение рассуждений и словесных формулировок. Анализ структуры высказываний и доказательств.

    статья, добавлен 06.10.2014

  • Основные черты компьютерной революции ХХI века. Особенности всеобщей организационной науки – тектологии Богданова. Реальная возможность преодоления разрыва между гуманитарной и естественнонаучной культурами при взаимодействии компьютеризации и науки.

    статья, добавлен 23.11.2018

  • Подходы к определению абсурда, особенности исследования данной категории в математике и логике, в философии и литературе, в изобразительном искусстве и театре, в языке и в обыденном сознании. Существующие в понимании абсурда сложности и противоречия.

    статья, добавлен 25.06.2013

  • Софизм как ложное умозаключение, которое, тем не менее, при поверхностном рассмотрении кажется правильным, основанное на преднамеренном, сознательном нарушении правил логики. Исследование природы софизма как преднамеренного обмана, его место в логике.

    реферат, добавлен 09.05.2012

  • Выражение комбинированных сложных суждений в явной логической форме, их символическая запись. Вывод из посылки разделительно-категорического умозаключения. Определение модусу, построение его схемы. Использование аналогии как формы обоснования в логике.

    контрольная работа, добавлен 08.03.2014

  • Співвідношення між словом, словосполученням та поняттям. Матриця подвійної імплікації як логічна операція, суть мистецтва критики аргументів спростування. Отношения между суждениями регулируемые формально – логическим законом исключенного третьего.

    контрольная работа, добавлен 06.03.2012

  • Коренные свойства логического мышления – определенность, непротиворечивость, последовательность и обоснованность. Логика как гуманитарная наука и философская дисциплина. Закон противоречия и тождества. Контактные и дистантные противоречия в логике.

    реферат, добавлен 06.10.2019

  • Анализируется противостояние между двумя методологиями истории философии - историцизмом (контекстуализмом) и апроприационизмом. Данные разногласия излагаются в виде, пригодном для последующей формализации с использованием семантики В. Эдельберга.

    статья, добавлен 22.01.2021

  • Логическая характеристика принципиальности и устава. Отношения между терминами суждения и их изображение с помощью круговых систем Эйлера. Преобразование реального определения в номинальное. Субъект и предикат суждения, и его эпистемическая модальность.

    контрольная работа, добавлен 25.05.2014

  • Строение, качество и количество суждений, распределенность в них терминов. Выражение отношения между терминами с помощью круговых схем. Логический вывод путем обращения и превращения. Аргументы и их связи с тезисом, дедуктивная форма обоснования.

    контрольная работа, добавлен 03.12.2010

  • Истинность социального знания на "постнеклассическом" этапе развития. "Новые" связи и отношения, возникающие сегодня между социально-теоретическим знанием, религией и идеологией. Необходимость изменения познавательных функций в социальной философии.

    статья, добавлен 18.03.2018

  • Развитие философской мысли в Германии в XVIII-XIX вв. Основной вопрос философии, отношение между мышлением и бытием. Сущность категорического императива Канта. Моральный закон в человеке и учение о долге. Различие между учениями Канта и Гегеля.

    реферат, добавлен 04.10.2012

  • Философская мысль Запада в ХХ веке, ее подчинение логике противостояния идеологий. Понятие экзистенции, разделившей судьбу Ф. Ницше, А. Бергсона с его "жизненным порывом". Важнейшие идеи прагматизма в конце XIX в. в США. Задача сознания в прагматизме.

    доклад, добавлен 04.05.2014

  • Анализ проблемы различных видов суждения, объединение фундаментальных вопросов в семантике, логике, когнитивной психологии и эпистемологии. Переосмысление эмпиризма посредством их интерпретации тогдашних достижений в физических и формальных науках.

    статья, добавлен 15.05.2018

  • Развитие закона Бойля-Мариотта. Глубина проникновения в сущность изучаемых явлений. Воплощение в факте некой теоретической конструкции. Характеристика понятия научно-исследовательской программы. Достижение целей путем разрешение комплексов задач.

    реферат, добавлен 06.06.2011

  • Сущность обобщения и ограничения понятий, их отличительные признаки и назначение, особенности и порядок реализации. Совершение операций определения и деления понятий в логике, их закономерности. Логические операции, связанные с изменением объёма понятий.

    контрольная работа, добавлен 04.02.2010

  • Ознакомление со взглядами В. Библера, который приходит к выводу о том, что основание философской системы всегда должно быть противоречивым. Исследование и характеристика специфики философских рассуждений, как взаимосвязи различных философских установок.

    статья, добавлен 18.12.2021

  • Понятие "социальные отношения" как отношений между социальными субъектами по поводу их равенства и социальной справедливости. Период Античности, который характеризуется разными философскими представлениями о роли мужчины и женщины в человеческом обществе.

    презентация, добавлен 14.12.2020

  • Фундаментальный принцип марксистской теории. Диалектический материализм как теоретическая основа философии марксизма. Особенность исторического материализма. Производительные силы общества и производственные отношения и взаимоотношения между ними.

    реферат, добавлен 19.03.2015

  • Систематизация Аристотелем знаний о логике, обоснование форм и правил логического мышления. Определение вклада оратора Цицерона и древнеримского теоретика ораторского искусства Квинтилиана в развитие логики. Логические аспекты учения Демокрита.

    доклад, добавлен 26.04.2023

  • Логическая характеристика понятий по содержанию, объему, совместимости. Изучение распределенности терминов в логике, понятие субъекта и предиката. Логические операции обобщения, деления, ограничения с понятиями. Операции над классами и законы логики.

    шпаргалка, добавлен 17.06.2009

  • Особенности формулирования Аристотелем закона исключения третьего в ответ на релятивистские взгляды своего времени. Релятивистские и софистские направления логики как науки. Теоретические обоснования опровержения законов правильного мышления в логике.

    реферат, добавлен 30.09.2015

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.