交替路径相关性的性质与扩展 - I
计算机科学中的逻辑
2019-05-23 v1 人工智能
摘要
当从大量逻辑断言中证明定理时，将证明搜索限制于那些相关的断言（即某种意义上与定理紧密关联者）会有所帮助。例如，在 Watson 系统中，必须快速搜索大型知识库以寻找相关事实。对于命题逻辑与一阶逻辑，可以定义形式化的相关性概念。为此已定义多种相关性概念，其中一些在大型问题上取得了良好结果。我们此处特别考虑一种基于交替路径的概念。我们提出高效的基于图的方法来计算交替路径相关性，并给出一些表明其有效性的结果。我们还提出一种基于交替路径的该相关性方法对 DPLL 的扩展，具有改进的时间界，并给出其他旨在提升性能的交替路径相关性扩展。
引用
@article{arxiv.1905.08842,
title = {Properties and Extensions of Alternating Path Relevance - I},
author = {David A. Plaisted},
journal= {arXiv preprint arXiv:1905.08842},
year = {2019}
}