ࡱ> *,)bjbjUU >??  0) 5&R============3+==0====H========================= :Resumo Em Sistemas Multi-Agentes, normas tem sido o meio utilizado para reger o comportamento de agentes autnomos, heterogneos e que so projetados para diferentes fins. As normas definem o que pode ser feito, o que deve ser feito e o que no pode ser feito pelos agentes do sistema. Uma das principais questes que envolve a validao de normas a deteco de conflitos normativos. Duas normas esto em conflito quando o cumprimento de uma norma viola a outra, e vice-versa. Diversos trabalhos tem sido propostos para lidar com conflitos normativos, porm a maioria tem focado seus esforos em conflitos normativos diretos, que ocorrem quando as normas em conflito so aplicadas sobre uma mesma entidade, regendo um mesmo comportamento. Existem conflitos, chamados neste trabalhos de conflitos indiretos, que ocorrem entre normas aplicadas a entidades diferentes, porm relacionadas, regendo comportamento diferentes, porm relacionados. Neste contexto, propomos nesta dissertao uma abordagem de verificao de conflitos normativos indiretos que analisa as caractersticas do domnio da aplicao no momento da verificao de conflitos. Para isso, desenvolvemos uma estrutura de ontologia para a representao do domnio focando nas normas que governam o sistema e nos relacionamentos entre os elementos identificados nas normas como, por exemplo, relacionamentos entre as entidades e os comportamentos. Ns definimos um modelo normativo, apresentamos um conjunto de relacionamentos que podem ocorrer entre os elementos definidos nas normas. tambm resultado deste trabalho o Conflict Checker, um mecanismo de verificao de conflitos normativos diretos e indiretos que recebe como entrada uma ontologia descrevendo as normas e os relacionamentos. Sua sada um conjunto de pares de normas em conflito com uma justificativa para a ocorrncia de cada conflito detectado. Para avaliar a capacidade do Conflict Checker em detectar conflitos normativos, utilizamos um cenrio de compra e venda de aes, extraindo um conjunto de normas de contrato nesse seguimento e inserindo novas normas para que o problema de conflito normativo pudesse ser alcanado. Palavras-chave: Sistemas Multi-Agentes, Sistemas Normativos, Normas, Conflitos Normativos, Ontologia, Relacionamento. 0@topq hgz hxhgz hx5\ hP0hx hx6]hxhIhx5;CJ\aJ pq`gdDgdD`gdD $h`a$gdD<P1h:p. A!"#$% Dpj  666666666666666666666666666666666666666666 6666666666 666666666666 6666666666666666666666666666666666666666666666666666666666666666662 0@P`p2( 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p 0@P`p8XV~ OJPJQJ_HmHnHsHtH\`\ DNormal$dh`a$ CJOJQJ_HaJmHsHtH DA D 0Default Paragraph FontRiR 0 Table Normal4 l4a (k ( 0No List PK![Content_Types].xmlj0Eжr(΢Iw},-j4 wP-t#bΙ{UTU^hd}㨫)*1P' ^W0)T9<l#$yi};~@(Hu* Dנz/0ǰ $ X3aZ,D0j~3߶b~i>3\`?/[G\!-Rk.sԻ..a濭?PK!֧6 _rels/.relsj0 }Q%v/C/}(h"O = C?hv=Ʌ%[xp{۵_Pѣ<1H0ORBdJE4b$q_6LR7`0̞O,En7Lib/SeеPK!kytheme/theme/themeManager.xml M @}w7c(EbˮCAǠҟ7՛K Y, e.|,H,lxɴIsQ}#Ր ֵ+!,^$j=GW)E+& 8PK!Ptheme/theme/theme1.xmlYOo6w toc'vuر-MniP@I}úama[إ4:lЯGRX^6؊>$ !)O^rC$y@/yH*񄴽)޵߻UDb`}"qۋJחX^)I`nEp)liV[]1M<OP6r=zgbIguSebORD۫qu gZo~ٺlAplxpT0+[}`jzAV2Fi@qv֬5\|ʜ̭NleXdsjcs7f W+Ն7`g ȘJj|h(KD- dXiJ؇(x$( :;˹! I_TS 1?E??ZBΪmU/?~xY'y5g&΋/ɋ>GMGeD3Vq%'#q$8K)fw9:ĵ x}rxwr:\TZaG*y8IjbRc|XŻǿI u3KGnD1NIBs RuK>V.EL+M2#'fi ~V vl{u8zH *:(W☕ ~JTe\O*tHGHY}KNP*ݾ˦TѼ9/#A7qZ$*c?qUnwN%Oi4 =3ڗP 1Pm \\9Mؓ2aD];Yt\[x]}Wr|]g- eW )6-rCSj id DЇAΜIqbJ#x꺃 6k#ASh&ʌt(Q%p%m&]caSl=X\P1Mh9MVdDAaVB[݈fJíP|8 քAV^f Hn- "d>znNJ ة>b&2vKyϼD:,AGm\nziÙ.uχYC6OMf3or$5NHT[XF64T,ќM0E)`#5XY`פ;%1U٥m;R>QD DcpU'&LE/pm%]8firS4d 7y\`JnίI R3U~7+׸#m qBiDi*L69mY&iHE=(K&N!V.KeLDĕ{D vEꦚdeNƟe(MN9ߜR6&3(a/DUz<{ˊYȳV)9Z[4^n5!J?Q3eBoCM m<.vpIYfZY_p[=al-Y}Nc͙ŋ4vfavl'SA8|*u{-ߟ0%M07%<ҍPK! ѐ'theme/theme/_rels/themeManager.xml.relsM 0wooӺ&݈Э5 6?$Q ,.aic21h:qm@RN;d`o7gK(M&$R(.1r'JЊT8V"AȻHu}|$b{P8g/]QAsم(#L[PK-![Content_Types].xmlPK-!֧6 +_rels/.relsPK-!kytheme/theme/themeManager.xmlPK-!Ptheme/theme/theme1.xmlPK-! ѐ' theme/theme/_rels/themeManager.xml.relsPK]   _GoBack Lxgz uzP07$?I.N'Dx@@@UnknownG*Ax Times New Roman5Symbol3" Arial7.@CalibriACambria Math"Pc6Pc6d0$PD!xxRESUMO Jean ZahnHelioOh+'0|  8 D P\dltRESUMO Jean ZahnNormal_WordconvHelio2Microsoft Office Outlook@@+@+d՜.+,0 hp|   RESUMO Title  "#$%&'(+Root Entry F3+-1Table WordDocument>SummaryInformation(DocumentSummaryInformation8!CompObjy  F'Microsoft Office Word 97-2003 Document MSWordDocWord.Document.89q  F#Documento do Microsoft Office Word MSWordDocWord.Document.89q