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

Abstract

This work presents the Development of a Methodology for Solving "Determine Type" Problems, using Skolemization process as solution. The methodology draft is divided in two steps. On first step there is the problem caracterization, where regarding the problem definition, we verify if its target is seaching for results, principal caracteristc of problems a "Determine Type". On the second step we work on solving the problem, structurally describe it, formally describe it, and as the last task Skolemization solution process, find a function for the problem what makes even more simple the solution of such problem. General Problem Theory (GPT) and Skolemization technics based on the First Order Logic were used for developing this work. At the end, the proposed mechanism leads as to a fundamental step towards the development of a methodology which is able to solve problems of a rather big class.