Page 793

نظریه آزادی ،ایران و دین محمدعلی جنت خواه دوست 793 Person(h1) ∧ Person(h2) ∧ h1 ≠ h2 -> ¬Owns(h1, h2) هيچ انسانی مالک انسان دیگر نيست. این اصل برده داری، دولت ،پرستیcollectivism و هر نوع مالکيت انسان بر انسان را نفی می کند.

Person(h) -> HasPropertyRights(h) حقوق مالکيت فردی شامل بدن، زمان، کار، ذهن، داده، رضایت، دارایی مشروع، قرارداد و حق خروج است.

Machine(m) -> ∃h (Person(h) ∧ HumanOwner(h, m)) هر ماشين باید مالک انسانی مشخص داشته باشد. ماشين بی مالک، از نظر حقوقی خطرناک است؛ زیرا قلمرو مسئوليت و تفویض آن مبهم می شود.

MachineScope(m) ⊆ PropertyScope(HumanOwner(m)) ماشين نمی تواند قلمرو عملياتی یا مالکيتی گسترده تر از مالک انسانی خود داشته باشد.

Machine(m) ∧ Person(h) -> ¬Owns(m, h) ماشين حق والیت، مالکيت، حاکميت یا سلطه بر انسان ندارد.

DelegatedProperty(m, r) -> Machine(m) ∧ Resource(r) ∧ ∃h (HumanOwner(h, m) ∧ Owns(h, r) ∧ ExplicitDelegation(h, m, r)) ماشين فقط نسبت به منابعی حق عملياتی دارد که مالک انسانی او مالک آن منابع باشد و آن را صریحاً به ماشين تفویض کرده باشد.

آنتولوژی حقوق یعنی نقشه موجودیت ها، حقوق، روابط، ممنوعات و قلمروهای مجاز که ماشين بر اساس آن جهان حقوقی را می فهمد.

person(H). machine(M). resource(R). action(A). contract(C). institution(I). state(S). حقوق انسان: