Inside the nodes of the conversational patterns

Each pattern consists of several nodes, ‘driven by eachother’ according to dependency to information asked through directives. For each pattern, we list and briefly describe the different nodes in the following way:

- name of the node

- list of its drivers (nodes from the same pattern)

- input: either triggerFor (starter) or answersFor (list of directives)

- output in the form of commissives, assertives and directives

conversational pattern: LAUNCHER

starter:

SAlauncher = ([max:State:ALL:*].[dimension:Param: ALL:*]; SA)

commissives:

CA01 = ([test:Value: ALL].[row:XY: ALL:*].[column:XY: ALL:*].[dimension:Param: ALL:*]. [when:State: ALL:*]; CA) CA02 = ([test:Set: ALL:*].[dimension:Param: ALL:*].[when:State: ALL:*]; CA)

CD03 = ([accepted:Value: ALL].[row:XY: ALL].[column:XY: ALL].[when:State: ALL:*]; CD) startNode: LAUNCHER-1

drivers: none

input: triggerFor (SAlauncher) contains the information dim= dimension and maximum number of states; from which the indexes for {rowⁱ}, {column^j}, {set^k} and {stateⁿ} can be computed.

output: assertives for Cell and Set invocation; and directive for gathering results replace the commissives.

CA011^{i, j, n} = ([test:Value: ALL].[row:XY:rowⁱ].[column:XY:column^j].[dimension:Param:dim]. [when:State:stateⁿ]; AA) CA021^{k, n} = ([test:Set:set^k].[dimension:Param: dim].[when:State:stateⁿ]; AA)

DD030 = ([accepted:Value: ALL].[row:XY: ALL].[column:XY: ALL].[when:State:>0]; DD)

postNode: LAUNCHER-2 drivers: LAUCHER-1

input: answersFor (DD030)

output: no sentences are output, but a recapitulation of the new state of the grid is provided to the user.

conversational pattern: CELL

starter:

SAcell = ([test:Value: ALL:*].[row:XY: ALL:*].[column:XY: ALL:*].[dimension:Param: ALL:*]. [when:State: ALL:*]; SA)

commissives:

CA06 = ([accepted:Value: ALL:*].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CA) CA07 = ([rejected:Value: ALL:*].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CA) CD08 = ([accepted:Value: ALL].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CD) CD09 = ([rejected:Value: ALL].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CD)

startNode: CELL-1 drivers: none

input: triggerFor (SAcell) contains the information row^a, column^b and stateⁿ corresponding to the invocation; a and b which index row and column are constants.

output: commissives and directives replacing the initial commissives; it should be noted that Cell-1 asks questions about states previous to stateⁿ and commits itself to provide information at stateⁿ⁺¹.

CA061 = ([accepted:Value: ALL:*].[row:XY:row^a].[column:XY:column^b]. [when:State:stateⁿ⁺¹]; CA) CA071 = ([rejected:Value: ALL:*].[row:XY:row^a].[column:XY:column^b]. [when:State:stateⁿ⁺¹]; CA) DD080 = ([accepted:Value: ALL].[row:XY:row^a].[column:XY:column^b].[when:State:<=stateⁿ]; DD) DD090 = ([rejected:Value: ALL].[row:XY:row^a].[column:XY:column^b].[when:State:<=stateⁿ]; DD)

postNode: CELL-2 drivers: CELL-1

input: answersFor (DD080 & DD090) which contain the information about the eventual existence of a value accepted before stateⁿ for the cell; as well as about values rejected before stateⁿ.

output: assertives describing accepted values for the cell, as well as rejected values for its neighbours {(row^p, column^q}) at stateⁿ⁺¹; p and q which index row and column for the neighbours indicate a matrix.

AA0610 = ([accepted:Value: v^{a, b}].[row:XY:row^a].[column:XY:column^b]. [when:State:stateⁿ⁺¹]; AA) AA0710^p,q = ([rejected:Value:v^{a, b}].[row:XY:row^p].[column:XY:column^q]. [when:State:stateⁿ⁺¹]; AA)

conversational pattern: SET

starter:

SAcell = ([test:Set: ALL:*].[dimension:Param: ALL:*].[when:State: ALL:*]; SA)

commissives:

CA06 = ([accepted:Value: ALL:*].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CA) CA07 = ([rejected:Value: ALL:*].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CA) CD08 = ([accepted:Value: ALL].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CD) CD09 = ([rejected:Value: ALL].[row:XY: ALL:*].[column:XY: ALL:*].[when:State: ALL:*]; CD)

startNode: SET-1 drivers: none

input: triggerFor (SASet) contains the information set^k,and stateⁿ corresponding to the invocation.

output: the set asks questions related to its own cells {(rowⁱ, columnⁱ}); i and j which index

row and column indicate a matrix.

CA061^{i, j} = ([accepted:Value: ALL:*].[row:XY:rowⁱ].[column:XY:column^j]. [when:State:stateⁿ⁺¹]; CA) CA071^{i, j,} = ([rejected:Value: ALL:*].[row:XY:rowⁱ].[column:XY:column^j]. [when:State:stateⁿ⁺¹]; CA) DD0810 ^{i, j} = ([accepted:Value: ALL].[row:XY:rowⁱ].[column:XY:column^j].[when:State:<=stateⁿ]; DD)

postNode: SET-2 drivers: SET-1

input: answersFor (listDD0810 ^{i, j}) which contain the information about which cells in the set are still waiting for a value.

output: directives asking for rejected values related to those cells still waiting.

DD0910 ^{p, q} = ([rejected:Value: ALL].[row:XY:rowⁱ].[column:XY:column^j].[when:State:<=stateⁿ]; DD)

postNode: SET-3 drivers: SET-1,SET-2

input: answersFor (listDD0810 ^{i, j} & listDD0910 ^{p, q}) which contain the information about free cells and restricted values for them.

output: accepted values for the cells of the set, as well as rejected values for their neighbours {(row^p, column^q}) at stateⁿ⁺¹; i and j which index row and column for the cells and p and q which index row and column for the neighbours indicate a matrix.

AA0610^{i, j} = ([accepted:Value: v^{i, j}].[row:XY:rowⁱ].[column:XY:column^j]. [when:State:stateⁿ⁺¹]; AA) AA0710^{p, q} = ([rejected:Value:v^{i, j}].[row:XY:row^p].[column:XY:column^q]. [when:State:stateⁿ⁺¹]; AA)