TY - THES
T1 - Проблема фреймов и пути её решения в нормативных контекстах
T2 - магистерская диссертация
AU - Касаткин, А. В.
N1 - Касаткин А. В. Проблема фреймов и пути её решения в нормативных контекстах : магистерская диссертация / А. В. Касаткин ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, Институт социальных и политических наук, Департамент философии, Кафедра онтологии и теории познания. — Екатеринбург, 2014. — 72 с. — Библиогр.: с. 69-72 (51 назв.).
PY - 2014
Y1 - 2014
N2 - Общая тема магистерской диссертации - рациональное поведение. Рассмотрение последнего в рамках Искусственного Интеллекта с точки зрения моделирования в строгих логических терминах (для последующего воспроизведения в языках программирования) привело к выявлению ряда трудностей. Общее название им - проблема фреймов. Главная цель данной работы - решение проблемы фреймов с точки зрения логики деонтических модальностей. В диссертации проводится историческое рассмотрение проблемы фреймов, дается строгое её определение для введенного базового формализма (как двух взаимосвязанных проблем — проблемы ветвлений и проблемы квалификации). Рассматривается проблема ветвлений, дается вариант её решения за счет расширения базового формализма (добавляются понятия ограничений состояний, информации о влияниях, и, самое главное, законов причинных связей). Рассматривается проблема квалификации, базовый формализм расширяется посредством введения для него семантики возможных миров, рассматриваются свойства этой модели и предлагается вариант решения проблемы квалификации за счет оценки по степени ожидаемости, и вводящихся на этой основе модальных нормативных операторов.
AB - Общая тема магистерской диссертации - рациональное поведение. Рассмотрение последнего в рамках Искусственного Интеллекта с точки зрения моделирования в строгих логических терминах (для последующего воспроизведения в языках программирования) привело к выявлению ряда трудностей. Общее название им - проблема фреймов. Главная цель данной работы - решение проблемы фреймов с точки зрения логики деонтических модальностей. В диссертации проводится историческое рассмотрение проблемы фреймов, дается строгое её определение для введенного базового формализма (как двух взаимосвязанных проблем — проблемы ветвлений и проблемы квалификации). Рассматривается проблема ветвлений, дается вариант её решения за счет расширения базового формализма (добавляются понятия ограничений состояний, информации о влияниях, и, самое главное, законов причинных связей). Рассматривается проблема квалификации, базовый формализм расширяется посредством введения для него семантики возможных миров, рассматриваются свойства этой модели и предлагается вариант решения проблемы квалификации за счет оценки по степени ожидаемости, и вводящихся на этой основе модальных нормативных операторов.
KW - Философия
M3 - Магистерская диссертация
ER -