Especificações Alloy de Elementos da Lógica Proposicional
Resumo
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 artigo, são apresentadas as especificações Alloy necessárias à geração dos elementos da Lógica.
Referências
Gulwani, S., Polozov, A., and Singh, R. (2017). Program Synthesis, volume 4. NOW.
Jackson, D. (2012). Software Abstractions: logic, language, and analysis. MIT press.
Mozgovoy, M., Kakkonen, T., and Cosma, G. (2010). Automatic student plagiarism detection: future perspectives. Journal of Educational Computing Research, 43(4):511– 531.
Nori, A. V., Ozair, S., Rajamani, S. K., and Vijaykeerthy, D. (2015). Efficient synthesis of probabilistic programs. ACM SIGPLAN Notices, 50(6):208–217.
Pnueli, A. and Rosner, R. (1989). On the synthesis of a reactive module. In Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 179–190.
Silva, F. S. C. d., Finger, M., and Melo, A. C. V. d. (2006). Lógica para computação. Cengage Learning.
Solar-Lezama, A. (2009). The sketching approach to program synthesis. In Hu, Z., editor, Programming Languages and Systems, pages 4–13, Berlin, Heidelberg. Springer Berlin Heidelberg.
Wang, Y., Dong, J., Shah, R., and Dillig, I. (2019). Synthesizing database programs In Proceedings of the 40th ACM SIGPLAN Conference on for schema refactoring. Programming Language Design and Implementation, pages 286–300.
Yaghmazadeh, N., Wang, Y., Dillig, I., and Dillig, T. (2017). Sqlizer: query synthesis from natural language. Proceedings of the ACM on Programming Languages, 1(OOPSLA):1–26.
