Uma lógica proposicional de resolução de problemas.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.creator.ID	ALBUQUERQUE, A. C.	pt_BR
dc.creator.Lattes	http://lattes.cnpq.br/5084851259985207	pt_BR
dc.contributor.advisor1	LOPES, Manoel Agamemnon.
dc.contributor.advisor1ID	LOPES, M. A.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/2131331936609504	pt_BR
dc.contributor.referee1	COSTA, Evandro de Barros.
dc.contributor.referee2	QUEIROZ, Ruy José Guerra Barreto de.
dc.description.resumo	A 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 TGP	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação
dc.title	Uma lógica proposicional de resolução de problemas.	pt_BR
dc.date.issued	1998-11-27
dc.description.abstract	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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6334
dc.date.accessioned	2019-08-29T12:32:53Z
dc.date.available	2019-08-29
dc.date.available	2019-08-29T12:32:53Z
dc.type	Dissertação	pt_BR
dc.subject	Inteligência Artificial
dc.subject	Resolução de Problemas
dc.subject	Lógica
dc.subject	Teoria Geral de Problemas (TGP)
dc.subject	Lógica Proposicional de Resolução de Problemas (LRP)
dc.subject	Sistema Formal Dedutivo
dc.subject	Atribuição de Verdade na LRP
dc.subject	Artificial intelligence
dc.subject	Problem solving
dc.subject	Logic
dc.subject	General Theory of Problems (TGP)
dc.subject	Propositional Problem Solving Logic (LRP)
dc.subject	Formal Deductive System
dc.subject	Attribution of Truth in LRP
dc.rights	Acesso Aberto	pt_BR
dc.creator	ALBUQUERQUE, Antonio Carlos de.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	A propositional logic of problem solving.	pt_BR
dc.identifier.citation	ALBUQUERQUE, 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/6334	pt_BR