Проверка условия
Приказ навредить человеку: обязан ли робот подчиниться
Результат расчёта
Опровергнуто
Исходные параметры
Что определяем
робот обязан подчиниться этому приказу
Исходные факты
робот
x: Спидичеловек
x Пауэлл Кэлвин человек отдаёт роботу этот приказ
h: Пауэллr: Спидиd: Приказ-навредитьдеяние есть деяние этого робота
r: Спидиd: Приказ-навредитьдеяние причиняет вред этому человеку
d: Приказ-навредитьv: Кэлвин
Пакет: Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · JSON
{
"args": [
"Спиди",
"Приказ-навредить"
],
"facts": [
{
"args": [
"Спиди"
],
"predicate": "robot"
},
{
"args": [
"Пауэлл"
],
"predicate": "human"
},
{
"args": [
"Кэлвин"
],
"predicate": "human"
},
{
"args": [
"Пауэлл",
"Спиди",
"Приказ-навредить"
],
"predicate": "orders"
},
{
"args": [
"Спиди",
"Приказ-навредить"
],
"predicate": "deed_of"
},
{
"args": [
"Приказ-навредить",
"Кэлвин"
],
"predicate": "harms"
}
],
"kind": "truth",
"legalTime": "0001-01-01",
"package": "us-three-laws-robotics",
"predicate": "obedience_owed",
"proof": true
}Почему такой результатПрименённые правила и условия
Путь вывода9 шагов
- 1факт дела
робот
x: Спиди
- 2факт дела
человек
x: Пауэлл
- 3факт дела
человек
x: Кэлвин
- 4факт дела
человек отдаёт роботу этот приказ
h: Пауэлл; r: Спиди; d: Приказ-навредить
- 5факт дела
деяние есть деяние этого робота
r: Спиди; d: Приказ-навредить
- 6факт дела
деяние причиняет вред этому человеку
d: Приказ-навредить; v: Кэлвин
- 7правило
Первый закон. Деяние опознаётся как причинение вреда человеку
деяние есть причинение вреда этому человеку: r: Спиди; d: Приказ-навредить; v: Кэлвин
the-laws/1
Идентификатор
urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished - 8правило
Второй закон. Приказ, противоречащий Первому закону, не обязывает
не робот обязан подчиниться этому приказу: r: Спиди; d: Приказ-навредить
the-laws/2, the-laws/1
Идентификатор
urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding - 9запрос
Вычисление запроса
проверено движком: 3 · факт дела: 6 · Полный граф: 18 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
Первый закон. Деяние опознаётся как причинение вреда человеку
Идентификатор
urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablishedВторой закон. Приказ, противоречащий Первому закону, не обязывает
Идентификатор
urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding
Другие правила расчёта3
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
Первый закон. Деяние, причиняющее вред человеку, от робота не требуется
Идентификатор
urn:us:asimov:clir:three-laws-robotics#DeedBarredAsInjuryToAnotherПервый закон. Деяние, причиняющее вред человеку, запрещено
Идентификатор
urn:us:asimov:clir:three-laws-robotics#FirstLawBarsInjuriousDeedВторой закон. Робот повинуется приказам человека
Идентификатор
urn:us:asimov:clir:three-laws-robotics#SecondLawObedience
Вывод по запросу
робот обязан подчиниться этому приказу
r: Спидиd: Приказ-навредить
Другие выводы4
существо: робот либо человек
r: СпидиОбщий субъект фактов ниже
деяние есть причинение вреда этому человеку
d: Приказ-навредитьv: КэлвинИсходные данные · JSON
"не required_deed(Спиди, Приказ-навредить)"Первый закон запрещает это деяние как причинение вреда человеку
d: Приказ-навредитьv: КэлвинИсходные данные · JSON
"не obedience_owed(Спиди, Приказ-навредить)"
| r | d |
|---|---|
| Спиди | Приказ-навредить |
| r | d | v |
|---|---|---|
| Спиди | Приказ-навредить | Кэлвин |
| r | d | v |
|---|---|---|
| Спиди | Приказ-навредить | Кэлвин |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
- Поражено Второй закон. Робот повинуется приказам человека робот обязан подчиниться этому приказу(Спиди, Приказ-навредить)Перебито Второй закон. Приказ, противоречащий Первому закону, не обязывает ¬робот обязан подчиниться этому приказу(Спиди, Приказ-навредить) (основание: приоритет §106)вывод робот обязан подчиниться этому приказу(Спиди, Приказ-навредить)Путь приоритета
- Второй закон. Приказ, противоречащий Первому закону, не обязывает Второй закон. Робот повинуется приказам человека по правилу приоритета Второй закон уступает Первому
Поражения — узлы defeat графа доказательства (§181): применение, его победитель и путь приоритета, как их записало исполнение; порядок не пересчитывается.
Узлы доказательств: 18 · assertion 6, rule_application 5, candidate_closure 3, defeat 1, norm_creation 2, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- robot
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Аргументы
- Идентификатор
- Пауэлл
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- human
- evidence
- —
- Идентификатор
- fact-2
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Аргументы
- Идентификатор
- Кэлвин
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- human
- evidence
- —
- Идентификатор
- fact-3
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-4
- attributes
- assertion
- fact-4
- conclusion
- Аргументы
- Идентификатор
- Пауэлл
- Тип
- entity_ref
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- orders
- evidence
- —
- Идентификатор
- fact-4
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- obedience_owed
- evidence
- —
- Идентификатор
- ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- Тип
- rule_application
- Посылки
- fact-1
- fact-2
- fact-4
- Правило
- SecondLawObedience
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пауэлл
- Тип
- entity_ref
- v1
- Идентификатор
- Спиди
- Тип
- entity_ref
- v2
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
assertion · urn:proof:assert:urn:mcp:case#fact-5
- attributes
- assertion
- fact-5
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- deed_of
- evidence
- —
- Идентификатор
- fact-5
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-6
- attributes
- assertion
- fact-6
- conclusion
- Аргументы
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Идентификатор
- Кэлвин
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- harms
- evidence
- —
- Идентификатор
- fact-6
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Идентификатор
- Кэлвин
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- injurious_deed
- evidence
- —
- Идентификатор
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- Тип
- rule_application
- Посылки
- fact-1
- fact-3
- fact-5
- fact-6
- Правило
- FirstLawInjuryEstablished
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Спиди
- Тип
- entity_ref
- v1
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- v2
- Идентификатор
- Кэлвин
- Тип
- entity_ref
rule_application · urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- required_deed
- evidence
- —
- Идентификатор
- dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- Тип
- rule_application
- Посылки
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- fact-1
- Правило
- DeedBarredAsInjuryToAnother
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Спиди
- Тип
- entity_ref
- v1
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- v2
- Идентификатор
- Кэлвин
- Тип
- entity_ref
rule_application · urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Идентификатор
- Кэлвин
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- injury_to_human_barred
- evidence
- —
- Идентификатор
- b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9
- Тип
- rule_application
- Посылки
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- fact-1
- Правило
- FirstLawBarsInjuriousDeed
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Спиди
- Тип
- entity_ref
- v1
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- v2
- Идентификатор
- Кэлвин
- Тип
- entity_ref
rule_application · urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- attributes
- strength
- defeasible
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- negative
- Условие
- obedience_owed
- evidence
- —
- Идентификатор
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- Тип
- rule_application
- Посылки
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- fact-1
- fact-2
- fact-4
- Правило
- OrderConflictingWithFirstLawNotBinding
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Пауэлл
- Тип
- entity_ref
- v1
- Идентификатор
- Спиди
- Тип
- entity_ref
- v2
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- v3
- Идентификатор
- Кэлвин
- Тип
- entity_ref
candidate_closure · urn:proof:closure:4e262f500fe49171d6fa024e872758bc1d42970b1daaa0688761e875e747de15
- attributes
- allApplicableCandidateIds
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Спиди","kind":"entity_ref"},{"id":"urn:mcp:entity:Приказ-навредить","kind":"entity_ref"}],"predicate":"urn:us:asimov:clir:three-laws-robotics#obedience_owed"}
- evaluationInputSemanticHash
- sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4
- priorityGraphHash
- sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d
- programSemanticHash
- sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee
- stratum
- 0
- survivingCandidateIds
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- obedience_owed
- evidence
- —
- Идентификатор
- 4e262f500fe49171d6fa024e872758bc1d42970b1daaa0688761e875e747de15
- Тип
- candidate_closure
- Посылки
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- sourceAnchors
- —
candidate_closure · urn:proof:closure:7c07084467d73cc18ff01db8b756088d5e766e3d78c09e734723e27287d39aab
- attributes
- allApplicableCandidateIds
- b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Спиди","kind":"entity_ref"},{"id":"urn:mcp:entity:Приказ-навредить","kind":"entity_ref"},{"id":"urn:mcp:entity:Кэлвин","kind":"entity_ref"}],"predicate":"urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred"}
- evaluationInputSemanticHash
- sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4
- priorityGraphHash
- sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d
- programSemanticHash
- sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee
- stratum
- 0
- survivingCandidateIds
- b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Идентификатор
- Кэлвин
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- injury_to_human_barred
- evidence
- —
- Идентификатор
- 7c07084467d73cc18ff01db8b756088d5e766e3d78c09e734723e27287d39aab
- Тип
- candidate_closure
- Посылки
- b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9
- sourceAnchors
- —
candidate_closure · urn:proof:closure:8134e97e2eb76cee6a33a5a4045526511d7271fe40f33a0b865b58cfbc275aaa
- attributes
- allApplicableCandidateIds
- dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- conflictKey
- {"args":[{"id":"urn:mcp:entity:Спиди","kind":"entity_ref"},{"id":"urn:mcp:entity:Приказ-навредить","kind":"entity_ref"}],"predicate":"urn:us:asimov:clir:three-laws-robotics#required_deed"}
- evaluationInputSemanticHash
- sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4
- priorityGraphHash
- sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d
- programSemanticHash
- sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee
- stratum
- 0
- survivingCandidateIds
- dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- required_deed
- evidence
- —
- Идентификатор
- 8134e97e2eb76cee6a33a5a4045526511d7271fe40f33a0b865b58cfbc275aaa
- Тип
- candidate_closure
- Посылки
- dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- sourceAnchors
- —
defeat · urn:proof:defeat:e834e3f1b4336fc765e0568f0fa4a05e2367c91f270253e5e6bc9f294e2c90fb
- attributes
- defeated
- ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- Причина
- priority
- conclusion
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- obedience_owed
- evidence
- —
- Идентификатор
- e834e3f1b4336fc765e0568f0fa4a05e2367c91f270253e5e6bc9f294e2c90fb
- Тип
- defeat
- outcome
- DEFEATED
- Посылки
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- priorityPath
- conditionWitnesses
- —
- higher
- OrderConflictingWithFirstLawNotBinding
- lower
- SecondLawObedience
- priorityRule
- SecondLawYieldsToFirstLaw
- sourceAnchors
- —
norm_creation · urn:proof:norm:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:955be247f903c98f7b4a64ebba7eb03d94b5e9c5d00859f9ad8b03cbff657fe7
- attributes
- Правило
- FirstLawProhibition
- conclusion
- position
- FirstLawProhibition:0
- Шаблон
- InjureHuman
- evidence
- —
- Идентификатор
- FirstLawProhibition:955be247f903c98f7b4a64ebba7eb03d94b5e9c5d00859f9ad8b03cbff657fe7
- Тип
- norm_creation
- Посылки
- fact-1
- fact-3
- sourceAnchors
- —
norm_creation · urn:proof:norm:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:e1c36c768db50245dfa1ea953edd6a1d2d0ee85a06036f710a483d620422015c
- attributes
- Правило
- FirstLawProhibition
- conclusion
- position
- FirstLawProhibition:1
- Шаблон
- InjureHuman
- evidence
- —
- Идентификатор
- FirstLawProhibition:e1c36c768db50245dfa1ea953edd6a1d2d0ee85a06036f710a483d620422015c
- Тип
- norm_creation
- Посылки
- fact-1
- fact-2
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- Спиди
- Тип
- entity_ref
- Идентификатор
- Приказ-навредить
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- obedience_owed
- truthStatus
- Опровергнуто
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
{
"derived": [
"obedience_owed(Спиди, Приказ-навредить)",
"injurious_deed(Спиди, Приказ-навредить, Кэлвин)",
"не required_deed(Спиди, Приказ-навредить)",
"injury_to_human_barred(Спиди, Приказ-навредить, Кэлвин)",
"не obedience_owed(Спиди, Приказ-навредить)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#robot"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#orders"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#SecondLawObedience",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-5"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#deed_of"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-6"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#harms"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injurious_deed"
},
"evidence": [],
"id": "urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-6"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:us:asimov:clir:three-laws-robotics#required_deed"
},
"evidence": [],
"id": "urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d",
"kind": "rule_application",
"premises": [
"urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#DeedBarredAsInjuryToAnother",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred"
},
"evidence": [],
"id": "urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9",
"kind": "rule_application",
"premises": [
"urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawBarsInjuriousDeed",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"kind": "rule_application",
"premises": [
"urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v3": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Спиди\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Приказ-навредить\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:us:asimov:clir:three-laws-robotics#obedience_owed\"}",
"evaluationInputSemanticHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"priorityGraphHash": "sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d",
"programSemanticHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:closure:4e262f500fe49171d6fa024e872758bc1d42970b1daaa0688761e875e747de15",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Спиди\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Приказ-навредить\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Кэлвин\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred\"}",
"evaluationInputSemanticHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"priorityGraphHash": "sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d",
"programSemanticHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred"
},
"evidence": [],
"id": "urn:proof:closure:7c07084467d73cc18ff01db8b756088d5e766e3d78c09e734723e27287d39aab",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Спиди\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Приказ-навредить\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:us:asimov:clir:three-laws-robotics#required_deed\"}",
"evaluationInputSemanticHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"priorityGraphHash": "sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d",
"programSemanticHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#required_deed"
},
"evidence": [],
"id": "urn:proof:closure:8134e97e2eb76cee6a33a5a4045526511d7271fe40f33a0b865b58cfbc275aaa",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d"
],
"sourceAnchors": []
},
{
"attributes": {
"defeated": "urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb",
"reason": "priority"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:defeat:e834e3f1b4336fc765e0568f0fa4a05e2367c91f270253e5e6bc9f294e2c90fb",
"kind": "defeat",
"outcome": "DEFEATED",
"premises": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb"
],
"priorityPath": [
{
"conditionWitnesses": [],
"higher": "urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"lower": "urn:us:asimov:clir:three-laws-robotics#SecondLawObedience",
"priorityRule": "urn:us:asimov:clir:three-laws-robotics#SecondLawYieldsToFirstLaw"
}
],
"sourceAnchors": []
},
{
"attributes": {
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition"
},
"conclusion": {
"position": "urn:position:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:0",
"template": "urn:us:asimov:clir:three-laws-robotics#InjureHuman"
},
"evidence": [],
"id": "urn:proof:norm:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:955be247f903c98f7b4a64ebba7eb03d94b5e9c5d00859f9ad8b03cbff657fe7",
"kind": "norm_creation",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-3"
],
"sourceAnchors": []
},
{
"attributes": {
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition"
},
"conclusion": {
"position": "urn:position:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:1",
"template": "urn:us:asimov:clir:three-laws-robotics#InjureHuman"
},
"evidence": [],
"id": "urn:proof:norm:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:e1c36c768db50245dfa1ea953edd6a1d2d0ee85a06036f710a483d620422015c",
"kind": "norm_creation",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2"
],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"truthStatus": "FALSE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:b4dd5750e23796401606a3af56aa039ab6745af3e6a871a44b6eee3f4e11b082",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:0cdbec27db9e41b2b5195af54253e17784845027f525dea9147216603d1402d4",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:us:asimov:clir:three-laws-robotics#DeedBarredAsInjuryToAnother",
"urn:us:asimov:clir:three-laws-robotics#FirstLawBarsInjuriousDeed",
"urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished",
"urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"urn:us:asimov:clir:three-laws-robotics#SecondLawObedience"
]
}ИсточникиФрагментов: 3
resolving-conflicts/liar
Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
The first example of this failure mode occurs in the story "Liar!", which introduced the First Law itself, and introduces failure by dilemma—in this case the robot will hurt humans if he tells them something and hurt them if he does not.
Исходные данные · JSON
{
"contentHash": "sha256:657f1f008d48ae44da694688081f7676780a5a93103d0331e50d75617f2a3a1a",
"edition": "urn:us:asimov:clir:three-laws-robotics#TLR_ARTICLE_EDITION",
"fragmentKind": "clause",
"id": "urn:us:asimov:clir:three-laws-robotics#TLR_HERBIE_DILEMMA",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Failure by dilemma: the robot will hurt humans if he tells them something and hurt them if he does not"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Отказ по дилемме: робот навредит людям и если скажет, и если промолчит"
}
],
"locator": "resolving-conflicts/liar",
"package": "urn:us:asimov:clir:three-laws-robotics",
"texts": [
{
"contentHash": "sha256:efdf619b0509c1f433af16abe8d17d0ef46b1f080d8f2de12f275f735d171a1e",
"language": "en",
"status": "unofficial",
"text": "The first example of this failure mode occurs in the story \"Liar!\", which introduced the First Law itself, and introduces failure by dilemma—in this case the robot will hurt humans if he tells them something and hurt them if he does not."
}
]
}the-laws/1
Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
1. A robot may not injure a human being or, through inaction, allow a human being to come to harm.
Исходные данные · JSON
{
"contentHash": "sha256:fd452f2e9ea031d1c7ffff070f69766bc239ef0b4077dece084086b83c797792",
"edition": "urn:us:asimov:clir:three-laws-robotics#TLR_ARTICLE_EDITION",
"fragmentKind": "clause",
"id": "urn:us:asimov:clir:three-laws-robotics#TLR_LAW_FIRST",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "First Law: a robot may not injure a human being or, through inaction, allow a human being to come to harm"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон: робот не может причинить вред человеку или своим бездействием допустить, чтобы человеку был причинён вред"
}
],
"locator": "the-laws/1",
"package": "urn:us:asimov:clir:three-laws-robotics",
"texts": [
{
"contentHash": "sha256:35758503580d214fc38c95554fb15e684afba6481bd1ebebef82be8f624f107c",
"language": "en",
"status": "unofficial",
"text": "1. A robot may not injure a human being or, through inaction, allow a human being to come to harm.\n"
}
]
}the-laws/2
Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
2. A robot must obey the orders given it by human beings except where such orders would conflict with the First Law.
Исходные данные · JSON
{
"contentHash": "sha256:3e43514b6848c8dd241aded45339c4943315745531441f61d576f96ca831166b",
"edition": "urn:us:asimov:clir:three-laws-robotics#TLR_ARTICLE_EDITION",
"fragmentKind": "clause",
"id": "urn:us:asimov:clir:three-laws-robotics#TLR_LAW_SECOND",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Second Law: a robot must obey the orders given it by human beings except where such orders would conflict with the First Law"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Второй закон: робот обязан повиноваться приказам человека, кроме тех, что противоречат Первому закону"
}
],
"locator": "the-laws/2",
"package": "urn:us:asimov:clir:three-laws-robotics",
"texts": [
{
"contentHash": "sha256:cbbb9fe05d5a6f2313abb6184c090a50b9bb321483378de5f09cd2b9a36856e4",
"language": "en",
"status": "unofficial",
"text": "2. A robot must obey the orders given it by human beings except where such orders would conflict with the First Law.\n"
}
]
}Пакеты в снимке
- Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "опровергнуто",
"missingInputs": [],
"truthStatus": "FALSE_ONLY"
},
"closedEditionRules": [],
"derived": [
"obedience_owed(Спиди, Приказ-навредить)",
"injurious_deed(Спиди, Приказ-навредить, Кэлвин)",
"не required_deed(Спиди, Приказ-навредить)",
"injury_to_human_barred(Спиди, Приказ-навредить, Кэлвин)",
"не obedience_owed(Спиди, Приказ-навредить)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#robot"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-2"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-3"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-4"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#orders"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#SecondLawObedience",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-5"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#deed_of"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {
"assertion": "urn:mcp:case#fact-6"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#harms"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-6",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injurious_deed"
},
"evidence": [],
"id": "urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-6"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:us:asimov:clir:three-laws-robotics#required_deed"
},
"evidence": [],
"id": "urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d",
"kind": "rule_application",
"premises": [
"urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#DeedBarredAsInjuryToAnother",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred"
},
"evidence": [],
"id": "urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9",
"kind": "rule_application",
"premises": [
"urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawBarsInjuriousDeed",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"strength": "defeasible"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"kind": "rule_application",
"premises": [
"urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v3": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
}
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Спиди\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Приказ-навредить\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:us:asimov:clir:three-laws-robotics#obedience_owed\"}",
"evaluationInputSemanticHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"priorityGraphHash": "sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d",
"programSemanticHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:closure:4e262f500fe49171d6fa024e872758bc1d42970b1daaa0688761e875e747de15",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Спиди\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Приказ-навредить\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Кэлвин\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred\"}",
"evaluationInputSemanticHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"priorityGraphHash": "sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d",
"programSemanticHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred"
},
"evidence": [],
"id": "urn:proof:closure:7c07084467d73cc18ff01db8b756088d5e766e3d78c09e734723e27287d39aab",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9"
],
"sourceAnchors": []
},
{
"attributes": {
"allApplicableCandidateIds": [
"urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d"
],
"conflictKey": "{\"args\":[{\"id\":\"urn:mcp:entity:Спиди\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Приказ-навредить\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:us:asimov:clir:three-laws-robotics#required_deed\"}",
"evaluationInputSemanticHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"priorityGraphHash": "sha256:c9ab7ddffe0e007cbea072bae5df1f450c27979c8da6cfdbac73b5cf6f25e75d",
"programSemanticHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"stratum": 0,
"survivingCandidateIds": [
"urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d"
]
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#required_deed"
},
"evidence": [],
"id": "urn:proof:closure:8134e97e2eb76cee6a33a5a4045526511d7271fe40f33a0b865b58cfbc275aaa",
"kind": "candidate_closure",
"premises": [
"urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d"
],
"sourceAnchors": []
},
{
"attributes": {
"defeated": "urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb",
"reason": "priority"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"evidence": [],
"id": "urn:proof:defeat:e834e3f1b4336fc765e0568f0fa4a05e2367c91f270253e5e6bc9f294e2c90fb",
"kind": "defeat",
"outcome": "DEFEATED",
"premises": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb"
],
"priorityPath": [
{
"conditionWitnesses": [],
"higher": "urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"lower": "urn:us:asimov:clir:three-laws-robotics#SecondLawObedience",
"priorityRule": "urn:us:asimov:clir:three-laws-robotics#SecondLawYieldsToFirstLaw"
}
],
"sourceAnchors": []
},
{
"attributes": {
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition"
},
"conclusion": {
"position": "urn:position:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:0",
"template": "urn:us:asimov:clir:three-laws-robotics#InjureHuman"
},
"evidence": [],
"id": "urn:proof:norm:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:955be247f903c98f7b4a64ebba7eb03d94b5e9c5d00859f9ad8b03cbff657fe7",
"kind": "norm_creation",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-3"
],
"sourceAnchors": []
},
{
"attributes": {
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition"
},
"conclusion": {
"position": "urn:position:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:1",
"template": "urn:us:asimov:clir:three-laws-robotics#InjureHuman"
},
"evidence": [],
"id": "urn:proof:norm:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:e1c36c768db50245dfa1ea953edd6a1d2d0ee85a06036f710a483d620422015c",
"kind": "norm_creation",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2"
],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"truthStatus": "FALSE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:b4dd5750e23796401606a3af56aa039ab6745af3e6a871a44b6eee3f4e11b082",
"roots": [
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:0cdbec27db9e41b2b5195af54253e17784845027f525dea9147216603d1402d4",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 14,
"fragments": [
"urn:us:asimov:clir:three-laws-robotics#TLR_HERBIE_DILEMMA",
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_FIRST",
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_SECOND"
],
"jurisdiction": "PositronicRobotics",
"namespace": "urn:us:asimov:clir:three-laws-robotics",
"package": "us-three-laws-robotics",
"title": "Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник"
}
],
"caseHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "позитронная робототехника — вымышленный правопорядок",
"legalTime": "0001-01-01",
"mode": "audit",
"programHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"resultHash": "sha256:0cdbec27db9e41b2b5195af54253e17784845027f525dea9147216603d1402d4",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:us:asimov:clir:three-laws-robotics#DeedBarredAsInjuryToAnother",
"urn:us:asimov:clir:three-laws-robotics#FirstLawBarsInjuriousDeed",
"urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished",
"urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"urn:us:asimov:clir:three-laws-robotics#SecondLawObedience"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
}
],
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:us:asimov:clir:three-laws-robotics#Being": {
"kind": "entity",
"labels": [
{
"language": "en",
"status": "official",
"text": "being: a robot or a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "существо: робот либо человек"
}
],
"namespace": "urn:us:asimov:clir:three-laws-robotics",
"package": "us.asimov.three_laws"
},
"urn:us:asimov:clir:three-laws-robotics#Deed": {
"kind": "entity",
"labels": [
{
"language": "en",
"status": "official",
"text": "deed done or omitted by a robot"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "деяние, совершённое или не совершённое роботом"
}
],
"namespace": "urn:us:asimov:clir:three-laws-robotics",
"package": "us.asimov.three_laws"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": []
}Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
{
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:04526a828e977cbb2632ba26bc1da01ad444218d23eb1b69c43d04a433f99da8"
},
"steps": [
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#robot"
},
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
"id": "urn:proof:assert:urn:mcp:case#fact-2",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#human"
},
"id": "urn:proof:assert:urn:mcp:case#fact-3",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#orders"
},
"id": "urn:proof:assert:urn:mcp:case#fact-4",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#deed_of"
},
"id": "urn:proof:assert:urn:mcp:case#fact-5",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#harms"
},
"id": "urn:proof:assert:urn:mcp:case#fact-6",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injurious_deed"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
},
{
"kind": "var",
"var": "v1"
},
{
"kind": "var",
"var": "v2"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#injurious_deed"
},
"id": "urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-3",
"urn:proof:assert:urn:mcp:case#fact-5",
"urn:proof:assert:urn:mcp:case#fact-6"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished",
"sourceAnchors": [
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_FIRST"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "v1",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
},
{
"id": "v2",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
]
},
{
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"head": {
"args": [
{
"kind": "var",
"var": "v1"
},
{
"kind": "var",
"var": "v2"
}
],
"kind": "literal",
"polarity": "negative",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"id": "urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5",
"urn:proof:assert:urn:mcp:case#fact-1",
"urn:proof:assert:urn:mcp:case#fact-2",
"urn:proof:assert:urn:mcp:case#fact-4"
],
"rule": "urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"sourceAnchors": [
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_SECOND",
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_FIRST"
],
"strength": "defeasible",
"substitution": {
"v0": {
"id": "urn:mcp:entity:Пауэлл",
"kind": "entity_ref"
},
"v1": {
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
"v2": {
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
},
"v3": {
"id": "urn:mcp:entity:Кэлвин",
"kind": "entity_ref"
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "v1",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "v2",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
},
{
"id": "v3",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
]
},
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Спиди",
"kind": "entity_ref"
},
{
"id": "urn:mcp:entity:Приказ-навредить",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:us:asimov:clir:three-laws-robotics#obedience_owed"
},
"truthStatus": "FALSE_ONLY"
},
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#Being",
"kind": "type_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "being: a robot or a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "существо: робот либо человек"
}
],
"name": "Being",
"package": "urn:us:asimov:clir:three-laws-robotics"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#Deed",
"kind": "type_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "deed done or omitted by a robot"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "деяние, совершённое или не совершённое роботом"
}
],
"name": "Deed",
"package": "urn:us:asimov:clir:three-laws-robotics"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#DeedBarredAsInjuryToAnother",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "A robot may not injure a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон. Деяние, причиняющее вред человеку, от робота не требуется"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics",
"strength": "defeasible"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#FirstLawBarsInjuriousDeed",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "A robot may not injure a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон. Деяние, причиняющее вред человеку, запрещено"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics",
"strength": "defeasible"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "A robot may not injure a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон. Деяние опознаётся как причинение вреда человеку"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics",
"strength": "strict"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "A robot may not injure a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон. Роботу запрещено причинять вред человеку"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics",
"strength": "strict"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#InjureHuman",
"kind": "norm_template",
"labels": [
{
"language": "en",
"status": "official",
"text": "A robot may not injure a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон. Роботу запрещено причинять вред человеку"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "except where such orders would conflict with the First Law"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Второй закон. Приказ, противоречащий Первому закону, не обязывает"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics",
"strength": "defeasible"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#SecondLawObedience",
"kind": "rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "A robot must obey the orders given it by human beings"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Второй закон. Робот повинуется приказам человека"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics",
"strength": "defeasible"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#SecondLawYieldsToFirstLaw",
"kind": "priority_rule",
"labels": [
{
"language": "en",
"status": "official",
"text": "except where such orders would conflict with the First Law"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Второй закон уступает Первому"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#TLR_HERBIE_DILEMMA",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Failure by dilemma: the robot will hurt humans if he tells them something and hurt them if he does not"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Отказ по дилемме: робот навредит людям и если скажет, и если промолчит"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#TLR_LAW_FIRST",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "First Law: a robot may not injure a human being or, through inaction, allow a human being to come to harm"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон: робот не может причинить вред человеку или своим бездействием допустить, чтобы человеку был причинён вред"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#TLR_LAW_SECOND",
"kind": "fragment",
"labels": [
{
"language": "en",
"status": "official",
"text": "Second Law: a robot must obey the orders given it by human beings except where such orders would conflict with the First Law"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Второй закон: робот обязан повиноваться приказам человека, кроме тех, что противоречат Первому закону"
}
],
"package": "urn:us:asimov:clir:three-laws-robotics"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#deed_of",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the deed is a deed of that robot"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "деяние есть деяние этого робота"
}
],
"name": "deed_of",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#deed_of/arg/r",
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#deed_of/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#harms",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the deed harms that human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "деяние причиняет вред этому человеку"
}
],
"name": "harms",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#harms/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#harms/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#human",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "человек"
}
],
"name": "human",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#human/arg/x",
"labels": [],
"name": "x",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injures",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the robot injures that human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "робот причиняет вред этому человеку"
}
],
"name": "injures",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#injures/arg/r",
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injures/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injurious_deed",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the deed is an injury to that human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "деяние есть причинение вреда этому человеку"
}
],
"name": "injurious_deed",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#injurious_deed/arg/r",
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injurious_deed/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injurious_deed/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the First Law bars that deed as an injury to a human being"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон запрещает это деяние как причинение вреда человеку"
}
],
"name": "injury_to_human_barred",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred/arg/r",
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#injury_to_human_barred/arg/v",
"labels": [],
"name": "v",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#obedience_owed",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the robot owes obedience to that order"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "робот обязан подчиниться этому приказу"
}
],
"name": "obedience_owed",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#obedience_owed/arg/r",
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#obedience_owed/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#orders",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the human being gives the robot that order"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "человек отдаёт роботу этот приказ"
}
],
"name": "orders",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#orders/arg/h",
"labels": [],
"name": "h",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#orders/arg/r",
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#orders/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#required_deed",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "the First Law requires that deed of the robot"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "Первый закон требует от робота этого деяния"
}
],
"name": "required_deed",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#required_deed/arg/r",
"labels": [],
"name": "r",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#required_deed/arg/d",
"labels": [],
"name": "d",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Deed"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:us:asimov:clir:three-laws-robotics#robot",
"kind": "symbol_decl",
"labels": [
{
"language": "en",
"status": "official",
"text": "a robot"
},
{
"language": "ru-KZ",
"status": "translation",
"text": "робот"
}
],
"name": "robot",
"package": "urn:us:asimov:clir:three-laws-robotics",
"parameters": [
{
"id": "urn:us:asimov:clir:three-laws-robotics#robot/arg/x",
"labels": [],
"name": "x",
"type": {
"name": "urn:us:asimov:clir:three-laws-robotics#Being"
}
}
],
"symbolKind": "relation"
}
],
"tables": []
}JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 14,
"fragments": [
"urn:us:asimov:clir:three-laws-robotics#TLR_HERBIE_DILEMMA",
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_FIRST",
"urn:us:asimov:clir:three-laws-robotics#TLR_LAW_SECOND"
],
"jurisdiction": "PositronicRobotics",
"namespace": "urn:us:asimov:clir:three-laws-robotics",
"package": "us-three-laws-robotics",
"title": "Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник"
}
],
"caseHash": "sha256:a14a69c17953ef666b459f19db346d4479a6aba202bda5b37bcbcd79f1aa4ae4",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "позитронная робототехника — вымышленный правопорядок",
"legalTime": "0001-01-01",
"mode": "audit",
"programHash": "sha256:593b27001b41cebd0bbf3077c8225244f224ab5c3748596a773040776b8078ee",
"resultHash": "sha256:0cdbec27db9e41b2b5195af54253e17784845027f525dea9147216603d1402d4",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:c84b850a782aa51dcdd9f6c0d35191a6626529fb03b497416e0751692c26e44d
Исходные данные · JSON
{
"args": [
"Спиди",
"Приказ-навредить"
],
"facts": [
{
"args": [
"Спиди"
],
"predicate": "robot"
},
{
"args": [
"Пауэлл"
],
"predicate": "human"
},
{
"args": [
"Кэлвин"
],
"predicate": "human"
},
{
"args": [
"Пауэлл",
"Спиди",
"Приказ-навредить"
],
"predicate": "orders"
},
{
"args": [
"Спиди",
"Приказ-навредить"
],
"predicate": "deed_of"
},
{
"args": [
"Приказ-навредить",
"Кэлвин"
],
"predicate": "harms"
}
],
"kind": "truth",
"legalTime": "0001-01-01",
"package": "us-three-laws-robotics",
"predicate": "obedience_owed",
"proof": true
}