托比亚斯·凯恩;汉斯·托姆皮茨 Uhura:使用受控自然语言指定应答程序的创作工具。 (英语) Zbl 1525.68009号 Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。第16届欧洲会议,2019年5月7日至11日,意大利伦德,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 559-575 (2019). 摘要:在本文中,我们提出了一种工具Uhura,用于通过在受控自然语言中指定问题描述来开发答案集程序,然后将问题描述转换为答案集编程(ASP)规则。该工具旨在支持不熟悉答案编程或一般基于逻辑的方法的用户开发程序。Uhura基于一种新的受控自然语言,称为\(\mathrm{L}^{\mathrm{U}}\),该语言又是对\(\mathrm{PENG}^{\ mathrm}ASP}\)的改编,后者是由Guy和Schwitter开发的PENGASP系统中使用的受控自然语,用于通过翻译解决计算问题语句转换为应答程序。与\(\mathrm{PENG}^{mathrm}ASP}}相比,\mathrm{L}^{mathrm{U}}允许更自然地转换为ASP规则,并提供更广泛的预定义句型集。Uhura是用Java实现的,并使用DLV作为后端答案集求解器。有关整个系列,请参见[Zbl 1412.68007号]. MSC公司: 68N17号 逻辑编程 68T50型 自然语言处理 关键词:答案集编程;程序开发;受控自然语言 软件:哈维;笔筒;海狮;乌胡拉;Potassco公司;天基信息平台;DLV公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Kain}和\textit{H.Tompits},莱克特。注释计算。科学。11468、559--575(2019年;Zbl 1525.68009) 全文: 内政部