A multi-agent system performing one-to-many negotiation for load balancing of electricity use

Electronic Commerce Research and Applications

Volumn 1, Issue 2, 2002, Pages 208-224

  Brazier, Frances M T ^a   Cornelissen, Frank ^a   Gustavsson, Rune ^b   Jonker, Catholijn M ^a   Lindeberg, Olle ^b   Polak, Bianca ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b BLEKINGE INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Electronic market place; Intelligent agent; Load management; Negotiation

Indexed keywords

CONSUMER ELECTRONICS; ELECTRIC LOAD MANAGEMENT; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; UTILITY PROGRAMS;

ELECTRONIC MARKET PLACE; NEGOTIATION; TWO-WAY COMMUNICATION;

ELECTRONIC COMMERCE;

EID: 1842445636     PISSN: 15674223     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1567-4223(02)00013-3     Document Type: Article

References (18)

1. H. Akkermans, F. Ygge, R. Gustavsson, HOMEBOTS: intelligent decentralized services for energy management, in: Proceedings of the Fourth International Symposium on the Management of Industrial and Corporate Knowledge, ISMICK'96, 1996 (published in: J.F. Schreinemaker (Ed.), Knowledge Management: Organization, Competence and Methodology, Ergon Verlag, Würzburg, 1996).
2. Brazier F.M.T., Cornelissen F., Gustavsson R., Jonker C.M., Lindeberg O., Polak B., Treur J. Compositional design and verification of a multi-agent system for load balancing. Demazeau Y. Proceedings of the Third International Conference on Multi-agent Systems, ICMAS'98. 1998;49-56 IEEE Computer Society Press, Los Alamitos, CA.
3. Brazier F.M.T., Dunin-Keplicz B., Jennings N.R., Treur J. Formal specification of multi-agent systems: a real-world case. Lesser V. Proceedings of the First International Conference on Multi-agent Systems, ICMAS'95. 1995;25-32 MIT Press, Cambridge, MA. (extended version in: M. Huhns, M. Singh (Eds.), International Journal of Cooperative Information Systems (special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems), 6 (1997) 67-94).
4. Brazier F.M.T., Dunin-Keplicz B., Jennings N.R., Treur J. Formal specification of multi-agent systems: a real-world case. Lesser V. Proceedings of the First International Conference on Multi-agent Systems, ICMAS'95. 1995;25-32 MIT Press, Cambridge, MA. (extended version in: M. Huhns, M. Singh (Eds.), International Journal of Cooperative Information Systems (special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems), 6 (1997) 67-94).
5. F.M.T. Brazier, C.M. Jonker, J. Treur, Component-based design of intelligent agents, Data and Knowledge Engineering 41 (2002) 1-28 (preliminary, shorter version in: J. Cuena (Ed.), Proceedings of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, Vienna, 1998, pp. 347-360).
6. F.M.T. Brazier, C.M. Jonker, J. Treur, Component-based design of intelligent agents, Data and Knowledge Engineering 41 (2002) 1-28 (preliminary, shorter version in: J. Cuena (Ed.), Proceedings of the 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, Vienna, 1998, pp. 347-360).
7. Brazier F.M.T., Jonker C.M., Treur J. Compositional design and reuse of a generic agent model. Applied Artificial Intelligence Journal. 14:2000;491-538.
8. Dastani M., Jacobs N., Jonker C.M., Treur J. Modeling user preferences and mediating agents in electronic commerce. Dignum F., Sierra C. Lecture Notes in AI, Agent-Mediated Electronic Commerce. Vol. 1991:2001;164-196 Springer, Berlin.
9. Huberman B., Clearwater S.H. A multi-agent system for controlling building environments. Lesser V. Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95). 1995;171-176 AAAI Press/MIT Press, Cambridge, MA.
10. C.M. Jonker, J. Treur, Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness, International Journal of Cooperative Information Systems 11 (2002) 51-92 (preliminary, shorter version in: W.P. de Roever, H. Langmaack, A. Pnueli (Eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, Vol. 1536, Springer, 1998, pp. 350-380).
11. C.M. Jonker, J. Treur, Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness, International Journal of Cooperative Information Systems 11 (2002) 51-92 (preliminary, shorter version in: W.P. de Roever, H. Langmaack, A. Pnueli (Eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97. Lecture Notes in Computer Science, Vol. 1536, Springer, 1998, pp. 350-380).
12. Jonker C.M., Treur J. An agent architecture for multi-attribute negotiation. Nebel B. Proceedings of the 17th International Joint Conference on AI, IJCAI'01. 2001;1195-1201 Morgan Kaufman, San Francisco.
13. Leemans N.E.M., Treur J., Willems M. A semantical perspective on verification of knowledge. Data and Knowledge Engineering. 40:2002;33-70.
14. Ottosson H., Gustavsson R., Bosch J. Utility aspects on strategic IT-integration issues. Proceedings II CEPSI'96. 1996.
15. Rosenschein J.S., Zlotkin G. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. 1994;MIT Press.
16. Rosenschein J.S., Zlotkin G. Designing Conventions for Automated Negotiation. AI Magazine. 15:(3):1994;29-46.
17. M. Wooldridge, N.R. Jennings (Eds.), Intelligent Agents (Proceedings of ATAL'94), Lecture Notes in Artificial Intelligence, Vol. 890, Springer, 1995.
18. Ygge F., Akkermans H. Power load management as a computational market. Tokoro M. Proceedings of the Second International Conference on Multi-agent Systems, ICMAS'96. 1996;393-400 AAAI Press, Menlo Park.