Areas of accomodation

One issue that we face is accomodating ancillary functionality:

• Whether to accomodate
• How much
• How

The last item, in my view, suggests a cautious answer:  In order to keep our scope small, perhaps we can proceed by merely surveying primary parties about what ancillary information they need to read and write, choosing a suitable location and existing format, and leaving it at that.

Potential areas wanting accommodation, not all of which we may wish to support, might include:

• Mechanical theorem provers and proof checkers
• Writing proofs into this format
• Reading and proof-checking arguments that aspire to rigor.
• Annotating this format with the results of such checking.

• Argument visualization software
• Reading the format and producing visualizations.
• Expecting some sort of visual placement hints.
• Or (better for us) deciding visual placement entirely by their own means.
• Editors for transcribing or annotating arguments.  I honestly don’t know the state of the art here at all.
• Automated transcription, such as by natural language understanding.

Please feel free to comment.