Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas
Abstract
The elaboration of problems with specific characteristics of the Logic discipline is considered a tedious task on the part of the teacher. This article presents an approach for automatic generation of formulas from Propositional Logic. The work adapts the technique of Sketch Generation of the Program Synthesis in the construction of formulas. A synthesizer was developed capable of generating valid formulas based on parameters provided by the user. The presented approach had good results that propel the evolution of the synthesizer aiming the synthesis of arguments of Propositional Logic.
Keywords:
Engenharia de Software, Fundamentos Teóricos da Computação, Informática na Educação, Inteligência Artificial
References
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.
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.
Published
2020-10-26
How to Cite
OLIVEIRA, Filipe; OLIVEIRA, Elthon.
Geração de fórmulas da Lógica Proposicional baseada na Síntese de Programas. In: REGIONAL SCHOOL ON COMPUTING OF BAHIA, ALAGOAS, AND SERGIPE (ERBASE), 20. , 2020, Arapiraca-AL.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2020
.
p. 119-128.
