Abstract: The intelligent agents can perform the retrieval requests from users via collaboration in a distributed component repository system. The primary problem to solve in retrieval is the selection of data source, i.e., to locate which repositories may possess the target components. The intelligent agents have their own knowledge base. They need the capability to learn new information and update their knowledge base to keep the retrieval results effective. This paper discusses the updatable agents that can incorporate new information into an existing knowledge base. We also propose a method for knowledge description and update based on logical programming. This method can execute the update task following a declarative updating policy. The updatable agents we proposed have clear semantics, and are able to deal with inconsistent information in a relatively intelligent way.

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