|
|
下载PDF在浏览器中打开PDF模系统代数的传播子和解算器22页•发布日期：2017年5月4日摘要解决复杂问题可能涉及不同知识库和问题解决者的非平凡组合。模块化系统代数是一个知识表示框架，它提供了一种方法，可以用纯语义术语形式化地指定此类系统。许多基于表达形式的实用系统解决了模型扩展任务。本文从代数中的表达式和原模的黑盒传播子或解算器构造了复杂模系统模型扩展任务的解算器。为此，我们定义了具有解释机制的传播器的一般概念，将代数扩展到传播器，以及懒惰的冲突驱动学习算法。其结果是一个框架，用于无缝组合不同领域的求解技术，为组合系统生成求解器。关键词:代数,模型扩展,模块化系统,传播者,解算器 在:托马斯·艾特和大卫·桑德斯（编辑）。LPAR-21。第21届国际程序设计、人工智能和推理逻辑会议，第46卷，第227-248页 |
|
|
