1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6334
Full metadata record
DC FieldValueLanguage
dc.creator.IDALBUQUERQUE, A. C.pt_BR
dc.creator.Latteshttp://lattes.cnpq.br/5084851259985207pt_BR
dc.contributor.advisor1LOPES, Manoel Agamemnon.-
dc.contributor.advisor1IDLOPES, M. A.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/2131331936609504pt_BR
dc.contributor.referee1COSTA, Evandro de Barros.-
dc.contributor.referee2QUEIROZ, Ruy José Guerra Barreto de.-
dc.description.resumoA 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 TGPpt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computação-
dc.titleUma lógica proposicional de resolução de problemas.pt_BR
dc.date.issued1998-11-27-
dc.description.abstractGeneral 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.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6334-
dc.date.accessioned2019-08-29T12:32:53Z-
dc.date.available2019-08-29-
dc.date.available2019-08-29T12:32:53Z-
dc.typeDissertaçãopt_BR
dc.subjectInteligência Artificial-
dc.subjectResolução de Problemas-
dc.subjectLógica-
dc.subjectTeoria Geral de Problemas (TGP)-
dc.subjectLógica Proposicional de Resolução de Problemas (LRP)-
dc.subjectSistema Formal Dedutivo-
dc.subjectAtribuição de Verdade na LRP-
dc.subjectArtificial intelligence-
dc.subjectProblem solving-
dc.subjectLogic-
dc.subjectGeneral Theory of Problems (TGP)-
dc.subjectPropositional Problem Solving Logic (LRP)-
dc.subjectFormal Deductive System-
dc.subjectAttribution of Truth in LRP-
dc.rightsAcesso Abertopt_BR
dc.creatorALBUQUERQUE, Antonio Carlos de.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeA propositional logic of problem solving.pt_BR
dc.identifier.citationALBUQUERQUE, Antonio Carlos de. Uma lógica proposicional de resolução de problemas. 1998. 103f. (Dissertação) Mestrado em Informática, Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - Paraíba - Brasil, 1998. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6334pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
ANTONIO CARLOS DE ALBUQUERQUE - DISSERTAÇÃO PPGCC 1998.pdfAntonio Carlos de Albuquerque - Dissertação PPGCC 1998. 11.63 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.