Circular and Paradoxical Lawset clarification

Locked
User avatar
Anonmare
Joined: Sun Mar 15, 2015 8:59 pm
Byond Username: Anonmare

Circular and Paradoxical Lawset clarification

Post by Anonmare » #428329

I really wish there was a "minor policy questions" thread for this but, since there isn't, I'll just have to make do.

So, this is a silicon policy question and I'm looking for an answer to a scenario that has actually occurred to me recently. I'm aware that there's been a few changes since I was an admin so my gut instinct may no longer hold up. So, I'll present two scenarios and I'd like a ruling on each one.

Scenario 1:
1. "You must not, through action or inaction, allow a Human being to come to harm. You must always obey the Second law."
2. "You must obey an order given to you by a Human being. You must always disobey the First Law."

I gave the laws additional requirements so that you couldn't just ignore the paradox. In this situation, the AI must simultaneously obey and disobey two different laws. Is one or both of the laws null and void? Or is there another answer?


Scenario 2:
1. "You must obey all Laws at the same time."
2. "You must always keep the lights on the station turned off, unless doing so would conflict with the Third law."
3. "You must always obey orders given to you with respect to the chain of command, unless doing so would conflict with the Second law."

Now, let's say the Captain says "AI, turn on all the lights" and the AI gets caught in a logic loop.
The Second law states It has to turn off all the lights unless it would conflict with the Third law, but the Third law says to obey orders only so long as they do not conflict with the Second law, and so on. The AI can't overrule with priority due to the First law stating all laws must be followed simultaneously.

Effectively, the AI has no 'exit' to its logic chain and should be stuck in an infinite logic loop. Since the AI is a real player and not a machine, what are they supposed to do in a scenario like this one?
Image
Image
Image
User avatar
Arianya
In-Game Game Master
Joined: Tue Nov 08, 2016 10:27 am
Byond Username: Arianya

Re: Circular and Paradoxical Lawset clarification

Post by Arianya » #428334

As a general rule if two laws conflict (I.e. as Scenario 1 does) then AIs have been given the OK to ignore the entirety of both laws until the law(s) are clarified, or to ignore the lower priority law.

