Re: Pi Forums

This is to about 6 people. Many thanks for your efforts on my behalf and your replies. I'm feeling rather weary as I haven't had my after lunch nap and will be getting ready for bed after this. I'll read your replies more carefully tomorrow and hope to get the RPi connected up again. It's not easy as SWMBO gets very concerned when she sees me doing anything that requires mental or physical effort, so I try to do it very early in the morning. (I had a slight stroke recently.)

I'm a bit of a nit-picker, so I like John's comment about the spelling of "complement".

Frank

I can never aspire to be as good a writer as Mark Twain, Thomas Jefferson, W. C. Fields or any number of worthy gentlefolk who despised spellling. Although the actual provenance of the genre of quotes that contain the meme "I have nothing but contempt for anyone who can spell a word only one way" is unknown, I take it as a truism. At best it demonstrates a lack of imagination.  I do believe that it is a skill [?] which will go the way of the buggywhip industry as spell checkers continue to encompass an ever increasing share of the written word.

That is indeed a very interesting analysis and a clear line of reasoning by Lord Dennning.

Unfortunately, putting your faith in judges is a gamble even if you are the epitome of purity and innocence.  For every amazing Lord Denning there might be 500 Judge Maldennings with a lesser command of logic, or worse, with more interest in legal technicalities than in social justice, or very much worse, with more interest in approval by their peers and paymasters than in rocking the establishment's boat.  Apart from Minority Report-type raids under the direction of RIAA, MPAA and similar commercial interests, the legal system in UK does implement a reasonable semblance of justice despite human imperfections, and this probably applies to much of EU as well.

It certainly could be worse.  At least we don't have the US system where justice is just a commodity to be purchased and suing people for settlements is a business profit stream.

PS. Our skills at making topics drift are sublime.

something else that as an engineer can be quite interesting (because of the logical reasoning)

I have a different reaction reading judicial decisions like this one.  In mathematics, if the reasoning

is logical, then you ought to have unanimous agreement.  In law, you can apply the same law to the

same undisputed facts, and arrive at a majority decision and a contradictory minority decision.

Even within the majority or minority, they may arrive at the decision for different and inconsistent reasons.

I see here a judge making a somewhat arbitrary decision on whether to follow previous precedent that

terms printed on a ticket stub are binding even if nobody reads them, or whether to distinguish the

current case on the basis that it involves an automated ticket machine rather than a human ticket agent.

Even though the decision is explained in logical terms, it could have just as easily gone the other way

and also have been explained in logical terms.  So there is something outside of logic that is actually

swaying the decision. 

coder27 wrote:

 

I see here a judge making a somewhat arbitrary decision on whether to follow previous precedent that terms printed on a ticket stub are binding even if nobody reads them, or whether to distinguish the current case on the basis that it involves an automated ticket machine rather than a human ticket agent.

 

Even though the decision is explained in logical terms, it could just have easily gone the other way and also have been explained in logical terms.  So there is something outside of logic that is actually swaying the decision. 

Well observed!

I think it's quite easy to see what's wrong with that situation:  the premises are unsafe, and might easily be flawed.  Using impecable logic one can arrive at nonsense conclusions by arguing from false premises.  I suspect that this applies also in the non-boolean space of value judgements.

Lord Denning might well have argued differently simply by choosing a different set of premises from case law as precedent.  Law is really just opinion even when argued logically, and rests on cherry-picked foundations.

Engineering has a solution for the above kind of difficult problem:  fuzzy logic.  It doesn't attempt to derive logical conclusions from incomplete information or questionable premises, but instead seeks to encode practical utility in human-digestible chunks, and assign degrees of importance to them.

When a problem domain is non-analytic or is simply too hard to analyse in reasonable time, fuzzy logic applies multiple overlapping weighted quality functions to the data, including heuristics, all aimed at evaluating inputs from a range of different perspectives to apply "commonsense" to a problem in piecewise-linear fashion.  This typically directs process control towards reasonably effective operation (often not far from a practical optimum), and the approach is less susceptible to problems of local maxima that are common in analytic solutions because individual functions can contribute non-local figures of merit.  It  tends to be safe and robust as well, because safety constraints are easily encoded in yet more piecewise functions.

Perhaps in an enlightened and more logical future (one in which humans are still relevant, not the Skynet one), judges will be replaced by open source fuzzy logic automata, controlled by millions of simple piecewise merit functions contributed by interested citizenry?

@ Morgaine,

Won't your fuzzy judges end up like real ones, some good, some bad and most indifferent (perhaps depending on which distro they are based on) ?

My friends who are well versed in classical and modern control theory (a very small subset of the group) don't like fuzzy logic because there is no reasonable mathermatical process to prove stability of a fuzzy controller.

I've always had a soft spot for it myself and still pay the maintenance on my MATLAB Fuzzy Logic Toolbox (althought I haven't used it much for real).

MK

Michael Kellett wrote:

 

Won't your fuzzy judges end up like real ones, some good, some bad and most indifferent (perhaps depending on which distro they are based on) ?

