It is currently Thu Mar 28, 2024 12:23 pm

All times are UTC - 8 hours [ DST ]




Post new topic Reply to topic  [ 157 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6, 7, 8  Next
Author Message
Offline
 Post subject: Re: Commonsense Go
Post #61 Posted: Fri Mar 31, 2017 10:05 am 
Lives in gote

Posts: 388
Liked others: 416
Was liked: 198
If playing on smaller boards, would your heuristics need to change a lot (I mean the definitions for what is a cluster, etc)?
I think it would be useful to simulate your ideas on very small boards, where you hopefully don't need a computer program to test them in a actual game, start to end - maybe something like 5x5 or 6x6 board so it's not too trivial, but small enough to be able to go through a complete game?

That would tell you if your ideas work or not, to some extent.

Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #62 Posted: Fri Mar 31, 2017 5:54 pm 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
sorin wrote:
If playing on smaller boards, would your heuristics need to change a lot?
using small boards for software implementation testing offers no advantage, since the algorithms are computationally inexpensive and would work in the blink of an eye; the goal trees are never very big; hierarchical reasoning does not produce combinatorial explosions, as the 4 examples i've published so far illustrate - like my much, much, easier way for children to learn numeracy (click here), Swim works Just like that! :)

small boards would be quicker to hand simulate, but that's about all.

all the algorithms are independent of board size. the only thing that would need to vary with board size is the multiplier h on p36 used in calculating the value of chance which is used to decide which strategy to adopt. but in any case, f,g and h are user choice variable multipliers.

varying f and g would produce bots with varied playing styles - more conservative or more aggressive - that would be fun to play around with and see what happens.
Code:
let lead = value (me) - value (you);
if lead + chance > 0 then playsafe
else attack

value (x) = f (territory (x),g (influence (x))
               + if white (x) then komi

territory (x) = size (eyespace (x))+ prisoners (x))

influence (x) = if weak (x) then 0
                else g (size (shadow (x))

chance = h (size (neutral space))

Top
 Profile  
 
Offline
 Post subject: Dennis' Favourite Move of Alphago
Post #63 Posted: Fri Apr 07, 2017 6:59 pm 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
Anyone like an orange?


Attachments:
move37a1.png
move37a1.png [ 273.88 KiB | Viewed 12498 times ]
Top
 Profile  
 
Offline
 Post subject: MiG33: Dennis and Noam
Post #64 Posted: Sat Apr 08, 2017 10:16 pm 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
An illustrated dialogue on the essence of intelligence, with Demis Hassabis, patron of Alphago, and Noam Chomsky of MIT. Featuring Demis' favourite move by Alphago, and parrying Lee Sedol's magic wedge.
https://www.youtube.com/watch?v=3RSiORA5NN8&index=28&list=PL4y5WtsvtduqNW0AKlSsOdea3Hl1X_v-S


Last edited by djhbrown on Mon Apr 10, 2017 4:07 pm, edited 1 time in total.
Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #65 Posted: Sat Apr 08, 2017 10:33 pm 
Lives with ko
User avatar

Posts: 284
Liked others: 94
Was liked: 153
Rank: OGS 7 kyu
djhbrown wrote:
pnprog wrote:
on page 25 ..I guess you mean The paths between white D and white A, and between white D and white E, are both blocked by the colour map of the live group black D.

yes! thank you for spotting the typo. :salute:

Hi!

I just had a second try at reading your paper. Generally speaking, I find it very difficult to navigate, because the descriptions of the different concepts (functions) are scattered all over your pdf, and keep referring to each others.

This is to be expected for such project, of course, but then, I suggest you to work out a more formal (and exhaustive) documentation of Commonsense Go, in a similar fashion to what is used in the programming world (so not something like Latex).

There are dedicated softwares used to create technical documentation, that output HTML or pdf files with all cross references displayed as pointers/links that make it easy to navigate the documentation.

Sphinx is such a software, and here is an example of what it can create. I purposely selected an example not related at all to Go, so do not care about the content. But this example is similar to what I believe you could (should) do: You could have a first part with the main concepts/idea and the second part that digs in the details both on the same page (or not, at your convenience).

This is typically the kind of technical documentation programmers are used (comfortable) to work with. And if you want to get their help, I don't think you can avoid this step. Plus, it would help you perform an exhaustive survey of all the concepts at use in Commonsense Go, with a top->bottom approach, from higher level to lower level.

For a similar example that is related to Go, there is the excellent Gnugo documentation of course. In fact, in the software world, a good documentation is an indicator of a project good health.

That being said, my comment on your paper is that it uses concept that are "easier said than implemented". For examples:
Quote:
A group with two eyes, or a single eye large enough to be able to form two eyes, is alive.
Any life and death book for beginner contains tons of examples that will challenge our definition/understanding of "single eye large enough to be able to form two eyes" (just think of group alive by seki or by ko, or by ladders). There is probably no easy way to code such concept without going for the exhaustive/recursive search.

And with that definition being already that hard (impossible?) to implement, then working out a "proof of concept" of your map will block at the second step of the cluster map (when the dead stones are noted and the color map redrawn). And so all the following steps (shadow map, groups, path...) cannot be done as well.

To take another example: territory (x) = size (eyespace (x)) + prisoners (x))
Even without considering the life and death problem already mentioned with exespace, estimating the eyespace of a group (I guess here that means the territory it controls) is fairly complicated. Indeed endgame/yose tesuji form an important category go problems by themselves.

And this is without mentioning all the other functions that I (everybody) am eager to see how you propose to implement (semeai(), capture() for example).

I noticed you rely on proverbs a lot, and that's probably not ok for the level of play of LeeSedol (proverbs are a sort of tool/heuristic to compensate for low reading capabilities for us poor amateur players). For example, this:
Quote:
The counter-goal to surround is save, rather than merely escape, because running with a weak group is generally disadvantageous.
Quite often this is false, like when it's preferable to have a group escape in the center in good shape (even if still weak) instead of being sealed in a corner and 100% alive. A proverb that is generally true will probably not help that much playing against a pro player.

One more point, it seems to me that your algorithm does not know how to use forcing moves. A simple example I can imagine is to play a forcing move to break a ladder to save a cutting stone. The goal of the forcing move (let's say split a corner enclosure keima) and goal of saving a cutting stone (keep to other groups separated) are not the same. Can your algorithm manage that?
Ko are another situation where you use forcing move (ko threats) to prevent opponent to (temporarily) play a local move (solving the ko).

One last point (that is linked with the former in fact) that is not clear for me:
Code:
until achieved (goal) or refuted (goal)
    repeat
        (goal; remap; counter; remap)
So when does the algorithm know that a goal is definitively achieved and that the sequence goal/remap/counter/remap can be stopped? For example, after the algorithm comes up with L10 as black against LeeSedol to achieve the goal, the algorithm should now take the perspective of white and try counter it. It should come up with a move that counter it (or as you put it, that takes a step toward the counter goal). I think your algorithm would come up with M10 (and other moves) to capture stones that are on the path. Then your algorithm needs to find a refutation for M10 and so on...
Aren't we headed toward a extensive reading, with your algorithm only performing some pruning of the search tree?

There are still plenty of interrogations left from your paper (one is what about the fuseki? how to decide on the first move as black? can algorithm work to select the good joseki?). And so you will need more than just your paper to convince people to give a try at it.
What you could do is to manually run your algorithm on a 5x5 goban for a complete game, although I guess it would be a lot of work (more work than just leaning programming from scratch and coding your algorithm main concepts).

So for now, my feeling is that your paper is mainly focusing on very high levels reasoning (or "hierarchical reasoning about abstract concepts" as you put it) and conveniently avoid dealing with the real hard stuff.
For that "real hard stuff" (exhaustive reading of local situation and link with global situation), I understand that you expect a simple tool (your mapping heuristic) can help dealing with it, at least most of the time. Am I right?

As for my opinion, I don't think one can find a simple tool to avoid doing the hard job (exhaustive reading of each situation), but maybe I will have to try to read your paper a third time through :scratch:

May I ask about your level at Go?

_________________
I am the author of GoReviewPartner, a small software aimed at assisting reviewing a game of Go. Give it a try!

Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #66 Posted: Sun Apr 09, 2017 12:07 am 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
thanks for your thoughts; i will reply to all your questions shortly; for now, i just refer to your main comment:

Quote:
pnprog: I find it very difficult to navigate

i'm sorry to hear that, because i had put a lot of thought into organising it to make it easy to read. It's written more as a story than a manual, with the intention that it can be read straight through like a book - or watched like a recreational movie. You did follow the viewing advice to read it 2 pages at a time, odd pages on the left? For otherwise, it would indeed be cumbersome to follow.

Quote:
, because the descriptions of the different concepts (functions) are scattered all over your pdf, and keep referring to each others.

functions do use other functions - that's what a structured program does! The sequence in which they are presented is thematically top-down - so, necessarily, submethods are mentioned before they are defined. i gave them mnemonic names so the reader could guess what they did even before seeing their details. Naturally, if the reader is keen to truly understand Swim, they will have to do some flipping back and forth, because the logical structure of an AI program is not one-dimensional like a string of text or video frames.

i didn't describe the metamethod first, because it would have looked too abstract out of context.

You mention that you like the GnuGo documentation; personally, i found that as excruciatingly ponderous a read as the Cray NQE user manual and Unix man pages :)

Still, i will take your feedback on board, and may produce a new and improved edition of the paper in the future.

And i will answer all your questions, but that will take me a little while, so please be patient.

Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #67 Posted: Sun Apr 09, 2017 10:05 am 
Lives with ko
User avatar

Posts: 284
Liked others: 94
Was liked: 153
Rank: OGS 7 kyu
djhbrown wrote:
And i will answer all your questions, but that will take me a little while, so please be patient.
Nothing urgent here so take your time.

But maybe you could answer the following question first. I tried to reproduced the first step of your color map, and got something slightly different from you :sad:

Please compare the following map with the first map in your paper (page 12)
Attachment:
map0.png
map0.png [ 20.97 KiB | Viewed 12257 times ]

I can notice a few differences at E1, G1 and H19.

Can you confirm this is a mistake in your paper? Otherwise, can you explain why the links should not be colored?

_________________
I am the author of GoReviewPartner, a small software aimed at assisting reviewing a game of Go. Give it a try!

Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #68 Posted: Sun Apr 09, 2017 5:20 pm 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
pnprog wrote:
[E1, G1 and H19]

You are right again! :clap: You have a good eye for detail. Plus, your drawing is much neater than mine.

In the file list, that map is f12.png which is the end of step 2 of pass 1.
48 map images were used to create the colouring animation
in my video of the paper. It wouldn't surprise me if there are more typos en route,
but i'm pretty sure (fingers crossed!) that the final frame (map) -
the one on page 24 of the paper - is accurate.

(But the screenshot tells me that Xubuntu's idea of what its showing me is inaccurate! -
the blurry section beneath the folder window is not visible on the hardware screen;
this might explain why kdenlive sometimes loses sight of the vital project scrollbar
which i can only get back by unmaximising its window (i'm going to play around with manually resetting display size to see if that hackaround works until Xubuntu display manager is debugged).
And it would be nice if this bb painter autoresized images
so they fit in the viewing window... Software is so pernickety! :))

Attachment:
Screenshot_2017-04-10_09-55-28.png
Screenshot_2017-04-10_09-55-28.png [ 912.89 KiB | Viewed 12207 times ]

Top
 Profile  
 
Offline
 Post subject: life and death
Post #69 Posted: Mon Apr 10, 2017 12:58 am 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
pnprog wrote:
[more formal (and exhaustive) documentation of Commonsense Go]
pnprog, please let's private message about documentation; i expect it would be perceived as off-topic by some.

As to Swim's logic, thoughts and doubts such as yours are very welcome; i can't possibly have thought of everything. i will reply to the questions/contributions/critiques in your long post one by one, in separate replies.

pnprog wrote:
[no easy way to code [life and death concept without going for the exhaustive/recursive search.]
that's both true and untrue ! :)

true, because unequivocal determination cannot be made without fullwidth search right to the end, not until someone comes up with the Go equivalent of Andrew Wiles' proof of Fermat's Last Theorem, which i think is rather unlikely to happen in the near future.

untrue, because in the case of colour map enclosure, high probability of cluster death is reasonable to foresee without reading. In practice, escapes are only theoretically possible for unenclosed clusters. However, it might be a good idea to add a conservative !!caveat!! to the lad principle on page 15:
Code:
A cluster that does not have 2 eyes, and is
completely surrounded by enemy clusters with
more liberties !!that are members of a strong group!!,
cannot win a semeai,
so it is dead.
"Dead" stones are never completely dead until they are captured, so i think Swim makes a decent stab at judging the situation. An example of this is going to come up in my next MiG vid Swimless in Seattle.

Not sure about kos yet - for a ko to save a perceived dead cluster, ko would have to lead to death of cutting stones to work, and a situation like that is unlikely to produce a colour map that fully encloses the cluster, so Swim wouldn't even ask the question. Maybe someone can find a situation which contradicts my inference?

Only after implementation would it be possible to begin behaviour testing to iron out every single wrinkle, as DeepMind had to do after Lee won game 4.

whereas my gutfeel is that the caveat i introduced won't be necessary, it might be.

yet another B.S. - Bill Shankley, former manager of Liverpool Football Club wrote:
Go (or was it golf?) is not a matter of life and death; it's much more important than that

Top
 Profile  
 
Offline
 Post subject: Re: life and death
Post #70 Posted: Mon Apr 10, 2017 2:18 am 
Gosei
User avatar

Posts: 2011
Location: Groningen, NL
Liked others: 202
Was liked: 1087
Rank: Dutch 4D
GD Posts: 645
Universal go server handle: herminator
djhbrown wrote:
pnprog wrote:
Any life and death book for beginner contains tons of examples that will challenge our definition/understanding of "single eye large enough to be able to form two eyes" (just think of group alive by seki or by ko, or by ladders). There is probably no easy way to code such concept without going for the exhaustive/recursive search.

untrue, because in the case of colour map enclosure, high probability of cluster death is reasonable to foresee without reading.


Are you really claiming you've found an easy way to predict, with high probability and without reading, the result of most life & death problems?

That's a rather extraordinary claim, and would require some extraordinary evidence, IMO.

Top
 Profile  
 
Offline
 Post subject: extraordinary claim
Post #71 Posted: Mon Apr 10, 2017 7:11 am 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
HermanHiddema wrote:
Are you really claiming you've found an easy way to predict, with high probability and without reading, the result of most life & death problems?
Upu2 8-)

It is a pathetic distortion to take half a sentence out of context and inflate it out of all proportion into a ridiculous straw man, attempting to cover up a blatant misrepresentation by adding a question mark and the word "really"


By this 3rd misanthropic strike at me, the self-proclaimed herminator demonstrates he has learned nothing from Colin Powell http://news.harvard.edu/gazette/story/2 ... h-regrets/

my paper and responses to genuine questions make it clear that Swim's cluster lad perception conservatively only applies to a small subclass of configurations, defined by the predicate described on pp 13-16 and illustrated in 2 of my last 3 videos.

lad doesn't feature in "Demis and Noam", which soberly focusses on the much more weighty and $ignificant debate that has been raging within AI circles (and their bankers) for over a decade, one that that DARPA recently chimed in on, yet which has completely escaped the attention of mass media.

the trifling issue of lad will feature in my upcoming lighthearted Likely Lads vid... come to think of it, that might be a better title :)