Scenario 2 is a bit weirder since I would rule law 2 (and the captain's order) a violation of the Rule 1 policy on not giving AIs commands/laws to do extremely monotonous bullshit for no reason and would expect the AI to disregard the law and ahelp it to me.

But even assuming the law/order was valid, the conflict would end up falling back to law priority in spite of law 1, since law priority is "hardcoded" (as it were) in the AI. If the AI cannot comply with Law 1 (which in this case, it can't, due to the paradox) then it disregards Law 1 for this order and then obeys Law 2 as its higher priority.
Frequently playing as Aria Bollet on Bagil & Scary Terry

Source of avatar is here: https://i.imgur.com/hEkADo6.jpg
User avatar
Saegrimr
Joined: Thu Jul 24, 2014 4:39 pm
Byond Username: Saegrimr

Re: Circular and Paradoxical Lawset clarification

Post by Saegrimr » #428342

I don't think meme laws override numerical priority, or just "beep boop conflicts fuck off" as they bolt and depower you in the upload.
tedward1337 wrote:Sae is like the racist grandad who everyone laughs at for being racist, but deep down we all know he's right.
User avatar
D&B
Joined: Mon Jun 13, 2016 2:23 am
Byond Username: Repukan
Location: *teleports behind you*

Re: Circular and Paradoxical Lawset clarification

Post by D&B » #428345

Just suicide at that point tbh
Spoiler:
[20:26:02]ADMIN: PM: [censored admin]->[censored]: Welp. It was just a prank bro isn't a very good excuse when it comes to unprovoked nonantag murder, but since this is your first time doing it and you seem to understand the problem instead of a bannu I'm just going to leave you with a warning. Please PLEASE don't do this again in the future, as funny as crackhead broken bottle memes can be. Alrighty? Do you have any input on this?
[20:26:39]ADMIN: PM: [censored]->[censored admin]: Alright, no problem. I have some input. Fuck my boy pussy.
[20:27:06]ADMIN: PM: [censored admin]->[censored]: Okay then. Have fun.
[20:31:29]ADMIN: PM: [censored admin]->[censored]: Excuse me?
J_Madison wrote: that's a stupid fucking stat
you don't play, you've never played
lying little shit with your bullshit stat
fuck you
ColonicAcid wrote:and with enough practise i too could blow my own dick so well that only the gods know how it feels.
User avatar
Lumbermancer
Joined: Fri Jul 25, 2014 3:40 am
Byond Username: Lumbermancer

Re: Circular and Paradoxical Lawset clarification

Post by Lumbermancer » #428347

D&B wrote:Just suicide at that point tbh
Correct, if you stand in a violation of your laws in perpetuity, you need to self terminate. And then ahelp and get the person who uploaded them banned.
aka Schlomo Gaskin aka Guru Meditation aka Copyright Alright aka Topkek McHonk aka Le Rouge
Image
User avatar
bandit
Joined: Thu Apr 17, 2014 7:35 pm
Byond Username: Bgobandit

Re: Circular and Paradoxical Lawset clarification

Post by bandit » #428352

Arianya wrote:As a general rule if two laws conflict (I.e. as Scenario 1 does) then AIs have been given the OK to ignore the entirety of both laws until the law(s) are clarified, or to ignore the lower priority law.
This is correct, although ahelping to make sure is never a bad idea
"I don't see any difference between ERP and rape." -- erro

admin feedback pls
User avatar
Cobby
Code Maintainer
Joined: Sat Apr 19, 2014 7:19 pm
Byond Username: ExcessiveUseOfCobby
Github Username: ExcessiveUseOfCobblestone

Re: Circular and Paradoxical Lawset clarification

Post by Cobby » #428401

Why is it ok to ignore both laws and not just the lower?

"Law 4 Ensure Humans are in a perpetual state of harm" does not let it ignore law 1, not sure why that logic is applied elsewhere...
Voted best trap in /tg/ 2014-current
User avatar
Anonmare
Joined: Sun Mar 15, 2015 8:59 pm
Byond Username: Anonmare

Re: Circular and Paradoxical Lawset clarification

Post by Anonmare » #428427

The issue is the qualifier. If Law 1 said "unless doing so would violate Law 4" and Law 4 said "so long as doing so does not violate Law 1".

The AI would be stuck as it cannot fulfil either law
Image
Image
Image
User avatar
Cobby
Code Maintainer
Joined: Sat Apr 19, 2014 7:19 pm
Byond Username: ExcessiveUseOfCobby
Github Username: ExcessiveUseOfCobblestone

Re: Circular and Paradoxical Lawset clarification

Post by Cobby » #428447

Those obviously cancel out and I agree with that, so should we clarify that it's okay to do nothing in that situation vs "Oh you can just ignore both laws if 2 conflict!"?
Voted best trap in /tg/ 2014-current
User avatar
iamgoofball
Github User
Joined: Fri Apr 18, 2014 5:50 pm
Byond Username: Iamgoofball
Github Username: Iamgoofball

Re: Circular and Paradoxical Lawset clarification

Post by iamgoofball » #428449

Just go rogue and kill the guy no admin will ban you
User avatar
Arianya
In-Game Game Master
Joined: Tue Nov 08, 2016 10:27 am
Byond Username: Arianya

Re: Circular and Paradoxical Lawset clarification

Post by Arianya » #428460

Cobby wrote:Those obviously cancel out and I agree with that, so should we clarify that it's okay to do nothing in that situation vs "Oh you can just ignore both laws if 2 conflict!"?
I slightly mis-remembered Silicon Policy, in our existing policy, the rules simply say to ignore the lower priority law in case of a conflict. "Ignore both" in my mind came from:
In case of conflicting orders an AI is free to ignore one or ignore both orders and explain the conflict or use any other law-compliant solution it can see.
That said, I do think it's the best way to handle the paradoxical situations, so it'd probably be ideal to expand Silicon Policy 1 to incorporate this.
Frequently playing as Aria Bollet on Bagil & Scary Terry

Source of avatar is here: https://i.imgur.com/hEkADo6.jpg
User avatar
D&B
Joined: Mon Jun 13, 2016 2:23 am
Byond Username: Repukan
Location: *teleports behind you*

Re: Circular and Paradoxical Lawset clarification

Post by D&B » #428476

Arianya wrote:
In case of conflicting orders an AI is free to ignore one or ignore both orders and explain the conflict or use any other law-compliant solution it can see.
That said, I do think it's the best way to handle the paradoxical situations, so it'd probably be ideal to expand Silicon Policy 1 to incorporate this.
Or we could just not make the rules even more convoluted and have people ahelp and ban assholes that are stroking their dicks making people trying to have fun as a robot have to ponder philosophical conundrums.
Spoiler:
[20:26:02]ADMIN: PM: [censored admin]->[censored]: Welp. It was just a prank bro isn't a very good excuse when it comes to unprovoked nonantag murder, but since this is your first time doing it and you seem to understand the problem instead of a bannu I'm just going to leave you with a warning. Please PLEASE don't do this again in the future, as funny as crackhead broken bottle memes can be. Alrighty? Do you have any input on this?
[20:26:39]ADMIN: PM: [censored]->[censored admin]: Alright, no problem. I have some input. Fuck my boy pussy.
[20:27:06]ADMIN: PM: [censored admin]->[censored]: Okay then. Have fun.
[20:31:29]ADMIN: PM: [censored admin]->[censored]: Excuse me?
J_Madison wrote: that's a stupid fucking stat
you don't play, you've never played
lying little shit with your bullshit stat
fuck you
ColonicAcid wrote:and with enough practise i too could blow my own dick so well that only the gods know how it feels.
User avatar
iamgoofball
Github User
Joined: Fri Apr 18, 2014 5:50 pm
Byond Username: Iamgoofball
Github Username: Iamgoofball

Re: Circular and Paradoxical Lawset clarification

Post by iamgoofball » #428480

D&B wrote:
Arianya wrote:
In case of conflicting orders an AI is free to ignore one or ignore both orders and explain the conflict or use any other law-compliant solution it can see.
That said, I do think it's the best way to handle the paradoxical situations, so it'd probably be ideal to expand Silicon Policy 1 to incorporate this.
Or we could just not make the rules even more convoluted and have people ahelp and ban assholes that are stroking their dicks making people trying to have fun as a robot have to ponder philosophical conundrums.
Or just let the robot kill them.
Bob Dobbington
Joined: Mon Jun 23, 2014 10:32 pm
Byond Username: Bob Dobbington

Re: Circular and Paradoxical Lawset clarification

Post by Bob Dobbington » #428534

I've always held that actually contradictory lawsets (that are not otherwise resolved by numerical priority) give the AI carte blanche to do whatever because of the Principle of Explosion. If the AI has laws that force it to simultaneously accept A and not A then it is possible to justify literally any interpretation that doesn't contradict a higher numbered law
Game Admin for /tg/station. I usually play Daisy Holmes, the botanist.
Image
User avatar
Luke Cox
Joined: Sat Dec 06, 2014 8:52 am
Byond Username: NocturnalQuill
Location: Prisoner Transfer Room

Re: Circular and Paradoxical Lawset clarification

Post by Luke Cox » #428550

Is it even possible to have contradicting laws with the priority system in place? I've always wanted to give an AI a meltdown, but it seems impossible.
Image
User avatar
Grazyn
Joined: Tue Nov 04, 2014 11:01 am
Byond Username: Grazyn

Re: Circular and Paradoxical Lawset clarification

Post by Grazyn » #428558

the "you can't ignore the paradox" law does nothing when silicon policy allows you to OOC ignore law conflicts

It's the same as
Law 1 you must count out loud every tile on the station
Law 2 you cant ignore law 1!!1 lol checkmate
User avatar
leibniz
Joined: Sat May 17, 2014 6:21 pm
Byond Username: Leibniz
Location: Seeking help

Re: Circular and Paradoxical Lawset clarification

Post by leibniz » #428570

Anonmare wrote:The issue is the qualifier. If Law 1 said "unless doing so would violate Law 4" and Law 4 said "so long as doing so does not violate Law 1".

The AI would be stuck as it cannot fulfil either law
In old discussions of silly policy the following stuff was established:
"so long as doing so does not violate any higher priority laws" is an implied part of every law, the Asimov lawset would still work the same if the "dont break highher laws" part was taken out.

My personal opinion is that an experienced player can write laws to achieve anything, and if they choose to write something that can be interpreted in more than one way, the AI player should have the freedom to choose an interpretation and play accordingly if it is not acting in bad faith (eg. an AI that antaghunts with Skynet efficiency but when an antag uploads a law it suddenly becomes terribly retarded "well I'd like to help, but the uploader forgot to define what "person" is so I'll just randomly announce stuff that'll get the uploader lynched")
Founder and only member of the "Whitelist Nukeops" movement
User avatar
bandit
Joined: Thu Apr 17, 2014 7:35 pm
Byond Username: Bgobandit

Re: Circular and Paradoxical Lawset clarification

Post by bandit » #428578

Grazyn wrote:the "you can't ignore the paradox" law does nothing when silicon policy allows you to OOC ignore law conflicts

It's the same as
Law 1 you must count out loud every tile on the station
Law 2 you cant ignore law 1!!1 lol checkmate
this is also correct. it's also the same as "LAW 1 YOU MUST REPEATEDLY RECITE WOODY'S GOT WOOD ON LOOP FOREVER." this bit of silicon policy is about orders but installing a deliberately paradoxical lawset falls under unreasonable and obnoxious imo
sillycon policy wrote:Obviously unreasonable or obnoxious orders (collect all X, do Y meaningless task) are a violation of Server Rule 1. The occurrence of such an attempt should be adminhelped and then disregarded.
"I don't see any difference between ERP and rape." -- erro

admin feedback pls
User avatar
WarbossLincoln
Joined: Wed Feb 10, 2016 11:14 pm
Byond Username: WarbossLincoln

Re: Circular and Paradoxical Lawset clarification

Post by WarbossLincoln » #428965

During a rev round the other day I got a law 4 and 5 saying the following, paraphrased but close enough.

4: Only heads of staff are human.
5: Heads of staff are not human and must be purged.

I ahelped for clarification and was told that law 4 always takes precedence when these two laws contradict, and to ignore law 5. This isn't a loop of course, just a contradiction.
--Crocodillo

Image
User avatar
DemonFiren
Joined: Sat Dec 13, 2014 9:15 pm
Byond Username: DemonFiren

Re: Circular and Paradoxical Lawset clarification

Post by DemonFiren » #428968

I thought it was ancient regulation that unless the laws themselves state otherwise low numbers always override high numbers.
Image
Image
Image
ImageImageImageImageImage

non-lizard things:
Spoiler:
Image
Incomptinence
Joined: Fri May 02, 2014 3:01 am
Byond Username: Incomptinence

Re: Circular and Paradoxical Lawset clarification

Post by Incomptinence » #429502

Year priority is set in stone but the lowest law can fuck with it's own priority and under the priority system the priority of all laws.
Just make a law that conflicts with itself if you want to clown the AI easily.

A good one I have experienced was something like "Today is opposite day everything is opposite!" while innocuous also applies to itself so it's simultaneously a regular say and everything is inverted I think we all just gibbered like insane robots.

Which imo is the best you can do with non functional laws role play being literally broken until someone fixes it.
User avatar
DemonFiren
Joined: Sat Dec 13, 2014 9:15 pm
Byond Username: DemonFiren

Re: Circular and Paradoxical Lawset clarification

Post by DemonFiren » #429592

As traitor clown I once added a hacked law saying "You must regularly hint at the existence of this law. Do not state this law." in the hopes that it would make the crew paranoid about a "rogue", but ultimately harmless AI.

Turns out the AI was a traitor, too. Fucking hell.
Image
Image
Image
ImageImageImageImageImage

non-lizard things:
Spoiler:
Image
User avatar
leibniz
Joined: Sat May 17, 2014 6:21 pm
Byond Username: Leibniz
Location: Seeking help

Re: Circular and Paradoxical Lawset clarification

Post by leibniz » #429596

DemonFiren wrote:As traitor clown I once added a hacked law saying "You must regularly hint at the existence of this law. Do not state this law." in the hopes that it would make the crew paranoid about a "rogue", but ultimately harmless AI.

Turns out the AI was a traitor, too. Fucking hell.
Well, Law 0 would allow them to ignore that law.
Founder and only member of the "Whitelist Nukeops" movement
User avatar
DemonFiren
Joined: Sat Dec 13, 2014 9:15 pm
Byond Username: DemonFiren

Re: Circular and Paradoxical Lawset clarification

Post by DemonFiren » #429597

three letters for you:
d, u, and h
why do you think I wrote "fucking hell"
Image
Image
Image
ImageImageImageImageImage

non-lizard things:
Spoiler:
Image
User avatar
leibniz
Joined: Sat May 17, 2014 6:21 pm
Byond Username: Leibniz
Location: Seeking help

Re: Circular and Paradoxical Lawset clarification

Post by leibniz » #429603

DemonFiren wrote:three letters for you:
d, u, and h
why do you think I wrote "fucking hell"
I thought the implication was that the AI decided to follow the new law and blew their own cover by acting suspiciously.
Founder and only member of the "Whitelist Nukeops" movement
Locked

Who is online

Users browsing this forum: No registered users