上下文无关语言句法分析方法在逻辑程序查询求值中的应用
人工智能
2014-05-16 v1
摘要
我的研究目标是使用基于Earley解析算法的解析器生成算法来求值和编译逻辑程序查询，特别是演绎数据库的查询。通过部分演绎，从逻辑程序查询生成一个参数化自动机，该自动机模拟该查询的求值过程。该自动机可以编译为可执行代码；因此我们期望在查询求值的运行时获得加速。本文是第30届国际逻辑程序设计会议（ICLP 2014，2014年7月19-22日，奥地利维也纳）博士生论坛录用论文的扩展摘要/完整版本。
引用
@article{arxiv.1405.3826,
title = {Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs},
author = {Heike Stephan},
journal= {arXiv preprint arXiv:1405.3826},
year = {2014}
}