3 research outputs found
Recommended from our members
A Common Data Model for Meta-Data in Interoperable Environments
A Common Data Model is a unifying structure used to allow heterogeneous environments to interoperate. An Object Oriented common model is presented in this paper, which provides this unifying structure for a Meta-Data Repository Visualisation Tool. The creation of this common model from the Meta-Data held in component databases is described. The role this common model has in interoperable environments is discussed, and the physical architecture created from the examination of the Meta-Data in the Repository common model is described
Reasonable Goals
Assume that a number of autonomous agents are going to act in such a way that their respective goal states constitute a global plan. A main question that arises in this situation is whether there is such a plan at all, i.e. whether a solvable conflict prevails. In some sense. this means that the set of common goals is non-empty. Furthermore, if the agents are allowed to act in accordance with the result of some decision process, a situation may occur where subsets of their possible goal sets are consistent, but in actual fact the individual agents may nevertheless always terminate in states that are in conflict. We present a formal framework for the analysis of conflicts in sets of autonomous agents restricted in the sense that they can be described in a (first-order) language and by a transaction mechanism. This is also enriched by processes for evaluating decision situations given imprecise background information. The agent specifications are analysed with respect to a concept of consistency that requires the formulae of one specification together with a set of correspondence assertions to not restrict the models of another specification. i.e. the agent system does not essentially restrict the individual agents. The main emphasis is on the specifications being compatible with respect to reasonable probable states. i.e. states for which it is reasonable to assume that they eventually will be reached