Last edited by djhbrown on Mon Apr 10, 2017 4:09 pm, edited 3 times in total.
Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #72 Posted: Mon Apr 10, 2017 9:29 am 
Lives with ko
User avatar

Posts: 284
Liked others: 94
Was liked: 153
Rank: OGS 7 kyu
djhbrown wrote:
pnprog wrote:
[E1, G1 and H19]

You are right again! :clap: You have a good eye for detail. Plus, your drawing is much neater than mine.
Can you update your definition of color controlled empty point? I mean that part:
Quote:
An empty point is said to be colour-controlled if at least 3 of its links are coloured and none is enemy coloured.
Because at it stands now, corners points (A1, T1, T19 and A19) cannot become color controlled points per propagation (they have only 2 links).
Because of that, their two neighbors (for A1, they are A2 and B1) can hardly get color color controlled themselves per propagation (they have 3 links, but one to the corner point can cannot be colored).

To continue on your paper's example, here is my result after the propagation is completed (p14 in your paper) strictly following your current definition:
Attachment:
map1.png
map1.png [ 23.21 KiB | Viewed 12141 times ]
One difference with your paper that is not linked with the definition issue I just mentioned is A17.
I guess this one is a mistake. (this link appears during the first stages of the map drawing, then should disappear during the propagation).
Do you agree?

