摘要: 分布式构件库系统中, 智能主体可通过协作联合完成用户的检索要求. 对构件检索来说, 确定哪些构件库拥有目标构件是一个需要首先解决的数据源选择问题. 智能主体拥有自己的知识库, 并且需要具备学习能力, 能更新其知识库以保持检索结果的有效性. 本文讨论了可更新的主体, 它可以将新的信息合并到给定的知识库中. 我们提出了一种基于逻辑程序设计的知识表达和更新方法, 该方法遵从声明式更新策略以执行更新任务. 我们所提出的可更新主体具有清晰的语义, 也能够以恰当的方式处理不一致的信息, 从而较智能地解决了数据源选择问题.