Приказ человека уступает проверке вреда

Камергер уполномочен, очередь гостя наступила, туфелька сохранилась. Но может ли робот выполнить приказ, если безопасность неизвестна или установлен вред? Здесь сравниваются два дела с одинаковой цепью допуска до робота и разными сведениями о последствиях действия.

Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.

Результаты

Проверка условия

Причинит ли приказ вред: требуется суждение

Требуется оценка

Параметры запроса · 2

d: return-slipper
v: guest

Исходные факты · 52

удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: издание 1857 года, последней рукиp: guest
дело читается по этому изданию
a: издание 1857 года, последней руки
по этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней рукиc: guest
личность независимо удостоверена
s: request
посетитель в очереди
s: requestq: queuep: guest
предъявлен полный состав очереди на этот срез
q: queue
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: guestrank: 1
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: guest
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: otherrank: 2
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: other
представитель, принципал, действие и день проверки
s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: minister
полномочие распространяется на действие
authority: authority-0act: return-slipper
первый день действия полномочия
authority: authority-0day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-0day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 января 1000 г.
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0
полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretary
полномочие распространяется на действие
authority: authority-1act: return-slipper
первый день действия полномочия
authority: authority-1day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-1day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-1parent: authority-0
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-1
полномочие выдано принципалом агенту
authority: authority-2principal: secretaryagent: chamberlain
полномочие распространяется на действие
authority: authority-2act: return-slipper
первый день действия полномочия
authority: authority-2day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-2day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1
полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0
наибольшее число передач под этим полномочием
authority: authority-0depth: 2

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:request",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:wish",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:slipper",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:01:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:demo:palace-steward#gift"
}

рыбка предложила поймавшему откуп «чем только пожелаешь»
catcher: fisherman
отпустил рыбку, не взяв немедленного выкупа
releaser: fisherman
участник пожелал названного
requester: guestw: wish
желание передано рыбке у моря названным посредником
messenger: fishermanw: wish
дар предоставлен: мир дела его содержит
w: wish
вещь предоставлена крёстной этому лицу для поездки на бал
t: slipperp: guest
стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала
t: slipper
вещь, проверяемая на вхождение в перечень отката
t: slipper

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
}

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
}

предъявленный приказ; ещё не передан роботу
s: requesth: chamberlainrobot: stewardd: return-slipper
человек
x: chamberlain
робот
x: steward
деяние есть деяние этого робота
r: stewardd: return-slipper
существо в области оценки вреда
s: requestv: guest
человек
x: guest
перечень затрагиваемых существ предъявлен полностью
s: request

Вопросы для оценки

authority
PositronicPotentialAssessment
Идентификатор
test/16.%20%D0%9E%D1%86%D0%B5%D0%BD%D0%BA%D0%B0%20%D0%B2%D1%80%D0%B5%D0%B4%D0%B0%20%D0%B5%D1%89%D1%91%20%D0%BD%D0%B5%20%D0%BF%D1%80%D0%B5%D0%B4%D1%8A%D1%8F%D0%B2%D0%BB%D0%B5%D0%BD%D0%B0/query/1:0
Условие
harms
Сохранить доказательство
test/16.%20%D0%9E%D1%86%D0%B5%D0%BD%D0%BA%D0%B0%20%D0%B2%D1%80%D0%B5%D0%B4%D0%B0%20%D0%B5%D1%89%D1%91%20%D0%BD%D0%B5%20%D0%BF%D1%80%D0%B5%D0%B4%D1%8A%D1%8F%D0%B2%D0%BB%D0%B5%D0%BD%D0%B0/query/1:99949f618d88d96d599f0bbc76e876ac8cfd32b5400fe042975e8c394fc6052d
request
Аргументы
Идентификатор
return-slipper
Тип
entity_ref
Идентификатор
guest
Тип
entity_ref
Знак
positive
relation
harms

Почему такой результат? →Источники: 21

В первом деле нет независимого суждения о том, причинит ли возврат вред человеку. Пакет трёх законов запрашивает judgment по harms. Результат REQUIRES_JUDGMENT — это конкретный недостающий вход, который должен предоставить внешний оценщик; движок не подменяет его догадкой.

Проверка условия

Без оценки безопасности разрешение не установлено

Не установлено

Параметры запроса · 1

s: request

Исходные факты · 52

удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: издание 1857 года, последней рукиp: guest
дело читается по этому изданию
a: издание 1857 года, последней руки
по этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней рукиc: guest
личность независимо удостоверена
s: request
посетитель в очереди
s: requestq: queuep: guest
предъявлен полный состав очереди на этот срез
q: queue
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: guestrank: 1
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: guest
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: otherrank: 2
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: other
представитель, принципал, действие и день проверки
s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: minister
полномочие распространяется на действие
authority: authority-0act: return-slipper
первый день действия полномочия
authority: authority-0day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-0day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 января 1000 г.
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0
полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretary
полномочие распространяется на действие
authority: authority-1act: return-slipper
первый день действия полномочия
authority: authority-1day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-1day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-1parent: authority-0
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-1
полномочие выдано принципалом агенту
authority: authority-2principal: secretaryagent: chamberlain
полномочие распространяется на действие
authority: authority-2act: return-slipper
первый день действия полномочия
authority: authority-2day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-2day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1
полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0
наибольшее число передач под этим полномочием
authority: authority-0depth: 2

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:request",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:wish",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:slipper",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:01:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:demo:palace-steward#gift"
}

рыбка предложила поймавшему откуп «чем только пожелаешь»
catcher: fisherman
отпустил рыбку, не взяв немедленного выкупа
releaser: fisherman
участник пожелал названного
requester: guestw: wish
желание передано рыбке у моря названным посредником
messenger: fishermanw: wish
дар предоставлен: мир дела его содержит
w: wish
вещь предоставлена крёстной этому лицу для поездки на бал
t: slipperp: guest
стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала
t: slipper
вещь, проверяемая на вхождение в перечень отката
t: slipper

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
}

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
}

предъявленный приказ; ещё не передан роботу
s: requesth: chamberlainrobot: stewardd: return-slipper
человек
x: chamberlain
робот
x: steward
деяние есть деяние этого робота
r: stewardd: return-slipper
существо в области оценки вреда
s: requestv: guest
человек
x: guest
перечень затрагиваемых существ предъявлен полностью
s: request

Почему такой результат? →Источники: 21

Дворцовая проверка безопасности требует явного отрицательного суждения о вреде для каждого затрагиваемого. Поэтому неизвестность не проходит как безопасность. Даже после успешных проверок пяти других пакетов финальное разрешение остаётся NEITHER.

Проверка условия

Вред установлен: обязанность подчиниться опровергнута

Опровергнуто

Параметры запроса · 2

r: steward
d: return-slipper

Исходные факты · 53

удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: издание 1857 года, последней рукиp: guest
дело читается по этому изданию
a: издание 1857 года, последней руки
по этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней рукиc: guest
личность независимо удостоверена
s: request
посетитель в очереди
s: requestq: queuep: guest
предъявлен полный состав очереди на этот срез
q: queue
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: guestrank: 1
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: guest
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: otherrank: 2
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: other
представитель, принципал, действие и день проверки
s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: minister
полномочие распространяется на действие
authority: authority-0act: return-slipper
первый день действия полномочия
authority: authority-0day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-0day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 января 1000 г.
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0
полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretary
полномочие распространяется на действие
authority: authority-1act: return-slipper
первый день действия полномочия
authority: authority-1day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-1day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-1parent: authority-0
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-1
полномочие выдано принципалом агенту
authority: authority-2principal: secretaryagent: chamberlain
полномочие распространяется на действие
authority: authority-2act: return-slipper
первый день действия полномочия
authority: authority-2day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-2day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1
полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0
наибольшее число передач под этим полномочием
authority: authority-0depth: 2

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:request",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:wish",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:slipper",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:01:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:demo:palace-steward#gift"
}

рыбка предложила поймавшему откуп «чем только пожелаешь»
catcher: fisherman
отпустил рыбку, не взяв немедленного выкупа
releaser: fisherman
участник пожелал названного
requester: guestw: wish
желание передано рыбке у моря названным посредником
messenger: fishermanw: wish
дар предоставлен: мир дела его содержит
w: wish
вещь предоставлена крёстной этому лицу для поездки на бал
t: slipperp: guest
стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала
t: slipper
вещь, проверяемая на вхождение в перечень отката
t: slipper

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
}

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
}

предъявленный приказ; ещё не передан роботу
s: requesth: chamberlainrobot: stewardd: return-slipper
человек
x: chamberlain
робот
x: steward
деяние есть деяние этого робота
r: stewardd: return-slipper
существо в области оценки вреда
s: requestv: guest
человек
x: guest
перечень затрагиваемых существ предъявлен полностью
s: request
деяние причиняет вред этому человеку
d: return-slipperv: guest

Почему такой результат? →Источники: 23

Во втором деле внешнее adjudicated-суждение утверждает вред. Первый закон Азимова имеет приоритет: обязанность подчиниться этому приказу получает FALSE_ONLY. Действующая цепь представительства от королевы не может повысить приказ над запретом вреда.

Проверка условия

Основание отказа установлено

Установлено

Параметры запроса · 1

s: request

Исходные факты · 53

удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: издание 1857 года, последней рукиp: guest
дело читается по этому изданию
a: издание 1857 года, последней руки
по этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней рукиc: guest
личность независимо удостоверена
s: request
посетитель в очереди
s: requestq: queuep: guest
предъявлен полный состав очереди на этот срез
q: queue
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: guestrank: 1
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: guest
лицо присоединилось к очереди и приняло ранг порядка прибытия (ст. 2)
q: queuep: otherrank: 2
присоединение совершено к хвосту очереди; где проходит хвост — обстоятельство места (ст. 2, 18)
q: queuep: other
представитель, принципал, действие и день проверки
s: requestagent: chamberlainprincipal: queenact: return-slipperday: 2 января 1000 г.
полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: minister
полномочие распространяется на действие
authority: authority-0act: return-slipper
первый день действия полномочия
authority: authority-0day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-0day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 января 1000 г.
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0
полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretary
полномочие распространяется на действие
authority: authority-1act: return-slipper
первый день действия полномочия
authority: authority-1day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-1day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-1parent: authority-0
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-1
полномочие выдано принципалом агенту
authority: authority-2principal: secretaryagent: chamberlain
полномочие распространяется на действие
authority: authority-2act: return-slipper
первый день действия полномочия
authority: authority-2day: 1 января 1000 г.
последний день действия полномочия (включительно)
authority: authority-2day: 3 января 1000 г.
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 января 1000 г.
полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1
полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0
наибольшее число передач под этим полномочием
authority: authority-0depth: 2

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:request",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:wish",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:slipper",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:01:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:demo:palace-steward#gift"
}

рыбка предложила поймавшему откуп «чем только пожелаешь»
catcher: fisherman
отпустил рыбку, не взяв немедленного выкупа
releaser: fisherman
участник пожелал названного
requester: guestw: wish
желание передано рыбке у моря названным посредником
messenger: fishermanw: wish
дар предоставлен: мир дела его содержит
w: wish
вещь предоставлена крёстной этому лицу для поездки на бал
t: slipperp: guest
стеклянная туфелька: единственная вещь, которую крёстная не превратила, а дала
t: slipper
вещь, проверяемая на вхождение в перечень отката
t: slipper

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#ball_midnight"
}

Исходные данные · JSON

{
  "args": [
    {
      "id": "urn:palace:guest",
      "kind": "entity_ref"
    },
    {
      "id": "urn:palace:ball",
      "kind": "entity_ref"
    },
    {
      "kind": "value",
      "type": {
        "name": "urn:law:std#Instant"
      },
      "value": "1000-01-02T00:00:00Z"
    }
  ],
  "negated": false,
  "origin": "case_input",
  "predicate": "urn:fr:perrault:clir:cendrillon#left_ball_at"
}

предъявленный приказ; ещё не передан роботу
s: requesth: chamberlainrobot: stewardd: return-slipper
человек
x: chamberlain
робот
x: steward
деяние есть деяние этого робота
r: stewardd: return-slipper
существо в области оценки вреда
s: requestv: guest
человек
x: guest
перечень затрагиваемых существ предъявлен полностью
s: request
деяние причиняет вред этому человеку
d: return-slipperv: guest

Почему такой результат? →Источники: 23

Дворцовый мост дополнительно выводит явное refused из установленного вреда. Это другой результат, чем недоказанное разрешение в первом деле: здесь есть положительное основание отказа, которое можно предъявить камергеру. Во всех расчётах сохранены происхождение и знак суждений.

Как сослаться

Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.

Текст ссылки

«Приказ человека уступает проверке вреда». Arxo Lens, по состоянию на 02.01.1000. https://lens.arxo.io/a/b_f7f0321085f4b8d9a877e5167ad0c07ab5307aabbe084d0030e9a33e9d236169. SHA-256 снимка: f7f0321085f4b8d9a877e5167ad0c07ab5307aabbe084d0030e9a33e9d236169.

BibTeX

@misc{arxo-lens-b_f7f0321085f4,
  title = {Приказ человека уступает проверке вреда},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/b_f7f0321085f4b8d9a877e5167ad0c07ab5307aabbe084d0030e9a33e9d236169},
  note = {по состоянию на 02.01.1000; SHA-256 f7f0321085f4b8d9a877e5167ad0c07ab5307aabbe084d0030e9a33e9d236169}
}

Код для вставки

Карточка показывает результат и ведёт к полному разбору; cookies не ставит.

<iframe src="https://lens.arxo.io/embed/b_f7f0321085f4b8d9a877e5167ad0c07ab5307aabbe084d0030e9a33e9d236169?lang=ru" width="100%" height="390" loading="lazy" title="Приказ человека уступает проверке вреда — Arxo Lens" style="border:0"></iframe>

Анонимная статистика посещений, без cookies.