Uhura: An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language

摘要

In this paper, we present the tool Uhura for developing answer-set programs by means of specifying problem descriptions in a controlled natural language which then are translated into answer-set programming (ASP) rules. The tool is aimed for supporting users not familiar with answer-set programming— or logic-based approaches in general—for developing programs. Uhura is based on a new controlled natural language called L~U, which is in turn an adaption of PENG~(ASP), a controlled natural language employed in the PENG ASP system, developed by Guy and Schwitter, for solving computational problems by translating PENG~(ASP) statements into answer-set programs. In contrast to PENG~(ASP), L~U allows for a more natural translation into ASP rules and provides also a broader set of pre-defined sentence patterns. Uhura is implemented in Java and employs DLV as baekend answer-set solver.