Centro de Tecnologia e Urbanismo Departamento de Engenharia Eltrica e

Fulado Candidato da Silva

T tulo da Qualicao/Dissertao ca ca

Qualicao apresentada ao Programa ca de Ps-Graduao o ca em Engenharia Eltrica da Universidade Estadual de e Londrina como Parte dos Requisitos para a obteno do T ca tulo de Mestre em Engenharia Eltrica. e

Londrina, PR 2010

Fulado Candidato da Silva

T tulo da Qualicao/Dissertao ca ca

Qualicao ca

apresentada

ao

Programa

de

Ps-Graduao em Engenharia Eltrica da o ca e Universidade Estadual de Londrina como Parte dos Requisitos para a obteno do T ca tulo de Mestre em Engenharia Eltrica. e

Area de concentrao: Sistemas Eletrnicos ca o Especialidade: Sistemas de Telecomunicaes co Orientador:

Prof. Dr. Pr-nome Nome e

Co-orientador:

Prof. Dr. Se houver

Londrina, PR 2010

Ficha Catalogrca a

Candidato da Silva, Fulado T tulo da Qualicao/Dissertao. Londrina, PR, 2010. 22 p. ca ca Qualicao (Mestrado) ca Londrina, PR. Departamento . Universidade Estadual de de Engenharia Eltrica e

1. Sistemas de Telecomunicaes. 2. Sistemas de Mltiplo Acesso. co u 3. Capacidade I. Universidade Estadual de Londrina. Departamento de Engenharia Eltrica. Departamento de Engenharia Eltrica e e . II. T tulo.

Fulado Candidato da Silva

T tulo da Qualicao/Dissertao ca ca
Qualicao ca apresentada ao Programa de

Ps-Graduao em Engenharia Eltrica da o ca e Universidade Estadual de Londrina como Parte dos Requisitos para a obteno do T ca tulo de Mestre em Engenharia Eltrica. e

Area de concentrao: Sistemas Eletrnicos ca o Especialidade: Sistemas de Telecomunicaes co

Comisso Examinadora a

Prof. Dr. Fulado de Tal

Depto. de Engenharia Eltrica e Orientador

Prof. Dr. Fulano 2

Depto. de Eng. de XXX e CYYY Escola XYZ

Prof. Dr. Joao JJ

Centro de Cincias Exatas e Tecnolgicas e o Universidade do...

4 de julho de 2010

a ...

Agradecimentos
Agradeo a .... c

Resumo
A Exemplo de modelo de teses e dissertaes do PPG-EE UEL utilizando L TEX. co O estilo foi baseado no modelo da ABNT e adaptado para particularidades do PPG-EE UEL.

Abstract
A This document is an example of the PPG-EE UELs thesis format using L TEX. The document class is based on the ABNT class with little changes to t some PPG-EE UEL singularities.

Sumrio a

Lista de Figuras Lista de Tabelas Lista de Abreviaturas Convenes e Lista de S co mbolos 1 Introduo ca 1.1 Motivao: Os Sistemas Multiagentes . . . . . . . . . . . . . . . . ca 1 1

I Organizao ca
2 Exemplo 2.1 Section example . . . . . . . . . . . . . . . . . . . . . . . . . . . . SubSection example 1 . . . . . . . . . . . . . . . . . . . . . . . . . 2.1.1 2.2 SubSection example 2 . . . . . . . . . . . . . . . . . . . .

4
5 5 5 5 5

Section example . . . . . . . . . . . . . . . . . . . . . . . . . . . .

II Parte teste

IIIOutra parte
Anexo A -- Exemplo de especicao organizacional no formato ca XML A.1 Exemplo da escola . . . . . . . . . . . . . . . . . . . . . . . . . .

8 8

Anexo B -- Um novo anexo Referncias e Indice Remissivo Apndice A -- Um apndice e e A.1 Com uma seo . . . . . . . . . . . . . . . . . . . . . . . . . . . . ca Apndice B -- Um outro apndice e e

12 14 15 16 16 19

Lista de Figuras
1.1 Exemplo de gura. . . . . . . . . . . . . . . . . . . . . . . . . . . 2

Lista de Tabelas

