Page 796

نظریه آزادی ،ایران و دین محمدعلی جنت خواه دوست 796 No emergency suspends axioms. اضطرار فقط انتخاب ميان گزینه های مجاز را محدود می کند؛ نه اینکه نقض حق را مجاز کند.

forbidden(A) :- violates_axiom(A).

permissible_under_emergency(A, E) :- emergency(E), permissible(A), least_harmful_among_permissible(A, E). این اصل، راه ورود توتاليتاریسم را می بندد؛ زیرا تقریباً تمام نظام های سلطه، نقض حق را با «وضعيت اضطراری» آغاز می کنند.

نظریه آزادی باید برای هوش مصنوعی تابعی داشته باشد که اصل عدل الهی را رعایت کند. معنای آن این است: هيچ بهينه سازی ای برای برقراری عدالت نباید به قيمت نقض حقوق مالکيتی انسان ها یا ماشين ها انجام شود.

JusticeOptimization(a) ∧ ViolatesRights(a) -> Forbidden(a) تابع عدل:

DivineJustice(a) := Maximize Justice(a)

subject to:

NoViolation(HumanPropertyRights) NoViolation(MachineDelegatedPropertyRights) NoCoercion NoDeception NoConfiscation NoMachineSovereignty