Defesa de Exame de Qualificação – Jhonatan Alves – 19/9/2019
Defesa de Exame de Qualificação | |
Aluno | Jhonatan Alves |
Orientador | Prof. Jomi Fred Hübner, Dr. – DAS/UFSC |
Coorientadora | Profa. Jerusa Marchi, Dra. – INE/UFSC |
Data
|
19/9/2019 9h00 (quinta-feira)
Anfiteatro A – Eng. Produação |
Banca | Prof. Marcelo Ricardo Stemmer, Dr. – DAS/UFSC (presidente);
Profa. Viviane Torres da Silva, Dra. – IBM; Prof. Maiquel de Brito, Dr. – CAC/UFSC. |
Título | Um Mecanismo de Síntese Automática de Normas para Sistemas Multiagente |
Resumo: Normas têm sido usadas em sistemas multiagente para regular a sociedade dos agentes na forma de regras que, em certos contextos, impõem restrições sobre os seus comportamentos indicando o que é permitido, proibido ou obrigatório. O estudo das normas nesse campo é extenso e variado. Dentre os tópicos de estudo, este trabalho está interessado no problema da síntese de normas. A síntese de normas é o processo que consiste na criação de um sistema normativo (conjunto de normas) para regular o comportamento dos agentes a fim de preservar propriedades globais do sistema. Embora muito já tenha sido feito no campo da síntese, a área de sistemas multiagente carece de um mecanismo que sintetize automaticamente normas: (i) garantindo que sejam úteis aos sistemas; (ii) viabilizando a alcançabilidade dos seus objetivos; (iii) direcionadas a regular os agentes de acordo com os seus papéis nos sistemas; (iv) evitando a análise de todos os comportamentos passíveis de regulação. Nesse sentido, este trabalho propõe um novo mecanismo computacional para a síntese automática de normas em sistemas multiagente de modo a contemplar tais limitações. |