Especificações Alloy de elementos da lógica proposicional
Especificações Alloy de elementos da lógica proposicional
<elthon@arapiraca.ufal.br> Oliveira, Filipe da Silva.
<filipe.oliveira@arapiraca.ufal.br>
A elaboração de problemas únicos e com características específicas em disciplinas formais de graduação é uma tarefa tediosa, principalmente quando a disciplina é ofertada em Massive Open Online Courses (MOOCs). Diante deste cenário, foi desenvolvida uma técnica à geração automática de fórmulas e argumentos válidos da Lógica Proposicional. O maior desafio da técnica foi gerar argumentos válidos. Pois, estes argumentos são improváveis de surgir a partir da geração totalmente aleatória. A técnica faz uso de conceitos da área de Síntese de Programas. Para isto, os conceitos de síntese são utilizados em conjunto com especificações formais descritas em Alloy. Neste trabalho, são apresentadas as especificações Alloy necessárias à geração dos elementos da Lógica.
The elaboration of unique problems with specific characteristics in formal undergraduate courses is a tedious task, especially when the course is offered in Massive Open Online Courses (MOOCs). In this scenario, a technique for the automatic generation of propositional logic formulas and valid arguments was developed. The major challenge of the technique was to generate valid arguments. These arguments are unlikely to arise from totally random generation. The technique makes use of concepts from the Program Synthesis area. For this, the synthesis concepts are used together with formal specifications described in Alloy. In this job, Alloy specifications necessary for the generation of Logic elements are presented.
Síntese de programas.
Linguagem proposicional.
Alloy, Especificações.
Geração por modelos.