使用声明式逻辑编程方法为智能信息代理提供服务

Web 上的信息检索面临若干问题，这些问题一方面源于大量可用来源，另一方面源于这些来源的异质性。一个有前景的解决方法是使用信息代理的多主体系统，这些代理合作地解决高级信息检索问题。这需要具备解决复杂任务的能力，如搜索和评估来源、查询计划、信息合并与融合、处理不完整信息以及处理不一致性问题。在本文中，我们关注的是声明式逻辑编程的某些方法在实现信息代理推理能力方所发挥的作用。特别是，我们关注它们如何被用于并进一步发展以满足该应用领域的具体需求。我们回顾了一些既有系统和当前项目，这些系统和项目都在解决信息集成问题。随后，我们聚焦于声明式知识表示方法，评估和审查了来自逻辑编程和非单调推理的用于信息代理的方法。我们讨论了这些方法的优势与不足，并指出可能的扩展方向和开放问题。