Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas

  • Filipe Oliveira UFAL
  • Elthon Oliveira UFAL

Resumo


A elaboração de problemas com características específicas da disciplina de Lógica é tida como uma tarefa tediosa por parte do professor. Neste artigo é apresentado uma abordagem para geração automática de fórmulas da Lógica Proposicional. O trabalho adapta a técnica de Geração de Esboço da Síntese de Programas na construção das fórmulas. Foi desenvolvido um sintetizador capaz de gerar fórmulas válidas baseadas em parâmetros fornecidos pelo usuário. A abordagem apresentada teve bons resultados que impulsionam a evolução do sintetizador com o objetivo da síntese de argumentos da Lógica Proposicional.
Palavras-chave: Engenharia de Software, Fundamentos Teóricos da Computação, Informática na Educação, Inteligência Artificial

Referências

Andersen, E., Gulwani, S., and Popovic, Z. (2013). A trace-based framework for analyzing and synthesizing educational progressions. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pages 773–782.

Bornholt, J. (2015). Program synthesis explained. https://www.cs.utexas.edu/˜bornholt/post/synthesis-explained.html. Último acesso em 16/10/2019.

Gulwani, S. (2016). Programming by examples (and its applications in data wrangling). In Verification and Synthesis of Correct and Secure Systems. IOS Press.

Gulwani, S., Korthikanti, V. A., and Tiwari, A. (2011). Synthesizing geometry constructions. ACM SIGPLAN Notices, 46(6):50–61.

Gulwani, S., Polozov, A., and Singh, R. (2017). Program Synthesis, volume 4. NOW.

Mozgovoy, M., Kakkonen, T., and Cosma, G. (2010). Automatic student plagiarism detection: future perspectives. Journal of Educational Computing Research, 43(4):511–531.

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.

Sadigh, D., Seshia, S. A., and Gupta, M. (2012). Automating exercise generation: A step towards meeting the mooc challenge for embedded systems. In Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, pages 1–8.

Silva, F. S. C. d., Finger, M., and Melo, A. C. V. d. (2006). Lógica para computação. Cengage Learning.

Singh, R., Gulwani, S., and Rajamani, S. (2012). Automatically generating algebra problems. In Twenty-Sixth AAAI Conference on Artificial Intelligence.

Singh, R., Gulwani, S., and Solar-Lezama, A. (2013). Automated feedback generation for introductory programming assignments. In Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation, pages 15–26.

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.

Solar-Lezama, A. and Bodik, R. (2008). Program synthesis by sketching. Citeseer.
Publicado
26/10/2020
OLIVEIRA, Filipe; OLIVEIRA, Elthon. Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas. In: ESCOLA REGIONAL DE COMPUTAÇÃO BAHIA, ALAGOAS E SERGIPE (ERBASE), 20. , 2020, Arapiraca-AL. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 119-128.