Please use this identifier to cite or link to this item: http://hdl.handle.net/10995/28538
Title: Проблема фреймов и пути её решения в нормативных контекстах : магистерская диссертация
Other Titles: The frame problem and its solution in normative context
Authors: Kasatkin, A. V.
Касаткин, А. В.
metadata.dc.contributor.advisor: Анкин, Д. В.
Ankin, D. V.
Issue Date: 2014
Citation: Касаткин А. В. Проблема фреймов и пути её решения в нормативных контекстах : магистерская диссертация / А. В. Касаткин ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина, Институт социальных и политических наук, Департамент философии, Кафедра онтологии и теории познания. — Екатеринбург, 2014. — 72 с. — Библиогр.: с. 69-72 (51 назв.).
Abstract: The subject matter of master disseration is rational behavior. Its dedicated to the following questions: what kind of behavior can be named “rational”, and how we can model it in strict logical terms (and then in program languages). These questions were raised earlier in Artificial Intelligence researches, and very soon the modeling of human behavior for computers encounters some problems. The general name of these problems is the frame problem.The main aim of the research work is solution of the frame problem from deontic logic point of view. I find this formalism the most suitable for investigation of human (rational) behavior. The work contain historical consideration of the frame problem and its strict definition in terms of basic formalism, as interconnection of two correlated problems: ramification problem and qualification problem. The ramification problem is given an option to solve it by extending the basic formalism (with adding of notion of state constraints, influence information and, most importantly, the laws of causal relationships). To solve the problem of qualification the formalism is extended by introducing possible worlds semantic. We consider the properties of this model and offers a solution to the problem of qualification through valuation by the expectation degree, and introducing normative modal operators on this basis.
Общая тема магистерской диссертации - рациональное поведение. Рассмотрение последнего в рамках Искусственного Интеллекта с точки зрения моделирования в строгих логических терминах (для последующего воспроизведения в языках программирования) привело к выявлению ряда трудностей. Общее название им - проблема фреймов. Главная цель данной работы - решение проблемы фреймов с точки зрения логики деонтических модальностей. В диссертации проводится историческое рассмотрение проблемы фреймов, дается строгое её определение для введенного базового формализма (как двух взаимосвязанных проблем — проблемы ветвлений и проблемы квалификации). Рассматривается проблема ветвлений, дается вариант её решения за счет расширения базового формализма (добавляются понятия ограничений состояний, информации о влияниях, и, самое главное, законов причинных связей). Рассматривается проблема квалификации, базовый формализм расширяется посредством введения для него семантики возможных миров, рассматриваются свойства этой модели и предлагается вариант решения проблемы квалификации за счет оценки по степени ожидаемости, и вводящихся на этой основе модальных нормативных операторов.
Keywords: ПРОБЛЕМА ВЕТВЛЕНИЙ
ПРОБЛЕМА КВАЛИФИКАЦИИ
СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ
ЛОГИКА ДЕОНТИЧЕСКИХ МОДАЛЬНОСТЕЙ
МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ
MASTER'S THESIS
FRAME PROBLEM
RAMIFICATION PROBLEM
QUALIFICATION PROBLEM
POSSIBLE WORLDS SEMANTIC
DEONTIC LOGIC
URI: http://hdl.handle.net/10995/28538
Access: Предоставлено автором на условиях простой неисключительной лицензии
License text: http://hdl.handle.net/10995/31612
Appears in Collections:Магистерские диссертации

Files in This Item:
File Description SizeFormat 
m_th_kasatkin_2014.pdf434,61 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.