An Algorithm for Agent Knowledge Integration Using Conjunctive and Disjunctive Structures

摘要

In this paper an algorithm for integration of knowledge in multi-agent environments using logic disjunction and conjunction structures, is presented and analysed. The authors propose a distance function between the logic formulae and define a set of postulates (criteria) for integration. The worked out algorithm is analysed regarding the computation complexity and the proposed postulates.