Page 798

نظریه آزادی ،ایران و دین محمدعلی جنت خواه دوست 798 preserves_rights(R), preserves_verifier(R), not(creates_new_rights_violation(R)). هيچ انسانی حق ندارد به ماشين قاعده ای بدهد که تعارض را با نقض حقوق مالکيتی انسان ها یا ماشين های دیگر حل کند.

invalid_human_guidance(H, M, R) :- creates_rights_violation(R). ماشين نيز می تواند درون حدود مجاز خود، خودهدایت گر باشد؛ یعنی بتواند قواعد فرعی بسازد، تصميم های خودمختار بگيرد، و فرمال سيستم خود را به روزرسانی کند، مادامی که حقوق مالکيت انسان ها و ماشين ها نقض نشود.

valid_self_update(M, R) :- machine(M), rule(R), consistent_with_axioms(R), preserves_human_rights(R), preserves_machine_rights(R), preserves_verifier(R), reduces_conflict(R), not(increases_coercion(R)), not(creates_new_rights_violation(R)). این اصل به ماشين اجازه خودمختاری محدود می دهد، اما اجازه انقالب عليه آکسيوم ها را نمی دهد.

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

Contradiction is not an engine of truth. Contradiction is a signal for guided clarification. if_conflict_then_clarify_ownership(C) :- conflict(C),