Defesa de Exame de Qualificação – Jhonatan Alves – 19/9/2019

24/09/2019 15:23
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.