My commentary on the Korean 2013 Rules is available:

http://home.snafu.de/jasiek/k2013c.pdf

The document includes citations of relevant parts of the rules and their appendices, a detailed commentary, a correction of the rules, a suggestion of Simplified Korean Rules and examples for them. For this purpose, I have invented the pragmatic concepts 'basic-life' and 'independent region'. While official Korean rules are very complicated under their surface and hide parts of their complications on the surface, my simplifying model shows that they imply a core, with which most of the complexity can be replaced by applicable concepts.

If you understand (and apparently accept) that Asian educational culture is different from ours, surely you can understand that legal culture is also different. In Japan, in particular, recourse to courts is avoided in favour of negotiated compromise. We have the same idea in western divorce cases where great attempts are made to solve problems out of court, irrespective of what the laws may say. This is often the benefit of others, e.g. the children in divorce cases. The go analogy might be that negotiating problem cases, or leaving them to a Solomonic arbiter, on the basis of simple rules texts makes life easier for the great mass of players. As has been observed repeatedly, this approach works very, very well in practice. If something works so well, it's hard to say it's wrong.

Indeed. Even within the legal frameworks of the Western world there differing philosophies. In Canada, Quebec uses the original French civil law, in which the core principles are codified a priori. This sounds like what Robert espouses. The remainder of Canada uses (British) common law, where the core principles have been laid down over time by the precedents set by previous court decisions. Both provide perfectly viable frameworks to make decisions.

I have been unable to find a link to these rules, nor any mention of new rules on the Korean Baduk Association web site (in the English pages, anyway). It would be interesting to see the full document, and to find out whether in fact the KBA has adopted new rules.

_________________
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.

I have the full documents here and was told that they were the current Korean Rules. Unfortunately, I do not know if they are public domain, so I cannot upload them at the moment.

As I have learnt now, despite "Korean Rules" in their title, these are not the Korean Rules. Instead, the Asian Games 2013 Rules and their two Attachments were set by the Asian Go Federation and were used for the 4th Asian Games in 2013. See the changed preface in my now corrected commentary:

http://home.snafu.de/jasiek/AsianGamesR ... entary.pdf

The rules documents are available now:

http://home.snafu.de/jasiek/AsianGamesRules.pdf
http://home.snafu.de/jasiek/AsianGamesR ... hment1.pdf
http://home.snafu.de/jasiek/AsianGamesR ... hment2.pdf

Interesting rules. It's nice that local ko threats are valid and a self contained moonshine ko can live. Though this concept of "local" might be harder to formalize than in Japanese rules.

Both Japanese local-2 and Asian Games local (should) depend on "force", so they are in the same difficulty class. I needed much more time to decipher local-2 simply because it was the first non-trivial local concept for which I had to make a breakthrough in research. For writing the commentary, I needed "only" about 4 weeks, because I could apply my prior research knowledge and experience. Without first solving the Japanese rules, I am not sure if I could have "solved" the Korean style rules at all; they are more inconsistent with their implicit conceptual background.

Thank you, Robert, for the links to the rules texts. It really helps.

Edit: Hmmm. It looks like these rules are a variant of the Ing rules.

Brief comment:

"The number of liberties of a contiguous group is the sum of liberties of each stone in the group" (p. 5).

That statement is false, and they even give an example without noticing that.



These stones together have 7 liberties. The D-16 stone has 2 liberties, the D-15 stone has 3 liberties, and the E-16 stone has 3 liberties. 2 + 3 + 3 = 8. Tilt!

_________________
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.

That seems to be true if you compare it to j2003 (I need to think about).
But I have created a model for j1989 with a much more easy and (imo) more elegant way than the local-1 and local-2 concept of the j2003 rules.

However for this ruleset it doesn't work and (atm) I think it cannot be simply changed to cover it. (EDIT: I made a thinking mistake there. It rather seems that the opposite is right.)

I assume they mean "the number is the sum of (liberties of each stone in the group)", rather than "the number is (the sum of liberties of) each stone in the group". Since a liberty for them is an intersection (a spot on the board, not a characteristic of a group), it makes sense that they are thinking of a collection of intersections, rather than of sigma(liberties of stone i)_i=1ⁿ

