认知逻辑程序求解器研究进展综述
人工智能
2018-09-20 v1
摘要
近期在回答集编程扩展上的研究重新引发了对认知规范语言 (Epistemic Specifications) 的兴趣，该语言添加了模态算子 K（“已知”）和 M（“可能为真”），以提供更强大的内省推理能力和增强的表达能力，特别是在处理不完全信息推理时。认知逻辑程序是该语言中的一组规则。研究中一直怀有对高效求解器的渴望，以使此类程序能实际用于问题求解。在本文中，我们报告认知逻辑程序求解器的发展现状。
引用
@article{arxiv.1809.07141,
title = {A survey of advances in epistemic logic program solvers},
author = {Anthony P. Leclerc and Patrick Thor Kahl},
journal= {arXiv preprint arXiv:1809.07141},
year = {2018}
}
备注
Proceedings of the 11th Workshop on Answer Set Programming and Other Computing Paradigms 2018