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.
[1]
Thomas H. Davenport,et al.
Process Innovation: Reengineering Work Through Information Technology
,
1992
.
[2]
Ramanathan V. Guha,et al.
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
,
1990
.
[3]
Raymond Reiter,et al.
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus
,
1993,
ICLP.
[4]
Dana S. Nau,et al.
Artificial intelligence applications in manufacturing
,
1992
.
[5]
Mati Littover.
Artificial intelligence applications in manufacturing
,
1993
.
[6]
M. Hammer,et al.
Reengineering the Corporation
,
1993
.