MMNov, 2023

CNL2ASP:将受控自然语言句子转换为 ASP

TL;DR使用受控自然语言(CNL)形式的英语句子作为输入,CNL2ASP 工具将其转换为 ASP 规则,用于指定合成和实际组合问题的声明性编程语言 ——Answer Set Programming(ASP)。经过实验分析,我们的工具在真实问题上表现出与 ASP 开发者编写的编码相当的性能。