A formal view of social dependence networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1087, Issue , 1996, Pages 115-129

  D’Inverno, Mark ^a   Luck, Michael ^b  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; INTELLIGENT AGENTS;

AGENT-ORIENTED SYSTEMS; FORMAL FRAMEWORK; FORMAL MODEL; LEVELS OF DETAIL; MULTI AGENT; RESOURCES AND CAPABILITIES;

MULTI AGENT SYSTEMS;

EID: 84949442336     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61314-5_25     Document Type: Conference Paper

References (15)

1. C. Castelfranchi. Social power. In Y. Demazeau and J. P. Muller, editors, Decentralized Artificial Intelligence, pages 49-62. Elsevier North Holland, 1990.
2. 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.
3. I. Craig. Formal Specification of Advanced AI Architectures. Ellis Horwood, 1991.
4. 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.
5. 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.
6. R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, Carnegie-Mellon University, 1993.
7. M. Luck and M. d'Inverno. Engagement and cooperation in motivated agent modelling. In Proceedings of the first Australian DAI Workshop. Springer Verlag, 1995.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. J. S. Sichman and Yves Demazeau. Exploiting social reasoning to deal with agency level inconsistency. In Proceedings of the First International Conference on MultiAgent Systems, pages 352-359. AAAI Press/ MIT Press, 1995.
14. J. M. Spivey. The Z Notation. Prentice Hall, Hemel Hempstead, 2nd edition, 1992.
15. 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.