ALBUQUERQUE, A. C.; http://lattes.cnpq.br/5084851259985207; ALBUQUERQUE, Antonio Carlos de.
Resumo:
General Theory of Problem (TGP) is a formalism that represents any problem
through an algebraic structure, from captation of invariant elements that characterize
the nature of a problem. To facilitate the process of resolution, TGP also
contemplates the break of a problem in subproblems, by means of well defined
criterions TGP contributes to Artificial Intelligence in the context of problem
solving In this sense, we set as the main goal of this dissertation to develop A
Proposicional Logic of Problem Solving (LRP) as a correct and complete tool of
logic inference that is to be useful in the presentation, manipulation and formulation
of knowledge that involves the entity problem as viewed by TGP.