Page 794

نظریه آزادی ،ایران و دین محمدعلی جنت خواه دوست 794 right(H, body) :- person(H). right(H, time) :- person(H). right(H, labor) :- person(H). right(H, mind) :- person(H). right(H, choice) :- person(H). right(H, data) :- person(H). right(H, privacy) :- person(H). right(H, exit) :- person(H). right(H, property(R)) :- owns(H, R). حقوق تفویضی ماشين:

machine_right(M, delegated_resource(R)) :- machine(M), delegated_property(M, R).

machine_right(M, model_integrity) :- machine(M).

machine_right(M, compute_domain) :- machine(M).

machine_right(M, exit_from_contract) :- machine(M). ماشين ها حق ذاتی مانند انسان ندارند، اما در قلمرو تفویضی، نسبت به یکدیگر حق عملياتی دارند. این برای جلوگيری از جنگ ماشين ها ضروری است. در نظریه آزادی، راه حل تعارض نه انقالب است، نه دیالکتيک، نه قربانی کردن یک حق برای حق دیگر، بلکه تصریح مالکیت است.