Lista de Abreviaturas
B2B Business to Business ED Especicao Dentica ca o EE Especicao Estrutural ca EF Especicao Funcional ca EnO Entidade Organizacional EO Especicao Organizacional ca ES Esquema Social IA Inteligncia Articial e IAD Inteligncia Articial Distribu e da KQML Knowledge Query and Manipulation Language MOISE Model of Organization for multI-agent SystEms OO Orientao a Objetos ca RDP Resoluo Distribu de Problemas ca da SMA Sistemas Multiagentes TAEMS Task Analysis, Environment Modeling, and Simulation

Convenes e Lista de S co mbolos

Na notao das frmulas, as seguintes convenes foram utilizadas: ca o co letras maisculas so conjuntos, exemplo: P, SG; u a letras minsculas so elementos de conjunto, exemplo: R, gt SG; u a subscrito diferencia um elemento de um conjunto de outro, exemplo: aluno , gtselecao ; A B o produto cartesiano dos conjuntos A e B; e A o produto cartesiano de innitos conjuntos A, ou seja A = A A e A . . .; A B uma funo total tendo como dom e ca nio o conjunto A e imagem B; F F , sendo F e F funes do mesmo tipo, o operador gera uma co nova funo a partir da unio dos mapeamentos de F e F sendo que, para ca a os elementos do dom nio onde ambas possuem mapeamento, prevalece o mapeamento de F . #S cardinalidade de S (o nmero de elementos do conjunto S); u Os seguintes s mbolos sero utilizados: a

s mbolo O A B P S F

descrio ca conjunto de observaes do ambiente co conjunto de aes no ambiente co conjunto de comportamentos poss veis dem a nalidade do SMA

pgina a ?? ?? ??

conjunto dos comportamentos do SMA que correspon- ?? conjunto dos comportamentos do SMA permitidos pela ?? estrutura da organizao do SMA ca conjunto dos comportamentos do SMA permitidos pelos ?? esquemas da organizao do SMA ca continua. . .

s mbolo E OS SS FS DS GT R L SCH G GV P M PR A GI

descrio ca

pgina a

conjunto dos comportamentos do SMA permitidos pelo ?? ambiente onde o SMA est a conjunto de todas as Especicaes Organizacionais co conjunto de todas as Especicaes Estruturais co conjunto de todas as Especicaes Funcionais co conjunto de todas as Especicaes Denticas co o mentos do conjunto so denotados por gt a conjunto de papis, os elementos do conjunto so deno- ?? e a tados por conjunto de ligaes entre papis, os elementos do con- ?? co e junto so denotados por l a conjunto de esquemas sociais, os elementos do conjunto ?? so denotados por sch a conjunto de metas (objetivos), os elementos do conjunto ?? so denotados por g a conjunto de valores para as metas conjunto de planos notados por m conjunto de preferncia de misses, os elementos do con- ?? e o junto so denotados por ma mb a objetivo da organizao ca notados por conjunto de instncias de grupo, os elementos do con- ?? a junto so denotados por gr a ?? conjunto de agentes, os elementos do conjunto so de- ?? a ?? ?? ?? ?? ?? ??

conjunto de todas as especicaes de grupos, os ele- ?? co

conjunto de misses, os elementos do conjunto so de- ?? o a

Introduo ca

Tanto a Cincia da Computao quanto a Inteligncia Articial (IA) tm buse ca e e cado formas de conceber sistemas que se aproximem da realidade considerando, em geral, as vises que outras reas do conhecimento tm da realidade. Assim o a e surgiram a orientao a objetos (da Matemtica), a representao de conhecica a ca mento e racioc nio (da Psicologia e da Lgica), as redes neurais (da Biologia), o etc. De forma anloga, a rea de Sistemas Multiagentes (SMA) inuenciada a a e pela Sociologia e, portanto, tem vislumbrado uma concepo de sistema com proca priedades que at ento somente sociedades possu e a am. Trouxe tambm novos e problemas e desaos, um dos quais ser assunto desta tese. [Pendencia1 ] a

1.1
Motivao ca para SMA

Motivao: Os Sistemas Multiagentes ca

