We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in which the supply chain is managed by a set of intelligent agents responsible for one or more activities. We also define an architecture for an enterprise engineering system that allows the exploration of a variety of enterprise designs. We introduce the notion of an advisor as a formalization of the different perspectives that we have with respect to an enterprise. By representing activities in both architectures as sets of first-order axioms in a microtheory, the tasks for the different agents in the architecture can be represented as finding satisfying interpretations of the constraints.
Mark S. Fox, Michael Grüninger