Interested Article - Деонтическая логика

Деонти́ческая ло́гика (от др.-греч. δέον — долг и логика ; ло́гика норм , нормати́вная ло́гика ) — раздел модальной логики .

Оперирует понятиями: , , .

«Ты обязан это сделать» («Твой долг это сделать») либо «Ты можешь это сделать»

Эти понятия пытались внедрить достаточно давно ( Аристотель , Лейбниц , , , ), но значительный результат был только у Георга фон Вригта в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15.

Статья 2007 года о реализации деонтической логики с подходом ought-to-do . A Formal Language for Electronic Contracts использующий и реализацию от A. Biere

Все полезные нормы хоть кто-то должен нарушить. Согласно разделяют:

contrary-to-duty obligations: нарушение обязанностей
contrary-to-prohibitions: нарушение запретов

В реальном мире оба ведут к каким-то последствиям.

Применение

отмечается как хороший язык для выражения информационных систем в целом
- ^{[
  
  уточнить
  
  ]} ( юриспруденция , социология , экономика )
- правовые экспертные системы ( юриспруденция )
для сравнения желаемого состояния с действительным

Примеры выражения норм

когда лицо Ч занимает книгу К, он должен вернуть её в течение 2 недель: [(занять(Ч, К))]O(вернуть(Ч, К))≤ 2 недели

Standard deontic logic

Самая изученная модель, основана на логике высказываний .

Подходы

ought-to-do — выражения учитывают названия действий: пользователь должен ввести пароль; кто-то должен закрыть окно
ought-to-be — выражения учитывают желаемый результат: пароль должен быть более 20 символов; окно должно быть закрыто; пульс должен быть не более 200 ударов в минуту

Недостатки

значительное количество парадоксов и загадок
возможны противоречивые результаты

Критика и трудности применения

Неполный перечень.

— нормы не истинны или ложны: как тогда мы можем судить о противоречии и определять логические последствия?
нормы, зависящие от чего-то
нормы о нормах
как выразить действия когда обязательство не выполнено или запрет нарушен?
множество правил из модальной логики не применимы в деонтической логике ^{[ уточнить ]}

Источники

↑ . Дата обращения: 6 октября 2017. 6 октября 2017 года.
doi :
A. Biere. mu-cke — efficient mu-calculus model checking. In O. Grumberg, editor, International Conference on Computer-Aided Verification (CAV’97), number 1254 in Lecture Notes in Computer Science, pages 468—471. © Springer-Verlag, 1997
. Дата обращения: 6 октября 2017. 29 апреля 2018 года.

Литература

Ивин А. А. Логика (учебное пособие). — Москва: Знание, 1998. — С. Глава 3. Неклассическая логика § 4. Логика оценок и логика норм. — ISBN 5-07-002820-0 .
Ивин А. А. Логика (учебное пособие). — Москва: «Издательство Оникс»,«Издательство «Мир и Образование», 2008. — С. Глава 5. МОДАЛЬНАЯ ЛОГИКА § 4. Логика норм, стр. 103. — ISBN 978-5-488-01800-6 , 978-5-94666-487-5.
Лисанюк Е. Н. Деонтическая логика / Микиртумов И.Б., Мигунов А.И., Федоров Б.И. (ред.). — Логика (учебник). — Москва: Проспект, 2011. — С. 377—424 (Часть II. Глава 3).
Лисанюк Е. Н. Развитие представлений о нормах в деонтической логике. — Вестник Новосибирского государственного университета. Серия Философия. Том 8 (2010). Выпуск 1. С. 147-152., 2010.

Логика

Лисанюк Е. Н. // Известия Уральского федерального университета. Сер. 3, Общественные науки. — 2012. — № 4 (109) . — С. 31—44 .

Информатика

Миков А. И. Информационные процессы и нормативные системы в IT: Математические модели. Проблемы проектирования. Новые подходы. — URSS. 2013. — 256 с. Мягкая обложка. — ISBN 978-5-397-03452-4. (Глава 7.Нормативные системы)