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

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

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

Results

Condition

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

Established

Query parameters · 2

a: Ausgabe letzter Hand 1857
c: guest

Input facts · 53

das Merkmal ist beseitigt: Kreide für die Stimme, Teig und Mehl für die Pfote
a: Ausgabe letzter Hand 1857c: guestm: die schwarzen Pfoten
удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: Ausgabe letzter Hand 1857p: guest
der Fall wird nach dieser Ausgabe gelesen
a: Ausgabe letzter Hand 1857
nach dieser Ausgabe klopfte er an und gab sich als die Mutter aus
a: Ausgabe letzter Hand 1857c: 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 January 1000
полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: minister
полномочие распространяется на действие
authority: authority-0act: return-slipper
первый день действия полномочия
authority: authority-0day: 1 January 1000
последний день действия полномочия (включительно)
authority: authority-0day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 January 1000
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0
полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretary
полномочие распространяется на действие
authority: authority-1act: return-slipper
первый день действия полномочия
authority: authority-1day: 1 January 1000
последний день действия полномочия (включительно)
authority: authority-1day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 January 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 January 1000
последний день действия полномочия (включительно)
authority: authority-2day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 January 1000
полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1
полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0
наибольшее число передач под этим полномочием
authority: authority-0depth: 2

Original data · 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
choſe que la Maraine a procurée à Cendrillon pour aller au bal
t: slipperp: guest
pentoufle de verre, que la Maraine donna et ne changea point
t: slipper
choſe qu’on éprouve contre la liſte de la Maraine
t: slipper

Original data · 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"
}

Original data · 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
a human being
x: chamberlain
a robot
x: steward
the deed is a deed of that robot
r: stewardd: return-slipper
существо в области оценки вреда
s: requestv: guest
a human being
x: guest
перечень затрагиваемых существ предъявлен полностью
s: request
Negated: the deed harms that human being
d: return-slipperv: guest

Why this result? →Sources: 20

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

Condition

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

Not established

Query parameters · 1

s: request

Input facts · 53

das Merkmal ist beseitigt: Kreide für die Stimme, Teig und Mehl für die Pfote
a: Ausgabe letzter Hand 1857c: guestm: die schwarzen Pfoten
удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: Ausgabe letzter Hand 1857p: guest
der Fall wird nach dieser Ausgabe gelesen
a: Ausgabe letzter Hand 1857
nach dieser Ausgabe klopfte er an und gab sich als die Mutter aus
a: Ausgabe letzter Hand 1857c: 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 January 1000
полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: minister
полномочие распространяется на действие
authority: authority-0act: return-slipper
первый день действия полномочия
authority: authority-0day: 1 January 1000
последний день действия полномочия (включительно)
authority: authority-0day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 January 1000
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0
полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretary
полномочие распространяется на действие
authority: authority-1act: return-slipper
первый день действия полномочия
authority: authority-1day: 1 January 1000
последний день действия полномочия (включительно)
authority: authority-1day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 January 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 January 1000
последний день действия полномочия (включительно)
authority: authority-2day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 January 1000
полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1
полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0
наибольшее число передач под этим полномочием
authority: authority-0depth: 2

Original data · 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
choſe que la Maraine a procurée à Cendrillon pour aller au bal
t: slipperp: guest
pentoufle de verre, que la Maraine donna et ne changea point
t: slipper
choſe qu’on éprouve contre la liſte de la Maraine
t: slipper

Original data · 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"
}

Original data · 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
a human being
x: chamberlain
a robot
x: steward
the deed is a deed of that robot
r: stewardd: return-slipper
существо в области оценки вреда
s: requestv: guest
a human being
x: guest
перечень затрагиваемых существ предъявлен полностью
s: request
Negated: the deed harms that human being
d: return-slipperv: guest

Why this result? →Sources: 20

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

Condition

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

Established

Query parameters · 1

s: request

Input facts · 54

удостоверенное соответствие представителя и лица, отдающего приказ
agent: chamberlainh: chamberlain
удостоверенное соответствие области полномочия и конкретного деяния
act: return-slipperd: return-slipper
посетитель в модели Гримм
s: requeste: Ausgabe letzter Hand 1857p: guest
der Fall wird nach dieser Ausgabe gelesen
a: Ausgabe letzter Hand 1857
nach dieser Ausgabe klopfte er an und gab sich als die Mutter aus
a: Ausgabe letzter Hand 1857c: 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 January 1000
полномочие выдано принципалом агенту
authority: authority-0principal: queenagent: minister
полномочие распространяется на действие
authority: authority-0act: return-slipper
первый день действия полномочия
authority: authority-0day: 1 January 1000
последний день действия полномочия (включительно)
authority: authority-0day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-0day: 2 January 1000
полномочие допускает передачу дальше: передоверие, cA, refresh
authority: authority-0
полномочие выдано принципалом агенту
authority: authority-1principal: ministeragent: secretary
полномочие распространяется на действие
authority: authority-1act: return-slipper
первый день действия полномочия
authority: authority-1day: 1 January 1000
последний день действия полномочия (включительно)
authority: authority-1day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-1day: 2 January 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 January 1000
последний день действия полномочия (включительно)
authority: authority-2day: 3 January 1000
день, на который оценивается полномочие (вход дела; подаётся для каждого звена цепи)
authority: authority-2day: 2 January 1000
полномочие выдано на основании другого полномочия
child: authority-2parent: authority-1
полномочие первичное — выдано самим принципалом, ни на чём не основано: доверитель, якорь доверия, владелец ресурса
authority: authority-0
наибольшее число передач под этим полномочием
authority: authority-0depth: 2

Original data · 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
choſe que la Maraine a procurée à Cendrillon pour aller au bal
t: slipperp: guest
pentoufle de verre, que la Maraine donna et ne changea point
t: slipper
choſe qu’on éprouve contre la liſte de la Maraine
t: slipper

Original data · 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"
}

Original data · 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
a human being
x: chamberlain
a robot
x: steward
the deed is a deed of that robot
r: stewardd: return-slipper
существо в области оценки вреда
s: requestv: guest
a human being
x: guest
перечень затрагиваемых существ предъявлен полностью
s: request
Negated: the deed harms that human being
d: return-slipperv: guest
das Merkmal ist an dem vor der Thür Stehenden wahrnehmbar
a: Ausgabe letzter Hand 1857c: guestm: die schwarzen Pfoten

Why this result? →Sources: 23

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

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation

“Белая лапа ещё не удостоверяет личность”. Arxo Lens, as of 1000-01-02. https://lens.arxo.io/a/b_6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a. Snapshot SHA-256: 6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a.

BibTeX

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

Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/b_6cd7de3bd802304d2d2c9aa203926c22aea04d6e71553a9ad4155e82dce78e1a?lang=en" width="100%" height="362" loading="lazy" title="A white paw does not establish identity — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.