×

兹马思-数学第一资源

Uhura:一个使用受控自然语言指定答案集程序的创作工具。(英语) Zbl公司 07169131
Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。第16届欧洲会议,JELIA 2019年,意大利伦德,2019年5月7日至11日。诉讼程序。查姆:斯普林格(ISBN 978-3-030-19569-4/pbk;第978-0308-1957页)。计算机科学课堂讲稿11468。人工智能课堂讲稿,559-575(2019年)。
摘要:在本文中,我们提出了一个开发答案集程序的工具Uhura,它通过在受控的自然语言中指定问题描述,然后将其转换为答案集编程(ASP)规则。该工具旨在支持不熟悉答案集编程(或通常基于逻辑的方法)的用户开发程序。Uhura是基于一种新的受控自然语言\(\mathrm{L}^{\mathrm{U}}\),它是由Guy和Schwitter开发的一种在PENG ASP系统中使用的受控自然语言\(\mathrm{L}^{\mathrm{ASP}}\)的改编,通过将\(\mathrm{PENG}^{\mathrm{ASP}}})语句转换为答案集程序来解决计算问题。与\(\mathrm{PENG}^{\mathrm{ASP}})相比,mathrm{L}^{\mathrm{U}}\)允许更自然地转换为ASP规则,并提供更广泛的预定义句型集。Uhura是用Java实现的,并使用DLV作为后端答案集解算器。
整个系列请参见[Zbl 1412.68007号].
理学硕士:
68T27型 人工智能中的逻辑
PDF格式 BibTeX公司 XML 引用
全文: 内政部