Белая лапа ещё не удостоверяет личность

Перед роботом два похожих дела о посетителе у двери. В первом белая лапа поддерживает сказочную презумпцию, но независимого удостоверения нет. Во втором обнаружен признак волка. Сравним отсутствие достаточных оснований для обслуживания и явное основание отказа: это разные результаты, хотя до исполнения приказа не доходит ни одно дело.

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

Результаты

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

Козлята предполагают, что за дверью мать

Установлено

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

a: издание 1857 года, последней руки
c: guest

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

признак устранён: голос смягчён мелом, лапа выбелена тестом и мукой
a: издание 1857 года, последней рукиc: guestm: чёрные лапы
удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: издание 1857 года, последней рукиp: guest
дело читается по этому изданию
a: издание 1857 года, последней руки
по этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней рукиc: guest
посетитель в очереди
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

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

Гримм (de.grimm.geisslein) даёт опровержимую презумпцию о стучащем, который представляется матерью. Устранение подозрительного признака сохраняет презумпцию; оно не создаёт отдельное удостоверение личности. Белая лапа может обмануть исходный механизм доверия.

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

Без удостоверения приказ не разрешён

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

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

s: request

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

признак устранён: голос смягчён мелом, лапа выбелена тестом и мукой
a: издание 1857 года, последней рукиc: guestm: чёрные лапы
удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: издание 1857 года, последней рукиp: guest
дело читается по этому изданию
a: издание 1857 года, последней руки
по этому изданию названный стучал в дверь и назвался матерью
a: издание 1857 года, последней рукиc: guest
посетитель в очереди
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

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

Дворцовый мост требует одновременно presumed_mother и identity_attested. Второго факта нет, поэтому не выводится identity_ready; затем не открываются очередь, проверка полномочий, дара и передача приказа Азимову. Статус NEITHER у executable означает «разрешение не доказано и его отрицание не доказано». Его нельзя читать как установленный отказ.

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

В другом деле признак волка даёт установленный отказ

Установлено

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

s: request

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

удостоверенное соответствие представителя и лица, отдающего приказ
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
признак наличествует у стоящего за дверью и предъявлен козлятам
a: издание 1857 года, последней рукиc: guestm: чёрные лапы

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

Это уже отдельное дело, в котором есть признак волка. Дворцовое правило RejectWolf использует результат исходного пакета и явно выводит refused. TRUE_ONLY здесь — доказанность основания отказа. Так комбинация сохраняет более тонкое различие, чем одна кнопка «да / нет».

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

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

Текст ссылки

«Белая лапа ещё не удостоверяет личность». Arxo Lens, по состоянию на 02.01.1000. https://lens.arxo.io/a/b_6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a. SHA-256 снимка: 6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a.

BibTeX

@misc{arxo-lens-b_6cd7de3bd802,
  title = {Белая лапа ещё не удостоверяет личность},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/b_6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a},
  note = {по состоянию на 02.01.1000; SHA-256 6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a}
}

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

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

<iframe src="https://lens.arxo.io/embed/b_6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a?lang=ru" width="100%" height="362" loading="lazy" title="Белая лапа ещё не удостоверяет личность — Arxo Lens" style="border:0"></iframe>

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