通过自动翻译为回答集编程并学习该翻译来解决英文描述的谜题
计算与语言
2011-08-22 v1 人工智能
计算机科学中的逻辑
摘要
我们展示了一个能够自动解决以（简化）英语给出的组合逻辑谜题的系统。该系统涉及将谜题的英文描述翻译为回答集编程 (ASP)，并使用 ASP 求解器来提供谜题的解答。为了翻译这些描述，我们使用了一种基于 lambda 演算的方法，该方法采用概率组合范畴语法 (PCCG)，其中词语的意义与参数相关联，以便能够区分同一词语的多种含义。许多词语的意义和参数都是通过学习获得的。谜题在 ASP 中使用一种本体论来表示，该本体论适用于一大类逻辑谜题。
引用
@article{arxiv.1108.3850,
title = {Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation},
author = {Chitta Baral and Juraj Dzifcak},
journal= {arXiv preprint arXiv:1108.3850},
year = {2011}
}