Silva, A. Ferreira daSantos, Adriano A2023-01-302021http://hdl.handle.net/10400.22/21978Neste artigo é descrito um programa desenvolvido em PROLOG, que realiza uma manipulação simbólica computacional dos Mapas de Karnaugh (MK), para obter o conjunto de equações lógicas otimizadas que possibilite o controlo de circuitos pneumáticos ou electropneumáticos. A manipulação simbólica de um MK é governada por um conjunto de regras genéricas que permitem obter a minimização/otimização de equações lógicas para controlo do circuito. Essa complexidade advém da explosão combinatória que resulta do aumento do número de cilindros que constituem o ciclo a automatizar. As abordagens de aprendizagem simbólica foram implementadas realizando uma busca no espaço de padrões simbólicos do MK. Esta busca permite com o uso de regras, reduzir o universo de procura no espaço de padrões simbólicos e, obter a solução ideal para controlar o circuito pneumático ou electropneumático desejadoporMapas de KarnaughManipulação simbólicaPROLOGAutomação pneumáticaControlo de circuitos pneumáticos e electropneumáticosconference object10.23919/CISTI52073.2021.9476491