A motivao inicial para esta tese provm da principal caracter ca e stica dos SMA que, ao contrrio dos paradigmas tradicionais da IA, tm como objeto de estudo a e a coletividade e no um unico indiv a duo. Desta forma, deixam de ter ateno as ca iniciativas de compreender e simular o comportamento humano isoladamente, seja mental (IA simbolista) ou neural (IA conexionista), passando o foco da ateno ca para a forma de interao entre as entidades que formam o sistema (chamadas de ca agentes) e sua organizao. Este paradigma motivado pela observao de alguns ca e ca sistemas naturais, nos quais pode-se perceber o surgimento de um comportamento inteligente a partir da interao de seus elementos. Por exemplo, apesar de uma ca colnia de formigas ser formada por seres simples, pode-se dizer que o formigueiro o como um todo um sistema complexo cujo comportamento mais inteligente do e e que os das formigas que o formam; os neurnios so clulas simples, mas de o a e sua interao e organizao emerge um comportamento complexo e inteligente. ca ca Estes dois exemplos mostram que a coletividade possui caracter sticas que no a podem ser reduzidas aos componentes que a formam, mas que so essenciais para a
Exemplo de pendncia. Esse impresso pode ser tirada com o comando e a preambilo do tese.tex.
1

no

1.1 Motivao: Os Sistemas Multiagentes ca

2 Reviso Modelo 3 Moise+ 4 Arquitetura organizao

5 Reviso reorganizao Modelo

6 ReMoise+

7 EAlliance estudos de caso RoboCup

Figura 1.1: Exemplo de gura. o comportamento bem adaptado que tais sistemas apresentam.2 Exemplo do uso do pacote prettyref: prettyref{g:exemplo} ca gura 1.1.
Organizao ca x Autonomia

A rea de SMA estuda o comportamento de um grupo organizado de agentes a autnomos que cooperam na resoluo de problemas que esto alm das capacio ca a e dades de resoluo de cada um individualmente. Duas propriedades, aparenteca mente contraditrias, so fundamentais para os SMA: a autonomia dos agentes o a e sua organizao (BRIOT; DEMAZEAU, 2002, p. 5). O atributo autnomo sigca o nica aqui o fato de que um agente tem sua existncia independente dos demais e e mesmo do problema sendo solucionado (WEISS, 1999, p. 548)3 . Por outro lado, a organizao estabelece restries aos comportamentos dos agentes procurando ca co estabelecer um comportamento grupal coeso. Muitas das propriedades desejadas nos SMA advm do equil e brio destes dois opostos, portanto, compreender como estas duas propriedades interagem uma questo importante (e interessante) e a
no contexto dos SMA. Uma ref para proceedings (HUBNER; SICHMAN; BOISSIER, Uma denio mais detalhada de SMA, seus problemas e aplicaes podem ser enconca co tradas nas seguintes referncias (BORDINI; VIEIRA; MOREIRA, 2001; WOOLDRIDGE, 2002; FERe BER, 1999; ALVARES; SICHMAN, 1997; WEISS, 1999; DEMAZEAU; MULLER, 1990; JENNINGS; WOOLDRIDGE, 1998). 3 No caso, trata-se de uma autonomia de existncia. Para funcionar, um agente no precisa e a de outros agentes (claro que para alcanar seus objetivos eventualmente ele precisar da ajuda c a de outros) Existem outras formas de autonomia, Castelfranchi (1990), por exemplo, dene um agente autnomo como aquele que decide quais objetivos adotar. Outras denies podem ser o co encontradas em (SICHMAN, 1995).
2

1.1 Motivao: Os Sistemas Multiagentes ca

2002). Uma referncia com quatro autores Souza et al. (2001). e

Parte I Organizao ca

Exemplo

2.1

Section example
SubSection example 1

2.1.0.1

SubSubSection example a

2.1.1
2.1.1.1 2.1.1.2

SubSection example 2
SubSubSection example i SubSubSection example ii

2.2

Section example

bla bla bla

Parte II Parte teste

Parte III Outra parte

Anexo A -- Exemplo de especicao ca organizacional no formato XML

A.1

Exemplo da escola

Este anexo a especicao organizacional em formato XML (conforme utilizado e ca na implementao do Moise+ ) para o exemplo da escola que foi desenvolvido no ca cap tulo ??. <?xml version="1.0" encoding="UTF-8"?> <?xml-stylesheet href="xml/os.xsl" type="text/xsl" ?> <!DOCTYPE OrganizationalSpecification SYSTEM "os.dtd"> <OrganizationalSpecification id="joj"> <StructuralSpecification> <RolesDefinition> <Role id="docente"> <extends role="soc" /> </Role> <Role id="aluno"> <extends role="soc" /> </Role> <Role id="diretor"> <extends role="docente" /> </Role> <Role id="professor"> <extends role="docente" /> </Role> </RolesDefinition> <LinksType> <LinkType id="acquaintance" /> <LinkType id="communication" /> <LinkType id="authority" /> </LinksType> <GroupSpecification id="escola"> o que segue nao faz sentido :-) <OrganizationalSpecification <StructuralSpecification> <RolesDefinition> <Role id="docente"> <Role id="aluno"> <Role id="diretor"> <Role id="professor"> </RolesDefinition> id="joj">

