News for hackers. Stuff that matters.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by pintxo on Thursday January 26, 2023 @10:12AM (#34532596)
Absolute precision? Have you read any law lately? Legal texts are (to me) surprisingly imprecise.

One wonders why we have not developed something explicit like mathematical notations for legal stuff.

I mean, comma/and/or separated lists in full text? Not even parenthesis? That’s not precision.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by hwillis on Thursday January 26, 2023 @10:29AM (#34532880)
> One wonders why we have not developed something explicit like mathematical notations for legal stuff.

1. Laws are written or at least voted on by representatives, and they don't vote for things that they don't think they understand. Also, they're pretty regularly swapped out and often totally bonkers. Especially at the state level.

2. Things change. Look at how the right of search and seizure is applied to digital data and metadata.

3. Most importantly, the imprecision is intentional. "Beyond all reasonable doubt" has no definition because it is up to the person rendering judgement. The courts decide the bounds of the law, and within those bounds people decide how to apply them.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by whamlastxmas on Thursday January 26, 2023 @10:44AM (#34533139)
> they don't vote for things that they don't think they understand

They don’t even read the things they vote on. They’re huge and it’d be a full time job.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by Dalewyn on Thursday January 26, 2023 @10:45AM (#34533150)
>they don't vote for things that they don't think they understand.

Oh you sweet summer child.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by Nifty3929 on Thursday January 26, 2023 @11:28AM (#34533863)
A recent US president said about a large bill "we have to pass it just to see what's in it."
Re:An AI robot lawyer was set to argue in court. Real lawyer... by gnicholas on Thursday January 26, 2023 @11:39AM (#34534055)
I'm unaware of a President saying that. Sounds more like the Nancy Pelosi (then House Minority Leader, subsequently Speaker of the House), talking about Obamacare: https://www.snopes.com/fact-check/pelosi-healthcare-pass-the...
Re:An AI robot lawyer was set to argue in court. Real lawyer... by snowwrestler on Thursday January 26, 2023 @12:00PM (#34534487)
It was, and the context was the well-known tendency of the Washington press to only cover the fight until a bill passes, and only then turn toward explaining the substance of what just passed.

(It makes sense from the press perspective, as the substance is changing constantly in big bills right up until it passes… that’s what the fight is all about.)

Re:An AI robot lawyer was set to argue in court. Real lawyer... by hgsgm on Thursday January 26, 2023 @01:08PM (#34535892)
It's not about the press, it's about how until a House passes a bill that is sent to reconciliatio, there literally isn't "a bill", there is a constant flux of amendments.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by theflyingelvis on Thursday January 26, 2023 @12:29PM (#34535067)
Re:An AI robot lawyer was set to argue in court. Real lawyer... by some_random on Thursday January 26, 2023 @11:33AM (#34533939)
Laws are absolutely passed without understanding of what's in them, very frequently in fact
Re:An AI robot lawyer was set to argue in court. Real lawyer... by lolinder on Thursday January 26, 2023 @10:19AM (#34532713)
I'm not so much concerned about precision of language (although that does matter in some contexts) as I am in precision of facts and precedence.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by lbriner on Thursday January 26, 2023 @11:01AM (#34533442)
This shows how little experience you have of the legal system. Everyone who doesn't know expects the law to be precise, everyone who works in it knows how imprecise it is and sometimes that is deliberate because of all the variables involved that might mitigate or aggrevate the charge, assuming there even is a charge.

The difference between tax evasion and tax avoidance might be the smallest proveable piece of evidence. A word, an email, an assumption, an ommission etc.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by patentatt on Thursday January 26, 2023 @11:11AM (#34533605)
Sure, but citing a non-existent case would be clearly wrong. That was the hypothetical the post above gave.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by lolinder on Thursday January 26, 2023 @11:49AM (#34534269)
> The difference between tax evasion and tax avoidance might be the smallest proveable piece of evidence. A word, an email, an assumption, an ommission etc.

This seems like evidence that I'm right, not that I'm wrong. The tiniest facts matter, and an AI that is prone to making up facts wholesale would totally screw up a case.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by JumpCrisscross on Thursday January 26, 2023 @10:34AM (#34532966)
> why we have not developed something explicit like mathematical notations for legal stuff

We practically have. What’s an example of imprecise drafting you’re thinking of?

Re:An AI robot lawyer was set to argue in court. Real lawyer... by ravenstine on Thursday January 26, 2023 @10:32AM (#34532937)
Even most software isn't intended to be absolutely precise, but rather to be precise enough for a given task.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by rebuilder on Thursday January 26, 2023 @10:54AM (#34533317)
Laws are meant to be interpreted.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by rhino369 on Thursday January 26, 2023 @10:59AM (#34533404)
>One wonders why we have not developed something explicit like mathematical notations for legal stuff.

Because you have to apply the law to fact and facts lack mathematical precision.

"No vehicles in the park" would require someone to categorize everything in the world into vehicle or !vehicle. Does a wheel chair count?

It's easier to lay out the principle and let judges determine edge cases as they play out.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by phpisthebest on Thursday January 26, 2023 @11:43AM (#34534147)
Even you example is more precise that most laws.

For example Indiana recently changed their Turn signal law from "Must put in on 300 feet before a lane change" to "Must signal in a reasonable time"

WTF is a reasonable time... well what ever time the cop, judge, or prosecutors says it is

Re:An AI robot lawyer was set to argue in court. Real lawyer... by NikolaNovak on Thursday January 26, 2023 @12:00PM (#34534504)
Right.

The programmer in me fumes at that imprecision.

The human in me says "thank God". Because there a myriad valid times you cannot turn on signal 300ft before lane change, but you should always do it in reasonable time :)

If I turn on a new street and there's a car parked 200ft down the lane or if a kid jumps on the road or if I become aware of an obstacle or a car cuts me off or I want to give somebody room at a merge etc etc... I may not be able to do it in 300ft but I should still try to do it in reasonable time.

There's no "winning". Overly precise is inhumane in some scenarios, Overly vague is inhumane in others.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by drdeca on Thursday January 26, 2023 @12:18PM (#34534821)
Perhaps we could both give a vague description, and also a precise condition which is to be considered a sufficient but not necessary condition for the vague condition to be true?

Such as “must signal within a reasonable time (signaling at least 300ft beforehand while not speeding is to be considered a sufficient condition for signaling within a reasonable time)”

Downside: that could make laws even longer.

Hm, what if laws had, like, in a separate document, a list of a number of examples of scenarios along with how the law is to be interpreted in those scenarios? Though I guess that’s maybe kind of the sort of thing that precedent is for?

Re:An AI robot lawyer was set to argue in court. Real lawyer... by imoverclocked on Thursday January 26, 2023 @01:06PM (#34535855)
That sounds like case law? Eg: It’s why we call “Roe v Wade” as we do.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by drdeca on Thursday January 26, 2023 @02:34PM (#34537500)
What’s the difference between “precedent” and “case law”? I had thought that when I said “Though I guess that’s maybe kind of the sort of thing that precedent is for?” that that covered things like citing “Roe v. Wade”.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by imoverclocked on Thursday January 26, 2023 @06:54PM (#34540582)
I’m not a lawyer, I just play one on HN.

I thought precedent was a broader term that also covers accepted practices or processes.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by BoorishBears on Thursday January 26, 2023 @12:29PM (#34535061)
> The human in me says "thank God".

You're more charitable than me: I assume there will be infinitely more times where the imprecision is used for probable cause for a stop, than there will be times where someone was going to pull you over because you properly responded to a road hazard

Re:An AI robot lawyer was set to argue in court. Real lawyer... by NikolaNovak on Thursday January 26, 2023 @02:41PM (#34537612)
Oh fair enough.

But I think there's a difference between "intent of change" and "abuse of change" / "threat surface of the change". Sometimes there's a clear, direct line between the two, but (and this is me being charitable:) I think a lot of the time there isn't. Which is to say, I don't think it's necessarily a contradiction that a) The law was changed to make things better/easier for people while b) In actual real world it can or will be abused a lot to make arbitrary trouble - the latter will depend a lot on place/politics/corruption/culture/societal norms/power balance/etc.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by mountainb on Thursday January 26, 2023 @12:00PM (#34534492)
Reasonable time is determined by case law, and when it's a judge deciding, it's the judge's estimation of what a reasonable juror in that jurisdiction would think about the case. It's not as woozy as it seems, and is usually called an objective standard in the legal jargon. It's something that could conceivably be determined by a computer looking at all the factors that a judge would look at, and/or the relevant jury instructions that might frame the issue for a jury.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by _aleph2c_ on Thursday January 26, 2023 @12:02PM (#34534539)
It doesn't have to be precise. The founder should wear his own glasses, go to court to defend himself and use a fusion technique: have a lawyer and his AI both reach through his glasses. If he loses, he says, "we have a bit of work to do", if he wins, he wins. Either way, great publicity.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by AlexTWithBeard on Thursday January 26, 2023 @11:48AM (#34534254)
Many legal things are evaluated lazily: the law may not specify exactly what the vehicle is, but if such need arises, there are tools, like precedents and analogy, to answer this question.

The way to think about it is like a logical evaluation shortcut:

  if not ADA_EXEMPT and IS_VEHICLE:
    DISALLOW_IN_PARK
Since wheelchairs are ADA exempt, a question of whether it's a vehicle will probably never be risen.

Using the IT analogy, it's less like C++, where each statement must pass compiler checks for the application to merely start, but more like a Python, where some illegal stuff may peacefully exist as long as it's never invoked.

EDIT: grammar

Re:An AI robot lawyer was set to argue in court. Real lawyer... by timerol on Thursday January 26, 2023 @12:23PM (#34534935)
None of ADA_EXEMPT, IS_VEHICLE, or DISALLOW_IN_PARK can be easily formally defined. And the mere mention of "wheelchair" adds an additional ADA-related logic exemption. What about bicycles? Strollers? Unicycles? Shopping carts? Skateboards?

And even if IS_VEHICLE was formally defined, that doesn't help, because the concept isn't reusable. It's perfectly normal for "No vehicles allowed in park" and "No vehicles allowed in playground" to have different definitions of what counts as a vehicle, based on what would seem reasonable to a jury

Re:An AI robot lawyer was set to argue in court. Real lawyer... by ogogmad on Thursday January 26, 2023 @12:38PM (#34535246)
It's silly for people here to insist that the law be a formal system. It's impossible. Common Law uses judicial precedent to fill in ambiguities as they turn into actual disputes. If you had to formally define everything, then a) it would run into the various Incompleteness Theorems in logic (like Goedel's) and the Principle of Explosion, so it would go hilariously wrong b) No law would ever get passed, as people would spend years trying and failing to recursively define every term.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by gilleain on Thursday January 26, 2023 @12:49PM (#34535496)
Appropriately enough, Gödel had this very problem when getting US citizenship, where he tried to argue that the law had a logical problem:

"On December 5, 1947, Einstein and Morgenstern accompanied Gödel to his U.S. citizenship exam, where they acted as witnesses. Gödel had confided in them that he had discovered an inconsistency in the U.S. Constitution that could allow the U.S. to become a dictatorship; this has since been dubbed Gödel's Loophole. Einstein and Morgenstern were concerned that their friend's unpredictable behavior might jeopardize his application. The judge turned out to be Phillip Forman, who knew Einstein and had administered the oath at Einstein's own citizenship hearing. Everything went smoothly until Forman happened to ask Gödel if he thought a dictatorship like the Nazi regime could happen in the U.S. Gödel then started to explain his discovery to Forman. Forman understood what was going on, cut Gödel off, and moved the hearing on to other questions and a routine conclusion"

https://en.wikipedia.org/wiki/Kurt_G%C3%B6del#Princeton,_Ein...

Re:An AI robot lawyer was set to argue in court. Real lawyer... by rhino369 on Thursday January 26, 2023 @01:38PM (#34536469)
>Many legal things are evaluated lazily: the law may not specify exactly what the vehicle is, but if such need arises, there are tools, like precedents and analogy, to answer this question.

That's how common law and precedents work in the US system. Case A from 1924 said cars were vehicles, but bikes weren't. Case B from 1965 said e-bikes weren't vehicles. Case C said motorcycles were vehicles. And then the judge analogizes the facts and find that an electric motorcycle is a vehicle so long as its not a e-bike.

But the administrative law side of things works the opposite. They publish a regulation just saying "e-bikes above a certain weight qualify as vehicles under Law X."

Re:An AI robot lawyer was set to argue in court. Real lawyer... by ectopod on Thursday January 26, 2023 @12:33PM (#34535153)
An example in the UK yesterday. Climate protesters glued themselves to a petrol tanker and were charged with tampering with a motor vehicle. The protesters argued that the bit with the petrol was a trailer, not a motor vehicle. The judge agreed and acquitted them. https://www.bbc.com/news/uk-england-london-64403074
Re:An AI robot lawyer was set to argue in court. Real lawyer... by pintxo on Thursday January 26, 2023 @03:32PM (#34538359)
My point was not about necessary ambiguity where precision is not attainable. It was about todays inability of the legal professions to write concise conditions within contracts or laws.

E.g. as someone else said in this threat, there is useful ambiguity in requirements like: „within reasonable time“. But if you are enumerating a bunch of things and their relationships, ambiguity is often not what you want, but what you get without some clear syntax.

In my experience it’s not uncommon to stumble upon legal texts like „a, b and c or d then …“. But what does that mean? Is this supposed to be „(a && b && c) || d“ or „(a && b) && (c || d)“? That’s stuff that could easily be clarified at times of writing by just using parenthesis. Or maybe using actual lists with one item per line instead of stupid csv embedded in your sentences.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by noobermin on Thursday January 26, 2023 @11:06AM (#34533521)
Syntax does not yield precision. While there is a lot of blur and fluff in law (an understatement), I don't think syntax would yield more precision.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by wewtyflakes on Thursday January 26, 2023 @12:23PM (#34534931)
Re:An AI robot lawyer was set to argue in court. Real lawyer... by geph2021 on Thursday January 26, 2023 @12:58PM (#34535687)
those lists also include something like ".. but not limited to ..."

Many legal documents are purposely not pinning themselves down on specifics, because they don't want an agreement circumvented on technicalities, when it should be pretty clear to reasonable people what is intended in an agreement.

Re:An AI robot lawyer was set to argue in court. Real lawyer... by hgsgm on Thursday January 26, 2023 @01:00PM (#34535726)
That's not the issue. The issue is that the laws are grammatically ambiguous in contradictory ways.
Re:An AI robot lawyer was set to argue in court. Real lawyer... by dang on Thursday January 26, 2023 @01:11PM (#34535958)
We detached this subthread from https://news.ycombinator.com/item?id=34532371.