Multiagent systems offer a design paradigm used to conceptualise and implement systems composed of autonomous agents. Autonomy facilitates proactive independent behaviour yet in practice agents are constrained in order to ensure the system satisfies a desired social objective. Explicit constraints on agent behaviour, in the form of social norms, encourage this desirable system behaviour, yet research has largely focused on norm representation languages and protocols for norm proposal and adoption. The fundamental problem of how to automate the process of norm synthesis has largely been overlooked with norms assumed provided by the designer. Previous work has shown that automating the design of social norms is intractable in the worst case. Existing approaches, relying on state space enumerations, are effective for small systems but impractical for larger ones. Furthermore, they do not produce a set of succinct, general norms but rather a large number of state-specific restrictions. This work presents conflict-rooted synthesis, an automated norm synthesis approach that utilises a planning-based action schemata to overcome these limitations. These action schemata facilitate localised searches around specifications of undesirable states, using representations of sets of system states to avoid a full state enumeration. The proposed technique produces concise, generalised social norms that are applicable in multiple system states while also providing guarantees that agents are still able to achieve their original goals in the constrained system. To improve efficiency a set of theoretically sound, domain-independent optimisations are presented that reduce the state space searched without compromising the quality of the norms synthesised. A comparison with an alternative model checking based technique illustrates the advantages and disadvantages of our approach, while an empirical evaluation highlights the improved efficiency and quality of norms it produces at the cost of a less expressive specification of undesirable states. We empirically investigate the effectiveness of each of the proposed optimisations using a set of benchmark domains, quantifying how successful each of them is at reducing search complexity in practice. The results show that, with all optimisations enabled, conflict-rooted synthesis produces more generally applicable and succinct norms and consumes fewer system resources. Additionally, we show that this approach synthesises norms in systems where the competing approach is intractable. We provide a discussion of our approach, highlighting the impact our abstract search approach has on the fields of multiagent systems and automated planning, and discuss the limitations and assumptions we have made. We conclude with a presentation of future work.

Made available in DSpace on 2016-08-10T10:46:58Z (GMT). No. of bitstreams: 1 GIOVANA GUIMARAES DE MIRANDA.pdf: 636238 bytes, checksum: f5316ad220026bd78c31874273d4e39a (MD5) Previous issue date: 2012-08-15 / The Social Welfare introduces like supreme finality the promotion of welfare and the reach of social justice. The elements of Social Welfare Social Welfare, Social Welfare Work and Health are assured by public and society actions. The State protectors measures win the public politics denomination, resulting in obligation to do of the State, to depend on expenses, for promote the materialization of social welfare rights. The present study will broach the statute guard, it means, that preview in Statute of the Adolescent and the Child Statute, which forces the guardian to gives moral, educational and material assistance to the child. The problem which caused this search begin with the 9528/97 law, which excluded the child on guard of the 8.213/91 law in the list of economic dependents. That law regulates the social welfare benefits. Those benefits are counted fundamental rights to dependents by the supreme law of State, therefore, refusal to child on guard, results in indagation about the legislative exclusion mention above. The present work have the analyses of Social Welfare and those requisites like investigate axle, as same as studies of protective s and constitutionals doctrines of inclusion, establishing the presupposes of social welfare benefits concessions and public politics, connecting all the themes with child on guard. The focus will involve also the investigation of Social Welfare doctrines and The Constitutional Theory of Fundamental Social Rights, apply to infancy and youthfulness. Then, we will examine the family protect notion and the families modalities admitted in the Brazilian law ordainment. / A Seguridade Social apresenta como finalidade suprema a promoção do bem-estar e o alcance da justiça social. Os elementos da Seguridade Previdência, Assistência e Saúde - são assegurados pelas ações de iniciativa dos Poderes Públicos e da Sociedade. As medidas protetoras estatais ganham a denominação de políticas públicas, implicando uma obrigação de fazer do Estado, a depender de gastos financeiros, para promover a realização dos direitos securitários. Abordaremos neste estudo a guarda estatutária, ou seja, aquela prevista no Estatuto da Criança e do Adolescente que obriga o guardião à prestação de assistência material, moral e educacional ao menor. O problema que motivou esta pesquisa teve origem na Lei 9528/97, que excluiu o menor sob guarda do rol de dependentes econômicos da Lei 8.213/91, esta última que regulamenta os benefícios previdenciários. Tais benefícios são constitucionalmente considerados como direitos fundamentais aos dependentes, logo, uma vez não concedidos aos menores sob guarda provocam indagações sobre a exclusão legislativa mencionada. O presente trabalho tem como eixo investigativo a análise da Previdência Social e seus requisitos, bem como o estudo das doutrinas protetivas constitucionais de inclusão, estabelecendo os pressupostos de concessão dos benefícios previdenciários e das políticas públicas, relacionando todas as temáticas com o menor sob guarda. O foco envolverá também a investigação das Doutrinas de Seguridade Social e da Teoria Constitucional dos Direitos Sociais fundamentais, aplicados à infância e à juventude. Outrossim, examinaremos a noção de família protegida e as modalidades familiares admitidas no ordenamento jurídico brasileiro.