The jobs puzzle: Taking on the challenge via controlled natural language processing

作者：Schwitter Rolf^*

来源：Theory and Practice of Logic Programming, 2013, 13(4-5): 487-501.

DOI：10.1017/S1471068413000306

• Controlled natural language
• knowledge representation
• answer set programming

In this paper we take on Stuart C. Shapiro%26apos;s challenge of solving the Jobs Puzzle automatically and do this via controlled natural language processing. Instead of encoding the puzzle in a formal language that might be difficult to use and understand, we employ a controlled natural language as a high-level specification language that adheres closely to the original notation of the puzzle and allows us to reconstruct the puzzle in a machine-processable way and add missing and implicit information to the problem description. We show how the resulting specification can be translated into an answer set program and be processed by a state-of-the-art answer set solver to find the solutions to the puzzle.

• 出版日期2013-7