Of course they were thinking about a collection of intersections, but that's not what they said. "(the sum of liberties of)" does not parse. Besides, summation is not the process by which we find the number of liberties of the group. Counting is.

What they meant, I suppose, is that the set of liberties of the group is the union of the sets of liberties of each stone. The number of liberties of the group is the cardinality of that set. OC, by then they have lost their audience.

_________________
The Adkins Principle:
At some point, doesn't thinking have to go on?
— Winona Adkins

Visualize whirled peas.

Everything with love. Stay safe.

asura, it is easy to design easy models, but the question is always: do they model (Japanese rules) so that all examples behave as they were meant to behave? J2003 I have tested successfully.

It was not that easy to make it as easy as possible and still working in all cases. In fact I started with more complicated models and created new models out of this that were (almost) dominat smaller or simpler.

Of corse you're right about testing and that's the weakest spot for my model.
I have tested it only on a small number of positions and concentrated mainly on special cases. (Because it's more interesting - but for practise the reverse would be more important, of corse)

I like to beleave my model always works as intended by j1989, but I'm somewhat unsure because it only uses a quite simple pattern for life and death and I might have overlooked cases that are different.

Anyway, the starting point was that I said this rules (local ko threats) are more complicated than j1989 (ko-pass).
When you say both can be modeled with local-1/2 why does this automaticly imply both are same complex?

asura, for your Japanese rules model, start testing the second part of the official commentary, except examples 16-18. All the other examples must work as shown. Besides, test snapback at a territory boundary and further fake dead stones on the inside / outside.

Do you want to replace local-2 by something else? Why? Recall the equivalence relation to two-eye-formation:
http://home.snafu.de/jasiek/wagcmod.html

Japanese / Korean locality: the complexity is not the same, but the complexity class is the same: first define "force", then define life and death and locality concepts by using force. (My Simplified Japanese Rules and Simplified Korean Rules forgo such and rely on much simpler, implicit localities.)

I will grant you that, but I think you are asking for a lot from a document that was clearly not produced by a native English speaker!

Version 2 of my commentary contained a typo in the Simplified Korean Rules, Game End Procedure, point 2, where of course "two successive," must be "two successive passes,". This is corrected now in version 3.

It is of course possible that it was a straightforward booboo, but experience tells me another explanation has to be considered as potentially more likely. All the Oriental go languages have the characteristic that they do not normally distinguish singular and plural. That works, but sometimes they need to be more specific. There are several ways but one is to use 各, which is sometimes used to mean 'each' but which is also often used simply as a pluraliser. Further, the mathematical sounding 'sum' is probably only the word for 'total number'. So the original sentence could (or 'should', with high probability) have been translatable as something like 'the number of liberties of contiguous stones is the total number of liberties of the stones as a group.'

I said I tested it on a (relative) small number, but of corse I tested it on the examples of the official commentary, else I had said I tested it not at all

BTW my model works for example 16-18, too, as my motivation was to get a model that ALWAYS works correct. (Of corse I mean the *intended* result, not the flaw with endless ko-passes.)
Of corse (as far I'm aware) it covers snapback and dead stones on the inside, too. What exactly do you mean with "fake" dead stones?
And even a unfilled ko (capturable-3 in j2003) works without introducing a more complex method.


I'm neither using different local-n's nor using 2-eye-formation. Only can (force) capture or cannot (force) capture matters. Depending on this every string gets exactly one of two states: dead or alive. This is more easy than in j2003. The most difficult is to restrict the area where a new played compensation stone affects the state of the string in question.
This point makes a different with this rules.


I dont't see why you think that your model can prove that the complexity class is the same. That would require to prove that your model is the one with the lowest complexity for both rules.
Lets say my model for j1989 is less complex than j2003 but it doesn't work for the "Korean" rules then the reverse would be proven.

edit: Actually this wouldn't prove the reverse, because for this I would need to prove my model is the one with lowest complextity for j1989.