.png){kind=icon}
返回
Auto-Generating Visual Editors for Formal Logics with Blockly
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-10794-7_22.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
形式逻辑是计算系统规范与验证的核心，但其应用因陡峭的学习曲线和易出错的文本符号而在非专业领域受限。提升符号的可及性在教育及非专家需要参与形式推理的情境中尤为重要。我们提出一种框架，利用Blockly库自动生成形式逻辑的积木式可视化编辑器。基于语法和组合规则的JSON结构化规范，该工具生成基于浏览器的编辑器，用户通过组合图形积木而非编写代码来构建公式。此方法降低了学习者和非专家的句法障碍，同时允许专家无需手动设计界面即可定义新逻辑。尽管与验证后端的集成计划中，该工具已为可访问、可定制的逻辑编辑器提供了可复用的基础。
Keyword:
Logic Editor Generation
Block-Based Specification
Blockly
期刊
I
IF:
0
论文数:
23
被引数:
0
.png){kind=icon}
查看更多内容