A propositional logic of problem solving.

Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-08-29T12:32:53Z No. of bitstreams: 1 ANTONIO CARLOS DE ALBUQUERQUE - DISSERTAÇÃO PPGCC 1998..pdf: 11149998 bytes, checksum: f5503c0220d7d976721f80a79ce8ad62 (MD5)Made available in DSpace on 2019-08-29T12:32:53Z (GMT). No. of bitstreams: 1 ANTONIO CARLOS DE ALBUQUERQUE - DISSERTAÇÃO PPGCC 1998..pdf: 11149998 bytes, checksum: f5503c0220d7d976721f80a79ce8ad62 (MD5) Previous issue date: 1998-11-27A Teoria Geral de Problemas (TOP) e um formalismo que representa qualquer problema atraves de uma estrutura algebrica, a partir da captacao de elementos invariantes que caracterizam a natureza de um problema A fim de facilitar o processo de resolu9ao, a TOP tambem contempla a quebra de um problema em subproblemas, por meio de criterios bem definidos A TOP contribui com a Inteligencia Artificial no contexto de resolucao de problemas. Nesse sentido, lirmamos como objetivo principal desta dissertacao desenvolver Uma Logica Proposicional de Resolucao de Problemas (LRP) como uma terramenta correta e completa de inferencia logica que seja util na apresentacao. manipulacao e formulacao de conhecimento que envolva a entidade problema como vista pela TGPGeneral 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