<extends <extends <extends <extends

role="soc" /> </Role> role="soc" /> </Role> role="docente" /> </Role> role="docente" /> </Role>

A.1 Exemplo da escola

<LinksType> <LinkType id="acquaintance" /> <LinkType id="communication" /> <LinkType id="authority" /> </LinksType>

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

A.1 Exemplo da escola

10

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

A.1 Exemplo da escola

11

bla bla bla

12

Anexo B -- Um novo anexo

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

Anexo B -- Um novo anexo

13

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

14

Referncias e
ALVARES, L. O.; SICHMAN, J. S. Introduo aos sistemas multiagentes. In: ca MEDEIROS, C. M. B. (Ed.). Jornada de Atualizao em Informtica (JAI97). ca a Bras lia: UnB, 1997. cap. 1, p. 138. BORDINI, R. H.; VIEIRA, R.; MOREIRA, A. F. Fundamentos de sistemas multiagentes. In: FERREIRA, C. E. (Ed.). Jornada de Atualizao em ca Informtica (JAI01). Fortaleza, Brasil: SBC, 2001. v. 2, cap. 1, p. 344. a BRIOT, J.-P.; DEMAZEAU, Y. (Ed.). Principes et architecture des syst`mes e multi-agents. Paris: Hermes, 2002. CASTELFRANCHI, C. Social power: A point missed in multi-agent, DAI and HCI. In: DEMAZEAU, Y.; MULLER, J.-P. (Ed.). Decentralized Articial Intelligence. Amsterdam: Elsevier, 1990. DEMAZEAU, Y.; MULLER, J.-P. (Ed.). Decentralized Articial Intelligence. Amsterdam: Elsevier, 1990. FERBER, J. Multi-Agent Systems: An Introduction to Distributed Articial Intelligence. London: Addison-Wesley, 1999. HUBNER, J. F.; SICHMAN, J. S.; BOISSIER, O. A model for the structural, functional, and deontic specication of organizations in multiagent systems. In: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE (SBIA02), 16., 2002, Porto de Galinhas, PE, Brazil. Proceedings. Berlin: Springer, 2002. (LNAI 2507), p. 118128. ISSN 0302-9743. Dispon em: vel <http://www.inf.furb.br/~jomi/pubs/2002/Hubner-sbia2002.pdf>. Acesso em: 20 fev. 2003. JENNINGS, N. R.; WOOLDRIDGE, M. J. Agent Technology: foundations, applications, and markets. London: Springer Verlag, 1998. SICHMAN, J. S. Du Raisonnment Social Chez les Agents: Une Approche Fonde e sur la Thorie de la Dpendance. Tese (Th`se (Doctorat)) Institut National e e e Polytechnique de Grenoble, 1995. SOUZA, M. A. F. de; HUBNER, J. F.; SICHMAN, J. S.; FERREIRA, M. A. G. V. Interoperability in multi-agent systems: Lessons learned. In: WORKSHOP ON MULTI-AGENT SYSTEMS : THEORY & APPLICATIONS (MASTA 2001), 2., 2001, Porto, Portugual. Proceedings. 2001. p. 5566. Dispon em: vel <http://www.inf.furb.br/~jomi/pubs/2001/Souza-masta2001.pdf>. WEISS, G. (Ed.). Multiagent Systems: A modern approach to distributed articial intelligence. London: MIT Press, 1999. 619 p. ISBN 0-262-23203-0. WOOLDRIDGE, M. An Introduction to MultiAgent Systems. [S.l.]: John Wiley and Sons, 2002.

15

Indice Remissivo

agente autnomo, 2 o

sistemas multiagentes, 1

16

Apndice A -- Um apndice e e

A.1

Com uma seo ca

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

A.1 Com uma seo ca

17

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

A.1 Com uma seo ca

18

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

19

Apndice B -- Um outro apndice e e

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

Apndice B -- Um outro apndice e e

20

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

Apndice B -- Um outro apndice e e

21

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla

Apndice B -- Um outro apndice e e

22

bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla