Multi-Agent Description of an Object by Means of a Predicate Calculus Language

摘要

A problem of multi-agent description of a complex object is under consideration. It issupposed that an object may be described in the terms of its parts properties and relations betweenthese parts. But every agent has only a part of the object description and does not know the true namesof elements and gives them names arbitrary. An algorithm solving the posed problem is described andthe upper bound of its steps is proved.