Uma lógica proposicional de resolução de problemas.
| Ano de defesa: | 1998 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | http://dspace.sti.ufcg.edu.br:8080/jspui/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 |
UCB-2_a2326fdbfa1044adbc801869d517958a |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/6334 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| spelling |
Uma lógica proposicional de resolução de problemas.A propositional logic of problem solving.Inteligê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 LRPCiência da ComputaçãoA 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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGLOPES, Manoel Agamemnon.LOPES, M. A.http://lattes.cnpq.br/2131331936609504COSTA, Evandro de Barros.QUEIROZ, Ruy José Guerra Barreto de.ALBUQUERQUE, Antonio Carlos de.1998-11-272019-08-29T12:32:53Z2019-08-292019-08-29T12:32:53Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6334porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-17T13:02:12Zoai:localhost:riufcg/6334Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-17T13:02:12Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false |
| dc.title.none.fl_str_mv |
Uma lógica proposicional de resolução de problemas. 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. 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 Ciência da Computação |
| 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.none.fl_str_mv |
LOPES, Manoel Agamemnon. LOPES, M. A. http://lattes.cnpq.br/2131331936609504 COSTA, Evandro de Barros. QUEIROZ, Ruy José Guerra Barreto de. |
| dc.contributor.author.fl_str_mv |
ALBUQUERQUE, Antonio Carlos de. |
| 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 Ciência da Computação |
| topic |
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 Ciência da Computação |
| 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.none.fl_str_mv |
1998-11-27 2019-08-29T12:32:53Z 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 |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6334 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 |
| url |
http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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 Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UCB instname:Universidade Católica de Brasília (UCB) instacron:UCB |
| instname_str |
Universidade Católica de Brasília (UCB) |
| instacron_str |
UCB |
| institution |
UCB |
| reponame_str |
Repositório Institucional da UCB |
| collection |
Repositório Institucional da UCB |
| repository.name.fl_str_mv |
Repositório Institucional da UCB - Universidade Católica de Brasília (UCB) |
| repository.mail.fl_str_mv |
sara.ribeiro@ucb.br |
| _version_ |
1834013161601105920 |