Argumentation, Code Regions and Services

Argumentation Community Group,

I would like to share some ideas pertaining to argument technology. The ideas are available at: https://discourse.wicg.io/t/proposal-code-regions/4009 .

The ideas include document elements, code regions, which can contain content in computer programming languages, knowledge representation languages, other machine-readable syntaxes, mathematics or natural languages. The ideas include that groups or sequences of these elements or regions can make use of services to provide users with visual hints and feedback, e.g. pertaining to the correctness of programming language portions, to epistemological factors pertaining to fact-checking, or to the verification and correctness of reasoning or argumentation.


Best regards,
Adam Sobieski