flexABle v1.0

flexABle 1.0

TBA

v0.5 - Automatically find a successful DD

Automatically find successful DD

New commands:

auto dfs - find the first successful DD using depth-first search
auto bfs - find the first successful DD using breadth-first search

After a successful DD has been found, type ENTER to confirm it or ; to look for the next one (like in Prolog).
When confirmed, the derivation will be selected as the current one, meaning that you will be able to generate the dot or arg representations of it. Currently, you cannot backtrack to previous dispute states when chosen an automatically found DD. This feature will be added shortly.

Example:

auto bfs
Finding a successful derivation. This can take a moment...
Successful derivation found in 13.7382074.
1: [PB1: xWheelsWide ← wheelsSkinny]
2: [PB1: wheelsSkinny ← w4WheelsSkinny]
3: [OB2: xWheelsSkinny ← wheelsWide]
4: [OB1: wheelsWide ← typeMountain]
5: [OB1: typeMountain ← w6TypeMountain]
6: [PB2: xTypeMountain ← xWheelsWide]
Press ENTER to finish, ; to find another one

This version is restricted: the search strategy is fixed and user cannot backtrack from chosen DD. This will be added in the next releases

v0.4 - Generation of AB-arguments

User is now capable of generating AB-arguments.

New options:

arg - generate a AB representation in DOT format to a file
arg <filename> - generate AB representation in DOT to <filename> file
argp 1 - enable continuous AB generation whenever dispute state changes (DOT file generated to temp_arg.dot)
argp 0 - disable continuous AB generation whenever dispute changes

v0.3.1 - change in opponent's DC

In DC opponent can now move from contraries of currently defended assumptions.

v0.3 - Advancement / termination update; gradient colours, legend

• exporting legend explaining shapes and colours to a file when performing legend
• gradient fillings (if solid are preferred, generate the encodings with dot s
• printing help (option h)
• printing info about decorators (option d)
• changed square shapes to rectangles to save space; decreased margins & yellow parent dots; increased font...
• updated termination criteria and advancement types

Legend:

Version 0.2.3 - slight change in termination criteria

v0.2.3

Corrected termination criteria.

Version 0.2.2 - another fixes, simplifying CLI, adding more features to graphical output

Changes:

Interface

Showing only B, goals and contraries and culprits w/o complete arguments, defences & contraries.
Simplified view. More information accessible by choosing:

• r / rules - show rules
• a / assumptions - show assumptions (because of that the experimental argument-based representation option changed to arg)
• moves - show moves sequence
• m / more - show more information (remaining assumptions and unplayed, defended assumptions)

(temporary) Added possibility to show moves possible wrt all advancement types by choosing:

• ??

Added more features to graphical output

• remaining blocked rules with heads in the opponent's set

some other bug fixes

Version 0.2.1 - minor fixes

• updated the requirements for PF1
• fixed bug crashing the program when requesting a valid move that is not currently applicable

Version 0.2 - Setting dispute advancement types / termination criteria; generation of DOT representation

Added option to switch between dispute advancement types and termination criteria and generation of DOT graph representation of rule-based approach.

Usage:

• dot - generate a DOT graph representation based on rule-based graph to a file
• dot <filename> - generate a DOT graph representation based on rule-based graph to <filename> file
• i / info - print information about currently set dispute advancement type and termination criteria type
• ca <dispute advancement type> - set the dispute advancement type to <dispute advancement type>
• ct <termination criteria type> - set the termination criteria type to <termination criteria type>

Possible <dispute advancement type>s are (case insensitive):

DF, DAB, DABF, DC, DS

Possible <termination criteria type>s are (case insensitive):

TA, TC, TS

Version 0.1.1 - Argument based approach arguments generation

Added option to switch to "argument based" notion of arguments (to do so, press a).