Análise de funções booleanas e engenharia reversa em jogos de minoria

Amaury de Souza Amaral, egresso do Programa de Pós-Graduação em Ciência da Computação da UFABC, pesquisou, durante seu curso de mestrado, a aplicação da análise de funções booleanas e de engenharia reversa em jogos de minoria.

Em sua dissertação, estudou ferramentas da lógica booleana, como o viés, a influência e a energia, e aplicou tais conceitos na simulação de jogos de minoria, aferindo comportamentos recorrentes de jogadores. Entre seus principais objetivos estava a construção de um modelo teórico, para, em seguida, buscar um possível algoritmo que pudesse predizer dados.

Segundo o pesquisador, o algoritmo teórico obtido pode ser explorado e aprimorado para, por exemplo, auxiliar na busca de dados do mercado financeiro, como bolsas de valores, dentre outros meios.

Além do mestrado em Ciência da Computação na UFABC, Amaury cursou o mestrado em Ciências Contábeis e Atuariais e o doutorado em Ciências Sociais na PUC-SP, e graduou-se em Ciências Contábeis e em Física pela USP. Atualmente, é professor da PUC-SP na área de Contabilidade.

... 
Dados | Egresso 

Nome completo 
Amaury de Souza Amaral 

Formação acadêmica (cursos e instituições)
∙ Pós-Doutorado em Física | Universidade de São Paulo (USP)
∙ Doutorado em Ciências Sociais | Pontifícia Universidade Católica de São Paulo (PUC-SP)
∙ Mestrado em Ciência da Computação | Universidade Federal do ABC (UFABC) 
∙ Mestrado em Ciências Contábeis e Atuariais | Pontifícia Universidade Católica de São Paulo (PUC-SP)
∙ Graduação em Física | Universidade de São Paulo (USP)
∙ Graduação em Ciências Contábeis | Universidade de São Paulo (USP) 

Profissão / experiência profissional 
∙ Professor concursado da PUC-SP na área de Contabilidade
∙ Professor de pós-graduação (lato sensu): MBA - Controladoria
∙ Coordenador acadêmico do curso de Tecnologia da Informação Gerencial
∙ Coordenador de curso - área internacional (Convênio PUC-SP/ACCA)
∙ Criador e editor da Revista Acadêmica REDECA da PUC-SP

Áreas de atuação extra-acadêmicas:
∙ Contabilidade e auditoria em empresas de médio e grande porte do setor privado
∙ Análise de custos; formação de preços de custo e venda; treinamento na área de custos em geral
∙ Área financeira em geral (controladoria)
∙ Perito Judicial Contábil há mais de 20 anos, atuando com diversos juízes na qualidade de perito
∙ Ministrou curso de graduação na Price Waterhouse Coopers (Convênio PUC-SP/Price)

Atuação profissional:
∙ Fenil Química (Controller)
∙ Vila Romana (Supervisor de controladoria e finanças)
∙ Elebra Informática (Área de produção/promoção de processo produtivo)
∙ Banco Itaú (Gerente operacional pleno)
∙ Indústrias Matarazzo (Tesouraria/funções menores) 

Programa de pós-graduação e curso (mestrado ou doutorado) concluído na UFABC
Mestrado em Ciência da Computação 

Como sua trajetória neste curso de pós-graduação na UFABC contribuiu para sua formação? 
Auxiliou nas diversas atividades exercidas após a sua conclusão.

... 
Dados | Dissertação 

Título
Análise de funções booleanas e engenharia reversa em jogos de minoria

Data da defesa
9 de abril de 2015 

Nome do orientador
Orientador: Prof. Dr. Jair Donadelli Júnior
Coorientador: Prof. Dr. Fernando Fagundes Ferreira 

Linhas de pesquisa 
∙ Computação teórica
∙ Funções booleanas aplicadas à computação 

Link para a dissertação 


...

Questões | Pesquisa 

Qual o tema da sua pesquisa e por que o escolheu? 
O tema refere-se às funções booleanas e como são trabalhadas sob o enfoque de influência, vieses e energia, em que o grupo dominante, numa série, prevalece sobre o outro grupo, o da minoria. Com isso, foi possível conectá-las aos jogos de minoria, tentar descobrir qual teria sido a matriz de estratégias dos jogadores e conhecê-las durante o jogo; para tal, utilizaram-se os enfoques matemáticos extrapolados das funções booleanas. Utilizamos um processo chamado de engenharia reversa. 

Quais eram seus objetivos (gerais e específicos)? 
Os objetivos gerais eram buscar um possível algoritmo que pudesse predizer dados de entrada e conhecê-los observando o comportamento de alguns deles.
O objetivo específico era a simulação por meio do algoritmo genético, onde os dados das matrizes de saída pudessem ser descobertos através da otimização dos dados na simulação, de forma dinâmica. 

Como foi sua realização (materiais e métodos, metodologia, corpus etc.)?
O processo realizou-se inicialmente com a teorização, envolvendo o orientador (matemático) da UFABC e o coorientador (físico) de outra universidade (USP).
Foi possível construir um processo teórico e obter-se o algoritmo procurado na pesquisa.
A computação ocorreu em um processamento simples e de baixo custo computacional. 

Quais foram os desafios enfrentados? 
O principal desafio foi a construção do modelo teórico para, em seguida, obter o algoritmo buscado. 

Quais foram os principais resultados alcançados? 
1. O algoritmo construído com base em processo de otimização obteve resultado de minimização de erro entre 8% e 25%, e o genético ficou entre 33% e 42%.
2. A partir da engenharia reversa, foi possível obter duas matrizes de entrada correspondentes às estratégias dos jogadores (M1 e M2); por outro lado, mensurou-se um parâmetro de influência desses jogadores no resultado final do jogo. Tais estudos foram provenientes das análises das funções booleanas. Em seguida, as estratégias mais influentes foram inseridas em outro jogo e foi possível observar resultados de ganho, ou seja, elas continuaram mais influentes no novo jogo. 

Descreva, resumidamente, a importância acadêmica e social de sua pesquisa, isto é, sua contribuição para o universo científico e o cotidiano das pessoas. 
Trata-se de um algoritmo teórico que pode ser explorado e aprimorado na busca de dados do mercado financeiro, como bolsas de valores e outros meios que se utilizam de estratégias iniciais, possivelmente, desconhecidas.