Abstract
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agency and autonomy. In particular, this work made the claim that the framework could serve as a vehicle for the precise presentation and evaluation of models and theories of multi-agent systems. We support this claim by outlining the framework and refining it through adding further levels of detail to formalise the concepts of external descriptions and social dependence networks. Social Dependence Networks are a valuable source of information about the relationships within a multi-agent world. They allow agents to reason about the resources and capabilities of others in order that they may enter into a negotiation to persuade these others to assist them in completing their tasks. By formalising social dependence networks within the framework we are able to identify deficiencies in the original characterisation of the networks and the external descriptions of agents within them. We address these deficiencies, and offer a modified view which removes much of the ambiguity and presents a stronger and more consistent formal model. In reformulating these networks in this way, we also present a case study which shows how the formal framework that has been previously developed can be applied to provide an environment in which we can describe and reason about theories and models of multi-agent systems.
Preview
Unable to display preview. Download preview PDF.
References
C. Castelfranchi. Social power. In Y. Demazeau and J. P. Muller, editors, Decentralized Artificial Intelligence, pages 49–62. Elsevier North Holland, 1990.
C. Castelfranchi, M. Miceli, and A. Cesta. Dependence relations among autonomous agents. In E. Werner and Y. Demazeau, editors, Decentralized Artificial Intelligence, pages 215–231. Elsevier North Holland, 1992.
I. Craig. Formal Specification of Advanced AI Architectures. EUis Horwood, 1991.
M d'Inverno and J. Crowcroft. Design, specification and implementation of an interactive conferencing system. In Proceedings of IEEE Infocom, Miami, USA. Published IEEE, 1991.
M. D'Inverno and M. Priestley. Structuring a Z specification to provide a unifying framework for hypertext systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users, Lecture Notes in Computer Science, pages 83–102, Heidelberg, 1995. Springer-Verlag.
R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, Carnegie-Mellon University, 1993.
M. Luck and M. d'Inverno. Engagement and cooperation in motivated agent modelling. In Proceedings of the first Australian DAI Workshop. Springer Verlag, 1995.
M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254–260. AAAI Press/MIT Press, 1995.
M. Luck and M. d'Inverno. Goal generation and adoption in hierarchical agent models. In AI95: Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence. World Scientific, 1995.
M. Luck and M. d'Inverno. Structuring a Z specification to provide a formal framework for autonomous agent systems. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95: 9th International Conference of Z Users, Lecture Notes in Computer Science, pages 48–62. Springer-Verlag, 1995.
B. G. Milnes. A specification of the Soar architecture in Z. Technical Report CMU-CS-92-169, School of Computer Science, Carnegie Mellon University, 1992.
J. S. Sichman, Y. Demazeau, R. Conte, and C. Castelfranchi. A social reasoning mechanism based on dependence networks. In ECAI94. 11th European Conference on Artificial Intelligence, pages 188–192. John Wiley and Sons, 1994.
J. S. Sichman and Yves Demazeau. Exploiting social reasoning to deal with agency level inconsistency. In Proceedings of the First International Conference on Multi-Agent Systems, pages 352–359. AAAI Press/MIT Press, 1995.
J. M. Spivey. The Z Notation. Prentice Hall, Hemel Hempstead, 2nd edition, 1992.
M. J. Wooldridge and N. R. Jennings. Applying agent technology. Journal of Applied Artificial Intelligence, special issue on Intelligent Agents and Multi-Agent Systems, To appear, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
D'Inverno, M., Luck, M. (1996). A formal view of social dependence networks. In: Zhang, C., Lukose, D. (eds) Distributed Artificial Intelligence Architecture and Modelling. DAI 1995. Lecture Notes in Computer Science, vol 1087. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61314-5_25
Download citation
DOI: https://doi.org/10.1007/3-540-61314-5_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61314-5
Online ISBN: 978-3-540-68456-5
eBook Packages: Springer Book Archive