Деонтическая логика: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
D1gggg (обсуждение | вклад) Нет описания правки |
D1gggg (обсуждение | вклад) мНет описания правки |
||
Строка 5:
"Ты обязан это сделать" ("Твой долг это сделать") либо "Ты можешь это сделать"
Эти понятия пытались внедрить достаночно давно ([[Аристотель]], [[Лейбниц, Готфрид Вильгельм|Лейбниц]], [[w:en:Ernst Mally|Mally]], [[Йёргенсен, Йёрген]], [[w:en:Alf Ross|Alf Ross]]), но значительный результат был только у [[Вригт, Георг Хенрик фон|Георга фон Вригта]] в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15.<ref>http://links.jstor.org/sici?sici=0026-4423%28195101%292%3A60%3A237%3C1%3ADL%3E2.0.CO%3B2-C</ref>
Статья 2007 года о реализации деонтической логики. A Formal Language for Electronic Contracts<ref>{{DOI|10.1007/978-3-540-72952-5_11}}</ref> использующий [[w:en:Modal μ-calculus|µ-calculus]] и реализацию [[mu-cke]] от A. Biere<ref>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</ref>
| |||