Проблема фреймов и пути её решения в нормативных контекстах: магистерская диссертация

Результат исследований: Квалификационная работаМагистерская диссертация

Аннотация

Общая тема магистерской диссертации - рациональное поведение. Рассмотрение последнего в рамках Искусственного Интеллекта с точки зрения моделирования в строгих логических терминах (для последующего воспроизведения в языках программирования) привело к выявлению ряда трудностей. Общее название им - проблема фреймов. Главная цель данной работы - решение проблемы фреймов с точки зрения логики деонтических модальностей. В диссертации проводится историческое рассмотрение проблемы фреймов, дается строгое её определение для введенного базового формализма (как двух взаимосвязанных проблем — проблемы ветвлений и проблемы квалификации). Рассматривается проблема ветвлений, дается вариант её решения за счет расширения базового формализма (добавляются понятия ограничений состояний, информации о влияниях, и, самое главное, законов причинных связей). Рассматривается проблема квалификации, базовый формализм расширяется посредством введения для него семантики возможных миров, рассматриваются свойства этой модели и предлагается вариант решения проблемы квалификации за счет оценки по степени ожидаемости, и вводящихся на этой основе модальных нормативных операторов.
Переведенное названиеThe frame problem and its solution in normative context: Master's thesis
Язык оригиналаРусский
Научный руководитель/консультант
  • Анкин, Дмитрий Владимирович, Научный руководитель
СостояниеОпубликовано - 2014

Ключевые слова

  • Философия

Fingerprint Подробные сведения о темах исследования «Проблема фреймов и пути её решения в нормативных контекстах: магистерская диссертация». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать