Especificando Rotinas Organizacionais de Sistemas Multiagentes: Detecção de Desvios com Base no Conceito de Expectativa
Resumo
This work considers the formal notion of objective expectations, behavioral, centered in objective effects of the actions executed by the agents, at a certain moment, in the context of some organizational routine of a multiagent system. The aim of this work is to develop a methodology for the specification and property verification of organizational routines, based on Petri Nets and on the process representation language CSP, formalizing the concept of deviations in routines of multiagent systems. We also will develop a case study of the modeling of the family behaviors in a domestic environment, for the analysis of the pattern of electric energy consume.
Palavras-chave:
Expectations, organizational routines, multiagent systems, organization of multiagent systems
Referências
C. Castelfranchi. Mind as an anticipatory device: For a theory of expectations. In Massimo De Gregorio, Vito Di Maio, Maria Frucci, and Carlo Musio, editors, Brain, Vision, and Artificial Intelligence, Proc. of 1rst Intl. Symp., Naples, 2005, number 3704 in LNCS, pages 258–276. Springer, 2005.
A. C. R. Costa and G. P. Dimuro. A minimal dynamical organization model. In V. Dignum, editor, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pages 419–445. IGI Global, Hershey, 2009.
A. C. R. Costa, G. P. Dimuro, and Y. Dugdale, J.and Demazeau. A formal notion of objective expectations in the context of multiagent systems routines. In New Trends In Artificial Intelligence, Proc. of the 14th Portuguese Conference on Artificial Intelligence, EPIA’2009, Track on Multi-Agent Systems: Theory and Applications, MASTA 2009, pages 367–378, Aveiro, 2009. Universidade do Aveiro.
S. Cranefield. A rule language for modelling and monitoring social expectations in multi-agent systems. In Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, and Javier Vázquez-Salceda, editors, Coordination, Organizations, Institutions and Norms in Agent Systems, number 3913 in LNAI, pages 246–258. Springer, 2006.
S. Cranefield. Modelling and monitoring social expectations in multi-agent systems. In Pablo Noriega Javier Vázquez-Salceda, Guido Boella, Olivier Boissier Virginia Dignum, Nicoletta Fornara, and Eric Matson, editors, Coordination, Organizations, Institutions and Norms in Agent Systems II, number 4386 in LNAI, pages 308–321. Springer, 2007.
S. Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. In Jomi Fred Hübner, Eric Matson, Olivier Boissier, and Virginia Dignum, editors, Coordination, Organizations, Institutions and Norms in Agent Systems IV, number 5428 in LNAI, pages 204–219. Springer, 2009.
L. Crépin, Y. Demazeau, O. Boissier, and F. Jacquenet. Privacy preservation in a decentralized calendar system. In Yves Demazeau and et al., editors, 7th Intl. Conf. on Practical Aspects of Agents and Multi-agent Systems (PAAMS 2009), number 55 in Advances in Soft Computing, pages 525–537. Springer, Berlin, 2009.
L. Crépin, Y. Demazeau, O. Boissier, and F. Jacquenet. Privacy preservation in a decentralized calendar system. In Yves Demazeau, Juan Pavón, Juan M. Corchado, and Javier Bajo, editors, 7th Intl. Conf. on Practical Aspects of Agents and Multiagent Systems (PAAMS 2009), number 55 in Advances in Soft Computing, pages 525–537. Springer, Berlin, 2009.
J. Dugdale and P. Salembier. Modélisation située des activités individuelles et collectives pour la conception. Rapport de contrat de collaboration EDFIRIT/ NEB, Institute de Recherche en Informatique de Toulouse, Toulouse, 2008.
A. Giddens. The Constitution of Society: Outline of the Theory of Structuration. Polity Press, Cambridge, 1984.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, 1985.
K. Jensen. A brief introduction to coloured petri nets. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, LNCS, pages 203–208. Springer-Verlag, Berlin, 1997.
K. Jensen, L. M. Kristensen, and L.Wells. Coloured petri nets and cpn tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer, 9:213–254, 2007.
M. Piunti, C. Castelfranchi, and R. Falcone. Expectations driven approach for situated, goal-directed agents. In Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, and Viviana Mascardi, editors, Proc. of WOA 2007/8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007, Genova, pages 104–111. Seneca Edizioni Torino, 2007.
M. Piunti, C. Castelfranchi, and R. Falcone. Expectations driven approach for situated, goal-directed agents. In Matteo Baldoni and et al., editors, Proc. of 8th AI*IA/TABOO Joint Work. "From Objects to Agents": Agents and Industry, pages 104–111, Genova, 2007. Seneca Edizioni Torino.
M. Piunti, J. Goncalves, and C. Martinho. Modeling expectations for affective agents. In Proceedings of the ACII-07 Doctoral Consortium, 2007.
A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs, 1997.
L. J. Savage. The Foundations of Statistics. Wiley, New York, 1954.
M. Vantieghem, U. Görkem Ketenci, J. Dugdale, and Y. Deamazeau. Modélisation socio-cognitive des attentes par système multi-agents dans le milieu domestique. Stage de master 2 en sciences cognitives 2008–2009, Laboratoire d’Informatique de Grenoble, Grenoble, 2009.
A. C. R. Costa and G. P. Dimuro. A minimal dynamical organization model. In V. Dignum, editor, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pages 419–445. IGI Global, Hershey, 2009.
A. C. R. Costa, G. P. Dimuro, and Y. Dugdale, J.and Demazeau. A formal notion of objective expectations in the context of multiagent systems routines. In New Trends In Artificial Intelligence, Proc. of the 14th Portuguese Conference on Artificial Intelligence, EPIA’2009, Track on Multi-Agent Systems: Theory and Applications, MASTA 2009, pages 367–378, Aveiro, 2009. Universidade do Aveiro.
S. Cranefield. A rule language for modelling and monitoring social expectations in multi-agent systems. In Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, and Javier Vázquez-Salceda, editors, Coordination, Organizations, Institutions and Norms in Agent Systems, number 3913 in LNAI, pages 246–258. Springer, 2006.
S. Cranefield. Modelling and monitoring social expectations in multi-agent systems. In Pablo Noriega Javier Vázquez-Salceda, Guido Boella, Olivier Boissier Virginia Dignum, Nicoletta Fornara, and Eric Matson, editors, Coordination, Organizations, Institutions and Norms in Agent Systems II, number 4386 in LNAI, pages 308–321. Springer, 2007.
S. Cranefield and Michael Winikoff. Verifying social expectations by model checking truncated paths. In Jomi Fred Hübner, Eric Matson, Olivier Boissier, and Virginia Dignum, editors, Coordination, Organizations, Institutions and Norms in Agent Systems IV, number 5428 in LNAI, pages 204–219. Springer, 2009.
L. Crépin, Y. Demazeau, O. Boissier, and F. Jacquenet. Privacy preservation in a decentralized calendar system. In Yves Demazeau and et al., editors, 7th Intl. Conf. on Practical Aspects of Agents and Multi-agent Systems (PAAMS 2009), number 55 in Advances in Soft Computing, pages 525–537. Springer, Berlin, 2009.
L. Crépin, Y. Demazeau, O. Boissier, and F. Jacquenet. Privacy preservation in a decentralized calendar system. In Yves Demazeau, Juan Pavón, Juan M. Corchado, and Javier Bajo, editors, 7th Intl. Conf. on Practical Aspects of Agents and Multiagent Systems (PAAMS 2009), number 55 in Advances in Soft Computing, pages 525–537. Springer, Berlin, 2009.
J. Dugdale and P. Salembier. Modélisation située des activités individuelles et collectives pour la conception. Rapport de contrat de collaboration EDFIRIT/ NEB, Institute de Recherche en Informatique de Toulouse, Toulouse, 2008.
A. Giddens. The Constitution of Society: Outline of the Theory of Structuration. Polity Press, Cambridge, 1984.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, 1985.
K. Jensen. A brief introduction to coloured petri nets. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, LNCS, pages 203–208. Springer-Verlag, Berlin, 1997.
K. Jensen, L. M. Kristensen, and L.Wells. Coloured petri nets and cpn tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer, 9:213–254, 2007.
M. Piunti, C. Castelfranchi, and R. Falcone. Expectations driven approach for situated, goal-directed agents. In Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, and Viviana Mascardi, editors, Proc. of WOA 2007/8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007, Genova, pages 104–111. Seneca Edizioni Torino, 2007.
M. Piunti, C. Castelfranchi, and R. Falcone. Expectations driven approach for situated, goal-directed agents. In Matteo Baldoni and et al., editors, Proc. of 8th AI*IA/TABOO Joint Work. "From Objects to Agents": Agents and Industry, pages 104–111, Genova, 2007. Seneca Edizioni Torino.
M. Piunti, J. Goncalves, and C. Martinho. Modeling expectations for affective agents. In Proceedings of the ACII-07 Doctoral Consortium, 2007.
A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, Englewood Cliffs, 1997.
L. J. Savage. The Foundations of Statistics. Wiley, New York, 1954.
M. Vantieghem, U. Görkem Ketenci, J. Dugdale, and Y. Deamazeau. Modélisation socio-cognitive des attentes par système multi-agents dans le milieu domestique. Stage de master 2 en sciences cognitives 2008–2009, Laboratoire d’Informatique de Grenoble, Grenoble, 2009.
Publicado
19/04/2010
Como Citar
SILVA, C. E. O.; DIMURO, G. P.; COSTA, A. C. R..
Especificando Rotinas Organizacionais de Sistemas Multiagentes: Detecção de Desvios com Base no Conceito de Expectativa. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 4. , 2010, Rio Grande/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2010
.
p. 139-142.
ISSN 2326-5434.
DOI: https://doi.org/10.5753/wesaac.2010.33062.
