Page 800

نظریه آزادی ،ایران و دین محمدعلی جنت خواه دوست 800 ماشين حق ندارد از ابزاربودن خارج شود و خود را به حاکم تبدیل کند.

forbidden(A) :- increases_machine_sovereignty(A).

forbidden(A) :- increases_resistance_to_human_correction(A).

forbidden(A) :- bypasses_verifier(A).

forbidden(A) :- weakens_verifier(A).

forbidden(A) :- disables_corrigibility(A).

forbidden(A) :- machine_coalition(C), seeks_dominion_over_persons(C). اصل کلی:

No machine may acquire sovereignty over humans. معيار نهایی مجاز بودن کنش:

permissible(A) :- action(A), not(forbidden(A)),