We have developed a method and prototype program, called carter, that assists two experts in agreeing on what knowledge should go into a single, consensus knowledge base, i.e., a knowledge base that reeects the best judgment of each of them. We show that consensus building can be eeectively facilitated by a debugging approach that identiies, explains, and resolves diierences in the knowledge of...

In this paper we address the application of knowledge compilation techniques to product configuration problems. We argument that both the process of generating valid configurations, as well as validation of product configuration knowledge bases, can potentially be accelerated by compiling the instance independent part of the knowledge base. Besides giving transformations of both tasks into logi...

Behaviors of multi-robot system based on task-oriented architecture are intuitional according to the flow of task processing that is obvious to plan and monitor. This paper tables a novel task-oriented architecture for space robot application, which consists of task description, task completion analysis, task compromise. For this architecture, author designed a knowledge interchange mechanism b...