UndoableNotHistoryIgnorant

Bx Examples Repository

Title: UndoableNotHistoryIgnorant

Version: 0.1

Type: Precise

Overview

An artificial example illustrating that not every undoable bx is history ignorant. ("History ignorant" has also been termed "strongly undoable" in the past.)

Models

$M = \{a,b,c\} \times \{false, true\}$

$N = \{a,b,c\}$

Consistency

Consistency simply ignores the second component of the $M$ model:

$R((x,\_),x)$

Consistency Restoration

$\overrightarrow{R}((x,\_),y) = x$ (there is no choice here, if the bx is to be correct and hippocratic)

$\overleftarrow{R}((x,\phi),y) = (y, \neg\phi)$ if as sets $\{x,y\} = \{a,c\}$

$\overleftarrow{R}((x,\phi),y) = (y,\phi)$ otherwise.

Properties

Correct, hippocratic, undoable, not history ignorant.

Discussion

This is Example 2 from the paper referenced below.

Undoability says that mistakes can be fully undone, provided the initial pair of models was consistent. History ignorance removes the "provided".

The role of $\phi$ here is to mess up the undoing if the models started off inconsistent.

References [optional section]

@article{DBLP:journals/eceasst/Stevens12,
author = {Perdita Stevens},
title = {Observations relating to the equivalences induced on model sets by bidirectional transformations},
journal = {ECEASST},
volume = {49},
year = {2012},
ee = {http://journal.ub.tu-berlin.de/eceasst/article/view/714},
bibsource = {DBLP, http://dblp.uni-trier.de}
}

Author(s)

Perdita Stevens

Reviewer(s)

Comments

Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.