[Retros] MDR / postulates / hierarchy
raosorio at fibertel.com.ar
raosorio at fibertel.com.ar
Thu Feb 28 08:48:36 EST 2008
Your postulates are very clear and out of question dealing with legal positions
(I think that the attempt to link to a posteriori - or to retro-variant logic is not just
a dream but a matter of further work).
Regarding MDR, it has to be noted that we are dealing with ¡°deviations¡± from the
article 3. The MDR task is to build a general frame to contain in the same convention
the cases of illegal full moves, underway legal moves and even underway illegal moves.
This is like having all the X-men in the same room and trying to keep order.
Look at this example,
Jorge Lois, Roberto Osorio Sergio Orce & Jos¨¦ Verdejo
Die Schwalbe 13071
#1 (RV?) Both kings under check
This problem would be now published as ¡°#1 (RV) MDR Romantic Type¡±. Problem intention is to show a last illegal full move (c4xd3 e.p.) and, under the MDR logic,
apply the article 4.3 consequences (touched pieces; which one first?, motivating the RV,
mate by white & mate by black).
But the MDR convention also contains the underway move cases (as in the twinning
Example in my feb 27th message). Without some hierarchy, the problem would be cooked by a half legal move variant (a knight on c3, where white or black would be in
the process to capture it).
For this reason, the MDR definition establishes that the correct solution is the one
showing the highest preference according to the following order,
-A full legal move
-A full illegal move
-The less incomplete legal move
-The less incomplete illegal move
On top of this, MDR is a convention for retros and therefore all the genre conventions
apply (no moves after mate, DR, etc). This keeps the X-men quite controlled. The ¡°less
incomplete¡± detail produces some fine situations. For instance,
Mate? Circe - MDR
solved by Andrew Buchanan but that time the hierarchy had not been presented
and therefore the discussion couldn¡¯t be complete.
It¡¯s not a full delivered mate because the position can¡¯t result from a full move.
It has to be noted that in Circe a capture is composed by three parts: to remove the opponent¡¯s piece, to move the own piece to the capture square and to install the
captured piece on its homesquare. Candidates to be the underway move (legal) are KxBe1 / Rx(Q,R,B,N) on b1 to d1, In the process to deliver mate / b3xBa2 (after Bb1-
a2+) / b3xNa2 (after Nc1-a2+).
Excepting b3xBa2 and b3xNa2, all the rest show just 1 part of the move already
done. On the contrary, b3xBa2 and b3xNa2 show 2 parts already done. But b3xBa2
would be an after mate move, so the correct underway retraction is b3xNa2.
Your pretty formal approach to MDR hooks in quite nicely to the system I have developed for the formalization of "missing game state information" conventions. Look at these postulates:
(1) A diagram is preferably viewed as a position at the start/end of a full move. I call that the "dominant assumption". The dominant assumption is the one you must assume in play if it is legal in at least one proofgame for the position.
(2) A diagram can be viewed as a position with a move underway only if inevitable. I call that the "recessive assumption". No proof game may exist where the diagram coincides with the completion or start of a full move.
Of course, (1) and (2) are the opposite sides of the same coin and are only separated for clarity. The first one corresponds in form to the castling convention, the second one to the e.p. convention. Evidently, the standard forms for these extended conventions can only be derived from your premise that "the MDR definition ALLOWS a deviation but not forces it" which is not true for some of the Finzer categories. With the 2 new genre postulates, no further stipulations are needed to identify an "MDR-problem" amidst "full-move problems" which is ideal from the design viewpoint.
A further advantage of this postulate form is that it may be seamlessly tied in to aposteriori logic - where a fractional move assumption could overtake a full move assumption if justified a posteriori - or to retro-variant logic - with partial solutions linked to different fractional retro-moves. But this paragraph is probably just my dream!
Van: retros-bounces at janko.at [mailto:retros-bounces at janko.at] Namens raosorio at fibertel.com.ar
Verzonden: woensdag 27 februari 2008 14:16
Aan: retros at janko.at
Onderwerp: [Retros] MDR / promotion / fractional moves
Many thanks for this very valuable mail. This is the type of help we need indeed:
Antecedents. We knew the BG (Ber¨¹hrt - Gef¨¹hrt = Touched-Moved) one but not the article you are commenting here.
Any additional help would be very welcome.
Yes,. I got the Finzer's problem from the PDB.
The MDR convention we are working on attempts to establish a general frame for all the retroanalyzable types of deviation from article 3 (Laws of Chess). These deviations are classified as,
- Opportunity: leaving its own king in check; using already lost rights
- Completeness: the move does not complete all it's parts.
- Sequence: the move does not respect the legal order of its partial actions
(promotion and castling)
We use "retroanalyzable" because the geometry of the move (complete or not) respects the article 3. On the other hand, the MDR definition ALLOWS a deviation but not forces it. Then, an MDR problem has to build a proper scenario for a correct solution that makes the situation "retroanalyzable".
We identified 16 deviation cases for the orthodox chess. These include cases resulting from a complete and illegal move (as in the BG problems) and from a fractional move (legal or illegal, as in the Finzer's article). We established a simple hierarchy in the scale completeness- legality that makes possible all these types to coexist under the same convention with a clear criteria to determine the correct solution.
Jorge Lois & Roberto Osorio
Is white forced to deliver mate? MDR
b) wR from h8 to a8
A retro looking to the position shows that white is in the middle of a capturing process.
(other way, black side would be retrostalemate).
a) f7xRe8=... is being done, legal but not complete (1 part done, 2 undone). Then, according to article 4.6 the move has to be completed and it's mate despite of the type of piece it were promoted.
b) f7xRg8=... is being done, illegal and incomplete (2 parts done, 2 undone, illegal sequence). Then, a strange retraction (article 7.4) has to be made: to recover the position with the black rook on g8, but after that white is forced to capture this rook anyway (article 4.3, the rook was "touched"). To capture the rook white has to play f7xRg8=... but it's not committed at all to promote a bishop. So, the answer is no, since white is able to promote a knight.
This example illustrates my original point of "legal order of partial actions". A bishop promotion was clearly insinuated (half done) but there are no penalties. This is the most subtle case: a just formal illegality showing retroanalyzable traces.
More information about the Retros