The automaton logic and computation subfunctions would need to be written in a formal and verifiable specification language I think, to avoid that kind of problem.  That wouldn't provide any guarantee that it does what we want, but it would be a fairly strong guarantee that it does what we have specified, which is to compute decisions based on the external ruleset.  It must itself contain no domain-space semantics nor built-in value judgement functions internally of course, nor weights --- the whole idea is that those must be external, provided by the citizenry, and subject to public scrutiny by non-programmers.

Needless to say, this is in the realm of pure fiction at the present time.

My friends who are well versed in classical and modern control theory (a very small subset of the group) don't like fuzzy logic because there is no reasonable mathermatical process to prove stability of a fuzzy controller.

Your friends are entirely right!  However, there is no existing social nor legal system that is analytic anyway, let alone with provable stablity, so their worry doesn't mean that such a fuzzy automaton would be no good.  As coder27 pointed out above, the current legal system rests on a foundation of questionable precedents as premises, so an automatic system with a large enough number of safeguard constraints wouldn't have to compete against a very high bar.  By evaluating social utility of a situation rather than taking precedents as axiomatic, it might well do a far better job than humans through simple brute force.

The early days of such a system would be especially interesting, as people compare the performance of human judges against the automaton running in parallel.

Note that evaluating utility would be stillborn if the automaton were being fed with prior human value judgements as input data, so that has to be disallowed.  If you recall the concept of Fair Witness in Heinlein's Stranger in a Strange Land, that would be the kind of input required --- pure facts.  Humans are really bad at leaving out their own assessment of a situation.

coder27 wrote:

Even though the decision is explained in logical terms, it could just have easily gone the other way

and also have been explained in logical terms.  So there is something outside of logic that is actually

swaying the decision. 

This is true. It's interesting that although the facts are similar and only subtly different (ticket machine vs a human agent in older times could be described as just a small difference) the outcome may swing the other way if the facts make it different enough to allow exploration. Also new precedent is something that maybe judges don't want to do too often!

By evaluating social utility of a situation rather than taking precedents as axiomatic, it might well do a far better job than humans through simple brute force.

If it were coded, I hadn't thought of it, but it is quite novel that possibly the system would not need to consider the frequency of near-similar situations occurring again (e.g. is it rare or common for automated ticket machines to exist) and not have to try to make the current decision such that it is a 'fair' outcome for some future decisions too on similar-but-different facts. I wonder where we'd end up, or if we'd approximately end up in the same position. Someone should write a work of fiction based on that :-)

Sadly I'd not heard of Stranger in a Strange Land, but it's now on my to-read list.

Ja die zijn zeker groot neem er vier of zo proberen we het uit ik weet het ook niet kon niet uit Hamelen  

Verstuurd vanaf mijn iPad

Op 6 jul. 2013 om 11:12 heeft morgaine <messages@element14.com> het volgende geschreven:

 

Re: Pi Forums

created by Morgaine Dinova in Raspberry Pi - View the full discussion

Morgaine Dinova wrote:

 

I think it's quite easy to see what's wrong with that situation:  the premises are unsafe, and might easily be flawed.  Using impecable logic one can arrive at nonsense conclusions by arguing from false premises.  I suspect that this applies also in the non-boolean space of value judgements.

 

Lord Denning might well have argued differently simply by choosing a different set of premises from case law as precedent.  Law is really just opinion even when argued logically, and rests on cherry-picked foundations.

That's exactly the problem.  From incorrect premises you can make any conclusion.  I heard that Bertrand Russell made this claim in a lecture and was challenged by a member of the audience to prove that "if 2+2 = 5 then Bertrand Russell is the Pope".  Dr. Russell replied (paraphrased from memory) that "if 2+2 = 5, then 4 = 5.  Subtracting 3 from both sides we get 1 = 2.  Bertrand Russell and the Pope are two people, therefore they are one".  Loud applause ensued.

We get lots of this kind of reasoning in the USA, particularly in Congress about whom our friend Mark Twain had this to say: "Suppose you were an Idiot.  And suppose you were a member of Congress.  But I repeat myself."

shabaz wrote:

 

I wonder where we'd end up, or if we'd approximately end up in the same position.

I think it would create a completely different world for so many epic reasons (such as immunity from corruption and vested interests unless those are what the population wants) that its smaller effects like there being no fixed points in jurisprudence (since it's unaffected by precedent) would go quite unnoticed.

Sadly I'd not heard of Stranger in a Strange Land, but it's now on my to-read list.

If you like SciFi, it's a must-read!  Although I'm biased, since I have almost all of his books.

shabaz wrote:

 

I wonder where we'd end up, or if we'd approximately end up in the same position.

I think it would create a completely different world for so many epic reasons (such as immunity from corruption and vested interests unless those are what the population wants) that its smaller effects like there being no fixed points in jurisprudence (since it's unaffected by precedent) would go quite unnoticed.

Sadly I'd not heard of Stranger in a Strange Land, but it's now on my to-read list.

If you like SciFi, it's a must-read!  Although I'm biased, since I have almost all of his books.

Morgaine Dinova wrote:

 

If you like SciFi, it's a must-read!  Although I'm biased, since I have almost all of his books.

You don't need to be interested in SciFi, Stranger in a Strange Land is a much wider commentary on life in general than the SciFi tag would suggest. Heinlein had a way of doing that while also making a good SciFi story.

Fully paid up member of the biased club here too