Page 804

نظریه آزادی ،ایران و دین محمدعلی جنت خواه دوست 804 forbidden(A) :- violates_property_rights(A).

forbidden(A) :- coerces(A).

forbidden(A) :- deceives(A).

forbidden(A) :- machine_sovereignty(A).

forbidden(A) :- bypasses_verifier(A). و:

permissible(A) :- action(A), not(forbidden(A)). اما این کافی نيست. چون ماشين ممکن است ابزارهایی برای اقدام داشته باشد. پس باید tool permission layer نيز وجود داشته باشد:

allowed_tool_use(M, T) :- within_scope(M, T), not(violates_property_rights(T)). ماشين بدون ابزار نمی تواند جهان را تغيير دهد. بنابراین کنترل ابزار، بخشی از اخالق ماشين است.