乌胡拉

Uhura:一个使用受控自然语言指定答案集程序的创作工具。在这篇文章中,我们提出了一个用于开发答案集程序的工具Uhura,它通过在受控的自然语言中指定问题描述,然后转换成答案集编程(ASP)规则。该工具旨在支持不熟悉答案集编程或一般基于逻辑的程序开发方法的用户。Uhura基于一种新的受控自然语言LU,而LU又是PENGASP的改编版,PENGASP是Guy和Schwitter开发的PENGASP系统中使用的一种受控自然语言,用于通过将PENGASP语句转换为答案集程序来解决计算问题。与PENGASP相比,LU允许更自然地转换为ASP规则,并提供更广泛的预定义句型集。Uhura是用Java实现的,并使用DLV作为后端答案集解算器。