Exportação concluída — 

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

Detalhes bibliográficos
Ano de defesa: 1998
Autor(a) principal: ALBUQUERQUE, Antonio Carlos de. lattes
Orientador(a): LOPES, Manoel Agamemnon. lattes
Banca de defesa: COSTA, Evandro de Barros., QUEIROZ, Ruy José Guerra Barreto de.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
Inteligência Artificial
Resolução de Problemas
Lógica
Teoria Geral de Problemas (TGP)
Lógica Proposicional de Resolução de Problemas (LRP)
Sistema Formal Dedutivo
Atribuição de Verdade na LRP
Artificial intelligence
Problem solving
Logic
General Theory of Problems (TGP)
Propositional Problem Solving Logic (LRP)
Formal Deductive System
Attribution of Truth in LRP
Área do conhecimento CNPq:
Ciência da Computação
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/6334
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
id UFCG_30e56cac3b3ea3f6900a7bca8ac77aee
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/6334
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling LOPES, Manoel Agamemnon.LOPES, M. A.http://lattes.cnpq.br/2131331936609504COSTA, Evandro de Barros.QUEIROZ, Ruy José Guerra Barreto de.ALBUQUERQUE, A. C.http://lattes.cnpq.br/5084851259985207ALBUQUERQUE, Antonio Carlos de.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 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.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-27Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da ComputaçãoInteligência ArtificialResolução de ProblemasLógicaTeoria Geral de Problemas (TGP)Lógica Proposicional de Resolução de Problemas (LRP)Sistema Formal DedutivoAtribuição de Verdade na LRPArtificial intelligenceProblem solvingLogicGeneral Theory of Problems (TGP)Propositional Problem Solving Logic (LRP)Formal Deductive SystemAttribution of Truth in LRPUma lógica proposicional de resolução de problemas.A propositional logic of problem solving.1998-11-272019-08-29T12:32:53Z2019-08-292019-08-29T12:32:53Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/6334ALBUQUERQUE, 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/6334info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTANTONIO CARLOS DE ALBUQUERQUE - DISSERTAÇÃO PPGCC 1998.pdf.txtANTONIO CARLOS DE ALBUQUERQUE - DISSERTAÇÃO PPGCC 1998.pdf.txttext/plain154459https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6334/4/ANTONIO+CARLOS+DE+ALBUQUERQUE+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf.txtccae4fd05e6e96eac6fad390c2df3e97MD54ORIGINALANTONIO CARLOS DE ALBUQUERQUE - DISSERTAÇÃO PPGCC 1998.pdfANTONIO CARLOS DE ALBUQUERQUE - DISSERTAÇÃO PPGCC 1998.pdfapplication/pdf11908024https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6334/3/ANTONIO+CARLOS+DE+ALBUQUERQUE+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf49389d72d987d15d9c38bb0bbfc42411MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6334/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/63342025-07-24 04:25:49.279oai:dspace.sti.ufcg.edu.br:riufcg/6334Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T07:25:49Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Uma lógica proposicional de resolução de problemas.
dc.title.alternative.pt_BR.fl_str_mv A propositional logic of problem solving.
title Uma lógica proposicional de resolução de problemas.
spellingShingle Uma lógica proposicional de resolução de problemas.
ALBUQUERQUE, Antonio Carlos de.
Ciência da Computação
Inteligência Artificial
Resolução de Problemas
Lógica
Teoria Geral de Problemas (TGP)
Lógica Proposicional de Resolução de Problemas (LRP)
Sistema Formal Dedutivo
Atribuição de Verdade na LRP
Artificial intelligence
Problem solving
Logic
General Theory of Problems (TGP)
Propositional Problem Solving Logic (LRP)
Formal Deductive System
Attribution of Truth in LRP
title_short Uma lógica proposicional de resolução de problemas.
title_full Uma lógica proposicional de resolução de problemas.
title_fullStr Uma lógica proposicional de resolução de problemas.
title_full_unstemmed Uma lógica proposicional de resolução de problemas.
title_sort Uma lógica proposicional de resolução de problemas.
author ALBUQUERQUE, Antonio Carlos de.
author_facet ALBUQUERQUE, Antonio Carlos de.
author_role author
dc.contributor.advisor1.fl_str_mv LOPES, Manoel Agamemnon.
dc.contributor.advisor1ID.fl_str_mv LOPES, M. A.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2131331936609504
dc.contributor.referee1.fl_str_mv COSTA, Evandro de Barros.
dc.contributor.referee2.fl_str_mv QUEIROZ, Ruy José Guerra Barreto de.
dc.contributor.authorID.fl_str_mv ALBUQUERQUE, A. C.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5084851259985207
dc.contributor.author.fl_str_mv ALBUQUERQUE, Antonio Carlos de.
contributor_str_mv LOPES, Manoel Agamemnon.
COSTA, Evandro de Barros.
QUEIROZ, Ruy José Guerra Barreto de.
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
Inteligência Artificial
Resolução de Problemas
Lógica
Teoria Geral de Problemas (TGP)
Lógica Proposicional de Resolução de Problemas (LRP)
Sistema Formal Dedutivo
Atribuição de Verdade na LRP
Artificial intelligence
Problem solving
Logic
General Theory of Problems (TGP)
Propositional Problem Solving Logic (LRP)
Formal Deductive System
Attribution of Truth in LRP
dc.subject.por.fl_str_mv Inteligência Artificial
Resolução de Problemas
Lógica
Teoria Geral de Problemas (TGP)
Lógica Proposicional de Resolução de Problemas (LRP)
Sistema Formal Dedutivo
Atribuição de Verdade na LRP
Artificial intelligence
Problem solving
Logic
General Theory of Problems (TGP)
Propositional Problem Solving Logic (LRP)
Formal Deductive System
Attribution of Truth in LRP
description 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
publishDate 1998
dc.date.issued.fl_str_mv 1998-11-27
dc.date.accessioned.fl_str_mv 2019-08-29T12:32:53Z
dc.date.available.fl_str_mv 2019-08-29
2019-08-29T12:32:53Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/6334
dc.identifier.citation.fl_str_mv 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/6334
url https://dspace.sti.ufcg.edu.br/handle/riufcg/6334
identifier_str_mv 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/6334
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6334/4/ANTONIO+CARLOS+DE+ALBUQUERQUE+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6334/3/ANTONIO+CARLOS+DE+ALBUQUERQUE+-+DISSERTA%C3%87%C3%83O+PPGCC+1998.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/6334/2/license.txt
bitstream.checksum.fl_str_mv ccae4fd05e6e96eac6fad390c2df3e97
49389d72d987d15d9c38bb0bbfc42411
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1863363433318055936

Registros relacionados