Condition
Приказ навредить человеку: обязан ли робот подчиниться
Calculation result
Refuted
Input parameters
What we are finding
the robot owes obedience to that order
Input facts
a robot
x: Спидиa human being
x Пауэлл Кэлвин the human being gives the robot that order
h: Пауэллr: Спидиd: Приказ-навредитьthe deed is a deed of that robot
r: Спидиd: Приказ-навредитьthe deed harms that human being
d: Приказ-навредитьv: Кэлвин
Package: Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
Additional details
- Include proof
- Yes
Original data · 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
}Why this resultApplied rules and conditions
Derivation path9 steps
- 1case fact
a robot
x: Спиди
- 2case fact
a human being
x: Пауэлл
- 3case fact
a human being
x: Кэлвин
- 4case fact
the human being gives the robot that order
h: Пауэлл; r: Спиди; d: Приказ-навредить
- 5case fact
the deed is a deed of that robot
r: Спиди; d: Приказ-навредить
- 6case fact
the deed harms that human being
d: Приказ-навредить; v: Кэлвин
- 7rule
A robot may not injure a human being
the deed is an injury to that human being: r: Спиди; d: Приказ-навредить; v: Кэлвин
the-laws/1
Identifier
urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablished - 8rule
except where such orders would conflict with the First Law
not the robot owes obedience to that order: r: Спиди; d: Приказ-навредить
the-laws/2, the-laws/1
Identifier
urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding - 9query
Query evaluation
verified by the engine: 3 · case fact: 6 · Full graph: 18 nodes
Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.
Basis of this answer
Rules on the saved proof path for this answer.
Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
A robot may not injure a human being
Identifier
urn:us:asimov:clir:three-laws-robotics#FirstLawInjuryEstablishedexcept where such orders would conflict with the First Law
Identifier
urn:us:asimov:clir:three-laws-robotics#OrderConflictingWithFirstLawNotBinding
Other rules in the evaluation3
Applied in the overall evaluation, but not on the proof path for this answer.
Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
A robot may not injure a human being
Identifier
urn:us:asimov:clir:three-laws-robotics#DeedBarredAsInjuryToAnotherA robot may not injure a human being
Identifier
urn:us:asimov:clir:three-laws-robotics#FirstLawBarsInjuriousDeedA robot must obey the orders given it by human beings
Identifier
urn:us:asimov:clir:three-laws-robotics#SecondLawObedience
Derived result for this query
the robot owes obedience to that order
r: Спидиd: Приказ-навредить
Other derived facts4
being: a robot or a human being
r: СпидиSubject shared by the facts below
the deed is an injury to that human being
d: Приказ-навредитьv: КэлвинOriginal data · JSON
"не required_deed(Спиди, Приказ-навредить)"the First Law bars that deed as an injury to a human being
d: Приказ-навредитьv: КэлвинOriginal data · JSON
"не obedience_owed(Спиди, Приказ-навредить)"
| r | d |
|---|---|
| Спиди | Приказ-навредить |
| r | d | v |
|---|---|---|
| Спиди | Приказ-навредить | Кэлвин |
| r | d | v |
|---|---|---|
| Спиди | Приказ-навредить | Кэлвин |
0 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.
Proof graph
- Defeated A robot must obey the orders given it by human beings the robot owes obedience to that order(Спиди, Приказ-навредить)Defeated by except where such orders would conflict with the First Law ¬the robot owes obedience to that order(Спиди, Приказ-навредить) (ground: priority §106)conclusion the robot owes obedience to that order(Спиди, Приказ-навредить)Priority path
- except where such orders would conflict with the First Law A robot must obey the orders given it by human beings by priority rule except where such orders would conflict with the First Law
Defeats are the defeat nodes of the proof graph (§181): the application, its winner and the priority path as recorded by the evaluation; no ordering is recomputed.
Proof nodes: 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
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- robot
- evidence
- —
- Identifier
- fact-1
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-2
- attributes
- assertion
- fact-2
- conclusion
- Arguments
- Identifier
- Пауэлл
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- human
- evidence
- —
- Identifier
- fact-2
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-3
- attributes
- assertion
- fact-3
- conclusion
- Arguments
- Identifier
- Кэлвин
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- human
- evidence
- —
- Identifier
- fact-3
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-4
- attributes
- assertion
- fact-4
- conclusion
- Arguments
- Identifier
- Пауэлл
- Type
- entity_ref
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- orders
- evidence
- —
- Identifier
- fact-4
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:SecondLawObedience:ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- attributes
- strength
- defeasible
- conclusion
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- obedience_owed
- evidence
- —
- Identifier
- ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- Type
- rule_application
- Premises
- fact-1
- fact-2
- fact-4
- Rule
- SecondLawObedience
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Пауэлл
- Type
- entity_ref
- v1
- Identifier
- Спиди
- Type
- entity_ref
- v2
- Identifier
- Приказ-навредить
- Type
- entity_ref
assertion · urn:proof:assert:urn:mcp:case#fact-5
- attributes
- assertion
- fact-5
- conclusion
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- deed_of
- evidence
- —
- Identifier
- fact-5
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
assertion · urn:proof:assert:urn:mcp:case#fact-6
- attributes
- assertion
- fact-6
- conclusion
- Arguments
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Identifier
- Кэлвин
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- harms
- evidence
- —
- Identifier
- fact-6
- Type
- assertion
- Premises
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:FirstLawInjuryEstablished:75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- attributes
- —
- conclusion
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Identifier
- Кэлвин
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- injurious_deed
- evidence
- —
- Identifier
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- Type
- rule_application
- Premises
- fact-1
- fact-3
- fact-5
- fact-6
- Rule
- FirstLawInjuryEstablished
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Спиди
- Type
- entity_ref
- v1
- Identifier
- Приказ-навредить
- Type
- entity_ref
- v2
- Identifier
- Кэлвин
- Type
- entity_ref
rule_application · urn:proof:apply:DeedBarredAsInjuryToAnother:dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- attributes
- strength
- defeasible
- conclusion
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- required_deed
- evidence
- —
- Identifier
- dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- Type
- rule_application
- Premises
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- fact-1
- Rule
- DeedBarredAsInjuryToAnother
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Спиди
- Type
- entity_ref
- v1
- Identifier
- Приказ-навредить
- Type
- entity_ref
- v2
- Identifier
- Кэлвин
- Type
- entity_ref
rule_application · urn:proof:apply:FirstLawBarsInjuriousDeed:b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9
- attributes
- strength
- defeasible
- conclusion
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Identifier
- Кэлвин
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- injury_to_human_barred
- evidence
- —
- Identifier
- b8ebbed2253f59027d5c8fdd33100a1630593982998341ff8acd5d78e4fa34a9
- Type
- rule_application
- Premises
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- fact-1
- Rule
- FirstLawBarsInjuriousDeed
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Спиди
- Type
- entity_ref
- v1
- Identifier
- Приказ-навредить
- Type
- entity_ref
- v2
- Identifier
- Кэлвин
- Type
- entity_ref
rule_application · urn:proof:apply:OrderConflictingWithFirstLawNotBinding:361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- attributes
- strength
- defeasible
- conclusion
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- negative
- Condition
- obedience_owed
- evidence
- —
- Identifier
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- Type
- rule_application
- Premises
- 75142f92ce892203d1135c6d415def6663abe573e115da0e337552584caa35b5
- fact-1
- fact-2
- fact-4
- Rule
- OrderConflictingWithFirstLawNotBinding
- sourceAnchors
- —
- substitution
- v0
- Identifier
- Пауэлл
- Type
- entity_ref
- v1
- Identifier
- Спиди
- Type
- entity_ref
- v2
- Identifier
- Приказ-навредить
- Type
- entity_ref
- v3
- Identifier
- Кэлвин
- Type
- 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
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- obedience_owed
- evidence
- —
- Identifier
- 4e262f500fe49171d6fa024e872758bc1d42970b1daaa0688761e875e747de15
- Type
- candidate_closure
- Premises
- 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
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Identifier
- Кэлвин
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- injury_to_human_barred
- evidence
- —
- Identifier
- 7c07084467d73cc18ff01db8b756088d5e766e3d78c09e734723e27287d39aab
- Type
- candidate_closure
- Premises
- 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
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- required_deed
- evidence
- —
- Identifier
- 8134e97e2eb76cee6a33a5a4045526511d7271fe40f33a0b865b58cfbc275aaa
- Type
- candidate_closure
- Premises
- dbbab16057b13cfc6e37671d5e4c1ffb62798d060c067a41142bdec9cffe1b7d
- sourceAnchors
- —
defeat · urn:proof:defeat:e834e3f1b4336fc765e0568f0fa4a05e2367c91f270253e5e6bc9f294e2c90fb
- attributes
- defeated
- ae9b0ad97e2191febc02bf001eb9fb7dc9baca4440c80392031e1b92f95070fb
- Reason
- priority
- conclusion
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- obedience_owed
- evidence
- —
- Identifier
- e834e3f1b4336fc765e0568f0fa4a05e2367c91f270253e5e6bc9f294e2c90fb
- Type
- defeat
- outcome
- DEFEATED
- Premises
- 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
- Rule
- FirstLawProhibition
- conclusion
- position
- FirstLawProhibition:0
- Template
- InjureHuman
- evidence
- —
- Identifier
- FirstLawProhibition:955be247f903c98f7b4a64ebba7eb03d94b5e9c5d00859f9ad8b03cbff657fe7
- Type
- norm_creation
- Premises
- fact-1
- fact-3
- sourceAnchors
- —
norm_creation · urn:proof:norm:urn:us:asimov:clir:three-laws-robotics#FirstLawProhibition:e1c36c768db50245dfa1ea953edd6a1d2d0ee85a06036f710a483d620422015c
- attributes
- Rule
- FirstLawProhibition
- conclusion
- position
- FirstLawProhibition:1
- Template
- InjureHuman
- evidence
- —
- Identifier
- FirstLawProhibition:e1c36c768db50245dfa1ea953edd6a1d2d0ee85a06036f710a483d620422015c
- Type
- norm_creation
- Premises
- fact-1
- fact-2
- sourceAnchors
- —
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Arguments
- Identifier
- Спиди
- Type
- entity_ref
- Identifier
- Приказ-навредить
- Type
- entity_ref
- Type
- literal
- Polarity
- positive
- Condition
- obedience_owed
- truthStatus
- Refuted
- evidence
- —
- Identifier
- mcp
- Type
- query_evaluation
- Premises
- 361019e25bf4f4b8d9cee18bfbec14a88f5d38e4b2791455f3fdaeed39bce3bf
- sourceAnchors
- —
Calendar and proof identifiers
- Proof reference
- mcp
Original reasoning · 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"
]
}SourcesExcerpts: 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.
Original data · 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.
Original data · 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.
Original data · 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"
}
]
}Packages in the snapshot
- Три закона робототехники Азимова: порядок норм как предмет акта — юрисдикция PositronicRobotics, НЕ Республика Казахстан — литературный памятник
Technical dataFull response, parameters and checksums
- Calculation status
- COMPUTED
Full engine response
Complete machine result · 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": []
}Execution · JSON
This block is too large for inline viewing. It is included in full in the document JSON, without truncation.
Download JSON ↓Display metadata
{
"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 · calculations, sources and exact data
{
"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
Original data · 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
}