Русская Википедия:Деонтическая логика
Шаблон:ЗначенияДеонти́ческая ло́гика (от Шаблон:Lang-grc — долг и логика; ло́гика норм, нормати́вная ло́гика) — раздел модальной логики.
Оперирует понятиями: обязательство, разрешение, норма.
«Ты обязан это сделать» («Твой долг это сделать») либо «Ты можешь это сделать»
Эти понятия пытались внедрить достаточно давно (Аристотель, Лейбниц, Mally, Йёргенсен, Йёрген[1], Alf Ross), но значительный результат был только у Георга фон Вригта в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15.[2]
Статья 2007 года о реализации деонтической логики с подходом ought-to-do. A Formal Language for Electronic Contracts[3] использующий µ-calculus и реализацию mu-cke от A. Biere[4]
Все полезные нормы хоть кто-то должен нарушить. Согласно Gerardo Schneider разделяют:
- contrary-to-duty obligations
- нарушение обязанностей
- contrary-to-prohibitions
- нарушение запретов
В реальном мире оба ведут к каким-то последствиям.
Применение
- отмечается как хороший язык для выражения информационных систем в целом[1]
- Электронные контрактыШаблон:Уточнить (юриспруденция, социология, экономика)
- правовые экспертные системы (юриспруденция)
- для сравнения желаемого состояния с действительным
Примеры выражения норм
- когда лицо Ч занимает книгу К, он должен вернуть её в течение 2 недель
- [(занять(Ч, К))]O(вернуть(Ч, К))≤ 2 недели
Standard deontic logic
Самая изученная модель, основана на логике высказываний.
Подходы
- ought-to-do — выражения учитывают названия действий
- пользователь должен ввести пароль
- кто-то должен закрыть окно
- ought-to-be — выражения учитывают желаемый результат
- пароль должен быть более 20 символов
- окно должно быть закрыто
- пульс должен быть не более 200 ударов в минуту
Недостатки
- значительное количество парадоксов и загадок[5]
- возможны противоречивые результаты
Критика и трудности применения
Неполный перечень.
- Шаблон:Iw — нормы не истинны или ложны
- как тогда мы можем судить о противоречии и определять логические последствия?
- нормы, зависящие от чего-то
- нормы о нормах
- как выразить действия когда обязательство не выполнено или запрет нарушен?
- множество правил из модальной логики не применимы в деонтической логикеШаблон:Уточнить
Источники
Литература
Логика
Информатика
- Миков А. И. Информационные процессы и нормативные системы в IT: Математические модели. Проблемы проектирования. Новые подходы. — URSS. 2013. — 256 с. Мягкая обложка. — ISBN 978-5-397-03452-4. (Глава 7.Нормативные системы)
Ссылки
- ↑ 1,0 1,1 Шаблон:Cite web
- ↑ http://links.jstor.org/sici?sici=0026-4423(195101)2:60:237%3C1:DL%3E2.0.CO;2-C
- ↑ Шаблон: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
- ↑ Шаблон:Cite web