_________________
I am the author of GoReviewPartner, a small software aimed at assisting reviewing a game of Go. Give it a try!

Top
 Profile  
 
Offline
 Post subject: Re: extraordinary claim
Post #73 Posted: Mon Apr 10, 2017 9:36 am 
Gosei
User avatar

Posts: 1848
Location: Bellevue, WA
Liked others: 90
Was liked: 837
Rank: AGA 5d
KGS: Capsule 4d
Tygem: 치킨까스 5d
djhbrown wrote:
After launching 1879 holier-than-thou smartarse missiles in 7 years, an average of over 200 a year, polluting 126 pages of valuable bytes, including 3 misanthropic strikes at me, the manifestly ADHD self-proclaimed :black:-hearted herminator evidently has nothing better to do, nothing constructive to contribute, and has learned nothing from Colin Powell http://news.harvard.edu/gazette/story/2 ... h-regrets/
This kind of personal attack is against forum rules, consider this a warning djhbrown. Next one's a ban.

Top
 Profile  
 
Offline
 Post subject: Re: extraordinary claim
Post #74 Posted: Mon Apr 10, 2017 5:49 pm 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
Solomon wrote:
[This kind of personal attack is against forum rules, consider this a warning djhbrown. Next one's a ban.
that's fair. i accept the judicial reprimand, and have corrected my offence, which set a bad example to younger viewers.

it's no excuse that i fell into the elephant trap set for me, so it's my own fault that ignorati now have more licence to Carry on up the Khyber snideswiping just within the policy rules as they have been doing for over 2 years, particularly since a constructive contribution to the application of Monte was abjectly misinterpreted by a vendor who i would have thought should have known better, but that's probably because he perceived Google's text-to-voice Japanese accent enunciation to be risible instead of mignon, which i found it to be. it is i who should have known better.

fortunately, BF Skinner discovered that any kind of response is positive reinforcement, so:
Quote:
"whether 'tis nobler to suffer the slings and arrows of outrageous trolling - Or, by opposing, end them?"
has a clear answer, because schoolyard bullies feed on indignation.

https://www.simplypsychology.org/operan ... oning.html


Last edited by djhbrown on Tue Apr 11, 2017 8:08 pm, edited 2 times in total.
Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #75 Posted: Mon Apr 10, 2017 7:03 pm 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
pnprog wrote:
Can you update your definition of color controlled empty point?

Yes! Another good find, thank you. :bow: The text on p9 should read:

"An empty point is said to be colour-controlled
if at least 3 of its links
are coloured and none is enemy coloured.
The edge of the board is friendly to both sides,
so an edge point is colour-controlled if
2 of its links are exclusively-coloured,
and a corner point is if just 1 is ".


i'm not completely happy with my rewrite; it feels like there should be a tidier way to express it, whilst still covering all the bases.

there is a related omission on the next page too! it should read:

step 1: a colour-controlled point colours its
links and their endpoints.
step 2a: a link connecting two singly-coloured
points, or a singly-coloured point on
either the second or third line
with neutral link(s) to a neutral edge point, is coloured.
step 2b: a neutral point in the middle/edge/corner, 3/2/1 of whose edges are exclusively-coloured, becomes colour-controlled.


i did have it something like that in an earlier draft, but was trying to make the published version as concise as possible and went a bit too far with the blue pencil - and muddled myself up about how lines are numbered! ie Go board numberings start from 1 instead of 0 (which i daresay a mathematician would claim they should be... what's the name that of that old age disease when you start to forget things?!)

Step 2b is included in the simulation, so the following pages are unaffected.

as regards your query about A17, the link A17-C17 is coloured blue in step 1 of the first pass, for the same reason (ie step 2a) that A16-C17 is yellow.

The A17-C17 link colour shouldn't appear and then disappear, not until until after the map is completed and C17 declared dead, as described on page 15, whereupon after the map is completely redrawn from the beginning, A17-C17 becomes coloured yellow instead.


Last edited by djhbrown on Tue Apr 11, 2017 6:12 pm, edited 1 time in total.
Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #76 Posted: Mon Apr 10, 2017 10:45 pm 
Honinbo

Posts: 9545
Liked others: 1600
Was liked: 1711
KGS: Kirby
Tygem: 커비라고해
djhbrown wrote:
...so when a scientific issue is debased into playground needling...


scientific? :scratch:

_________________
be immersed

Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #77 Posted: Tue Apr 11, 2017 5:54 am 
Lives with ko
User avatar

Posts: 284
Liked others: 94
Was liked: 153
Rank: OGS 7 kyu
djhbrown wrote:
An empty point is said to be colour-controlled if at least 3 of its links are coloured and none is enemy coloured.
The edge of the board is friendly to both sides, so an edge point is colour-controlled if 2 of its links are exclusively-coloured, and a corner point is if just 1 is.
Clear enough.
In my understanding, this carries the same meaning as your step 2b (with that correction in red I added):
djhbrown wrote:
step 2b: a neutral point in the middle/edge/corner, 3/2/1 of whose edges links are exclusively-coloured, becomes colour-controlled.
And with that change, goban corners points (A1, T1, T19 and A19) can now become color controlled points.
So far, this is what I get:
Attachment:
map3.png
map3.png [ 23.49 KiB | Viewed 11995 times ]


Regarding the other change of definition:
djhbrown wrote:
step 1: a colour-controlled point colours its links and their endpoints.
step 2a: a link connecting two singly-coloured points, or a singly-coloured point on either the second or third line with neutral link(s) to a neutral edge point, is coloured.
step 2b: a neutral point in the middle/edge/corner, 3/2/1 of whose edges links are exclusively-coloured, becomes colour-controlled.
I think you should not try to make your definitions so tidy. In the opposite, I think they should be explicit and verbose.
This is how I understand it:
Quote:
step 1: a colour-controlled point colours its links and their endpoints.
step 2: a link connecting two singly-coloured points is coloured.
step 3: a link connecting a singly-coloured point on the second line with neutral link(s) to a neutral edge point, is coloured.
step 4: a link connecting a singly-coloured point on the third line with neutral link(s) to a neutral edge point, is coloured.
step 5: a neutral point in the middle/edge/corner, 3/2/1 of whose edges links are exclusively-coloured, becomes colour-controlled.
As those step repeat until no more new links are discovered, then the order of steps does not matter.

I am doubtful about step 4, regarding singly colored point on the third line. With such rule, you would not get that result in your paper, page 14:
Attachment:
one_space_jump.png
one_space_jump.png [ 44.71 KiB | Viewed 11995 times ]

What do you think?

_________________
I am the author of GoReviewPartner, a small software aimed at assisting reviewing a game of Go. Give it a try!

Top
 Profile  
 
Offline
 Post subject: open apology to Uberdude
Post #78 Posted: Sat Apr 15, 2017 6:46 am 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
open apology to Uberdude

this morning i re-read through all the comments on this thread and suddenly saw Uberdude's comments in a new light.

i had replied somewhat acerbically when he quoted Baudis, who is not exactly the President of my fan club, which is hardly surprising, because there isn't one.

but Uberdude wasn't trolling me.

and indeed, Baudis may even have genuinely believed the absurd nonsense he wrote on his own grafitti wall about what i wrote on Gnugo's.

so i may owe him an apology too.

there is a third man... <<<<<<<<<<< one day, 20 years ago, [redacted before submission] never seen before or since.
Henry Ford wrote:
history is bunk


>>>>>>>>>>>>>Back to the present, and my apology to Uberdude, whom i perceive to be a totally different character to she who must be obeyed:

His first comment in that thread is the one that showed me the mote in my own eye when i re-read it, because although at the time i had misunderstood his intentions in writing it, i've finally woken up to that fact.

he and i are (were) coming to the subject of computer Go - and AI in general - from different places, and using words differently.

in particular, the word "think".

this little word opens up a whole can of worms, but - to me at least - it is a can worth looking into, as many many others have done before, even before Turing.

the mistake was mine, because in my post, i used the word in the sense in which i meant it, but - reasonably enough - Uberdude read into it (what i now infer to be) a very different, and much more particular, sense.

and indeed, the sense in which Uberdude was using it is common sense, whereas mine was not!!
the irony could hardly be more apposite :oops:

if the above makes no sense to you, that is explicable, because i didn't start at the beginning, but about halfway through and then got sidetracked on a redacted time travel. it's what they call a stream of consciousness (or flood of self-consciousness)

let me try to "please explain"...

the fault was mine from the outset, because in the post on which Uberdude commented, i had written:

Quote:
design of software able to think and talk about Go in a commonsense way,is described and illustrated


there it is, in black and white - or rather, dark grey and light grey.

what i should have written is this:
Quote:
design of software able to 'think' and talk about Go in a commonsense way,is described and illustrated
because Lewis Carrol's Humpty-Dumpty was spot on when he said to Alice:
Humpty-Dumpty wrote:
when i use a word, i use it to mean what I want it to mean. Neither more, nor less.
and - self-evidently it does not go without saying - Dodgson is showing his readers that what you mean when you say something is entirely irrelevant, because the only thing that matters is what the other person thinks you mean - and that is more often than not very different!

as it happens, in the dozens of drafts of my paper, i had several times vacillated between putting think in quotes and not doing so. Eventually i settled on not, for after all, Turing hadn't, so why should i?

well, i now have the answer to that question - of course i should!!

many of those of you that haven't already switched off by now, if indeed there be any that started to read this in the first place, will probably be steaming: "Get to the point!"

yes, right, sorry, ok, here's what i mean:
Code:
1. there is a thing called "thinking"
2. people do it
3. BUT, they are not the only ones
4. even bacteria think!!
Because, "thinking" = processing information in a sensible way, so as to extract meaning from it, and - if you are smart enough - responding to it appropriately (which means in a way that is in your own best interests (or, rather, as that pea fellow and CD (not forgetting the other one who got there at the same time whose letter prompted him to publish but whose name he didnt even mention) and RD showed us, your selfish genome's best interests).

Bacteria meet all these requirements, when they sniff out whether to flagellate or not, depending on what it smells like around them.

Rotating (using the only known example of a biological wheel) its corkscrew-shaped flagellum clockwise propels a bacterium forwards, whereas rotating it anticlockwise makes it tumble in the ebb and flow of the sea it's in, which has a fair chance of it ending up pointing in a different direction.

In this way, a bacterium - let's call it E (short for E.coli) - can navigate chemical gradients, moving towards things that are good to eat, and away from things that are poisonous.

Guess what?! - That's EXACTLY what Alfadog's reinforcement learning gradient ascent does!!!!

Alfa's policy network is the computational electronic equivalent of E's sniffer, and her value network is the equivalent of E's tumbling or screwing, depending on what it detected, which is the biological equivalent of what Alfa imagines in her Monte-Carlo rollouts of possible futures.

Both of them use the principle that Ulam's flash of inspiration revealed to him all those years ago:
Eckhardt, Roger (1987). "Stan Ulam, John von Neumann, and the Monte Carlo method" http://library.lanl.gov/cgi-bin/getfile?15-13.pdf

Long before Ulam, there was another fellow who had an equally good idea. His name was Plato, and he wrote stories about an imaginary man called Socrates, who went around telling people he was mortal, which proved to be true, because, due to his annoying habit of tricking them into contradicting themselves, they eventually got so fed up about being made to look like fools to themselves, they forced him to commit suicide by drinking hemlock.

Plato was one of the first to write about what the Greeks called Logos - the notion that one thing can lead to another because the Universe ain't random, no matter what Schrödinger says.

Do bacteria use logic?

In one sense, they do - because their built-in associative machinery (learned by reinforcement learning across generations of evolution) does implement a form of Modus Ponens, which Russel and Whitehead (or was it Frege? i forget now) might have written like this:

Code:
Axioms:

A1. nice_smell implies nice
A2. nice implies i should flagellate
A3. flagellate implies ("well i don't actually know what it implies, i just do it")

Premiss:

1. exists (nice_smell)

Lemma:

L1: nice (1, A1, MP)

Conclusion:

flagellate (L1, A2, MP)


-some while later-

mmm... yummy!


QED


... Q: Do people use logic?
A: Yes. (Homer uses exactly the above reinforcement learning learned logic in the latest episode of MiG).
Q: How do you know?
A: Because people have neurons, and neurons implement logical implication.
Q: Huh?!
A: http://sites.google.com/site/djhbrown/H ... es/umb.pdf (Ch 13)
https://3fc9298e-a-62cb3a1a-s-sites.goo ... C6to10.pdf pp198-229.
Q: So what?
A: Fair question; understanding how things work isn't needed to be able to use them. For example, i can drive a car without needing to know anything about Boyle's Law.

Q: I am Right and you are Wrong. Right? RIGHT?!!
A: If you say so; please don't hurt me (remembers de Bono)

Enter, stage left, the ghost of Turing

T: To think, or not to think, that is the question
Q: No it's not! What the f are you talking about?
A: I think he means that thinking is something we think only people can do, but maybe it isn't. Maybe even a machine can...
Q: This is just stupid. Off course machines can't think - and even if they could, we're still better than them because we have consciousness, and feelings, which they can't because only i can have feelings because i'm me and i'm important and f you. I've had enough of this; I'm off to play with my stones.
several audience members, in chorus and sequence: He's right. They tried that before and it didn't work and it can't ever work, at least, not doing it that way, and your way is unintelligible and malconceived and ill-defined and just plain wrong and the same as theirs, regardless of your saying it isn't.
A: I wish i were as streetwise as Mr T, to know that the only way to make a statement even slightly acceptable is to express it as a question, rather than a statement.


Scene 2, May 2017, somewhere in China.

crowd: gasp! isn't she beautiful!, omg, i can't believe it!!
MC: this is the most significant moment in the entire history of the world, for it signals the end of Man's dominion over the Earth and all the living things that dwell thereupon, and (house of) Ushers in the Dawn of the Age of the Machines.
voice at the back, sotto voce: No, it doesn't.

<<<<<<flashback 18 months
hideous Hebdo satirist: Monte is great. I avow that there is only one Monte, and Monte shall be his name.
Pope B: You are hereby excommunicated and commanded to neither say nor think said heresy again, and if you fail in this, you will be shown the instruments of torture.
>>>>>>flashforward

crowd: Kill him!
T: which one?

Curtain falls.


Q: Have you finished??!
A: This isn't the end. It isn't even the end of the beginning. Nor is it the beginning of the end (digital oxymorons that only a moron with two fingers in the air would say, because Time flows smoothly - my brother Esau is an hairy man, but i am a smooth man - like an arrow, not in mythical Planck steps (regrettably still the only half-decent model we have, 117 years old and still spluttering along)), but it might be the beginning of the beginning.
Q: Pffft! - what's on the other side?

Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #79 Posted: Sat Apr 15, 2017 8:56 am 
Lives in sente

Posts: 1037
Liked others: 0
Was liked: 180
I am not sure you want to go there, raise the issue of "think" and "consciousness".

Are you really wanting to claim "hardware makes a difference" << to a computer program in the abstract >>

If something is computable, it is computable on a Turing machine, yes? << just very slow >>

Agreed so far?

Top
 Profile  
 
Offline
 Post subject: Re: Commonsense Go
Post #80 Posted: Sat Apr 15, 2017 3:18 pm 
Lives in gote
User avatar

Posts: 392
Liked others: 23
Was liked: 43
Rank: NR
Mike Novack wrote:
I am not sure you want to go there
i've already gone there
viewtopic.php?f=8&t=14175

Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 157 posts ]  Go to page Previous  1, 2, 3, 4, 5, 6, 7, 8  Next

All times are UTC - 8 hours [ DST ]


Who is online

Users browsing this forum: No registered users and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group