Uma lógica proposicional de resolução de problemas.
| Ano de defesa: | 1998 |
|---|---|
| Autor(a) principal: |
ALBUQUERQUE, Antonio Carlos de.
 |
| Orientador(a): |
LOPES, Manoel Agamemnon.
|
| Banca de defesa: | , |
| 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: | |
| Área do conhecimento CNPq: | |
| 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 |