Extending Ascribed Intensional Ontologies with Taxonomical Relations in Anthropological Descriptions of Multi-Agent Systems
Rafael H. Bordini, John A. Campbell, Renata La Rocca Vieira · RePEc: Research Papers in Economics · 1998
The paper presents an approach to the description of ontologies usedin Multi-Agent Systems as a means to allow interoperability of such systems. It is inspiredbyapragmatic theory of intensionality worked out as part of an anthropological approach to agent migration. A new formalisation of how an intensional ontology can be ascribedtoasociety of agents is presented, together with a #rst formalisation of the recovery of taxonomical relations from such ontologies. This process of discovering taxonomies is inspired by ethnographic studies in social anthropology. The formalisations are developed using a framework for agent theories, based on the Z speci- #cation language. Further, the approach is illustrated by the ascription of an ontology and associated taxonomies for an exotic application: the game of cricket. Finally, several issues related to this approach are discussed. 1 Introduction Wehave been dealing for some time with what wehave called migration of agents #Bordini...