An algorithm for agent knowledge integration using conjunctive and disjunctive structures

Abstract

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. © 2008 Springer-Verlag Berlin Heidelberg.