Desenvolvimento de uma gramática para auxílio no processo de criação e validação de fórmulas proposicionais estruturada em XML do Logic Live

Danilo Saraiva Vicente Vicente, D. S.

Nalberthy Sousa da Silva Silva, N. S.

Emanoel Mendes Magalhães Magalhães, E. M.

Jackson Gomes de Souza Souza, J. G.

Resumo

O LogicLive é uma plataforma criada para auxiliar no processo de ensino e aprendizagem de entusiastas e acadêmicos que estudam a lógica proposicional, atualmente a plataforma conta com módulos gamificados que disponibilizam conceitos e objetivos a serem cumpridos. Ao analisar os módulos presentes na plataforma, verificou-se que utilizam entradas de fórmulas proposicionais estruturadas em documentos XML criados de forma manual pelos desenvolvedores dos módulos. Para automatização do processo de criação das fórmulas proposicionais, foi desenvolvido a ferramenta GramLogic que possui uma gramática e um parser capaz transformar a fórmula inserida pelo usuário em um arquivo XML estruturado com a fórmula inserida e validada.

03 de Novembro de 2020

45-55

Palmas-TO

e-ISSN:2447-0767

Como referenciar

Vicente, D. S.; Silva, N. S.; Magalhães, E. M.; Souza, J. G.. Desenvolvimento de uma gramática para auxílio no processo de criação e validação de fórmulas proposicionais estruturada em XML do Logic Live. In: ENCOINFO - Congresso de Computação e Tecnologias da Informação, 22., 2020, Palmas - TO. Anais [...]. Palmas - TO: CEULP/ULBRA, 2020. p. 44 - 55. ISSN e-ISSN: 2447-0767 versão online. Disponível em: https://ulbra-to.br/encoinfo/edicoes/2020/artigos/desenvolvimento-de-uma-gramatica-para-auxilio-no-processo-de-criacao-e-validacao-de-formulas-proposicionais-estruturada-em-xml-do-logic-live/. Acesso em: 14 nov. 2024