Desenvolvimento de uma metodologia para resolução de problemas do tipo determine.

• Ano de defesa: 1997
• Autor(a) principal: SANTOS, Vera Lucia Prudência dos.
• Orientador(a): LOPES, Manoel Agamemnon.
• Banca de defesa: LULA JÚNIOR, Bernardo., COSTA, Evandro de Barros., BEDREGAL, Benjamin René Callejas.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande
• Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
• Departamento: Centro de Engenharia Elétrica e Informática - CEEI
• País: Brasil
• Palavras-chave em Português: Inteligência Artificial; Teoria Geral de Problemas (TGP); Lógica de Primeira Ordem; Análise Sintática da Intencionalidade do Problema; Classe de Problemas do Tipo Determine; Especificação de Problemas do Tipo Determine; Metodologia de Resolução de Problemas do Tipo Determine; Artificial Intelligence; General Theory of Problems (TGP); First Order Logic; Parsing of Problem Intentionality; Determine Type Problem Class; Specify Determine Type Problems; Type Problem Resolution Methodology Determine
• Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/8539

Este trabalho apresenta o Desenvolvimento de uma Metodologia para Resolução de Problemas do "Tipo Determine", usando como processo de solução a Skolemização. O esboço da metodologia está dividido em duas etapas. Na primeira etapa temos a caracterização do problema, onde a partir do enunciado do problema verificamos se o objetivo deste é buscar resultados, que é a característica principal dos problemas da classe "tipo determine". Na segunda etapa trabalhamos a resolução do problema propriamente dita, descrevemos o problema estruturalmente, fazemos uma especificação formal do problema e, como último passo, usamos como processo de solução a Skolemização, chegando uma função solução para o problema, tornando mais simples o processo de resolução de um problema da classe. Para o desenvolvimento deste trabalho, foram utilizados os elementos da Teoria Geral de Problemas (TGP) e as técnicas de Skolemização baseada na Lógica de Primeira Ordem. Finalmente todo o mecanismo proposto permite que seja dado um passo fundamental no caminho de desenvolvimento de uma metodologia que resolva problemas de uma classe relativamente ampla.