Desenvolvimento de uma metodologia para resolução de problemas do tipo determine.
| Ano de defesa: | 1997 |
|---|---|
| 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/8539 |
Resumo: | Este trabalho apresenta o Desenvolvimento de uma Metodologia para Resolução de Problemas do "Tipo Determine", usando como processo de solução a Skolemização. O esboço da metodologia está dividido em duas etapas. Na primeira etapa temos a caracterização do problema, onde a partir do enunciado do problema verificamos se o objetivo deste é buscar resultados, que é a característica principal dos problemas da classe "tipo determine". Na segunda etapa trabalhamos a resolução do problema propriamente dita, descrevemos o problema estruturalmente, fazemos uma especificação formal do problema e, como último passo, usamos como processo de solução a Skolemização, chegando uma função solução para o problema, tornando mais simples o processo de resolução de um problema da classe. Para o desenvolvimento deste trabalho, foram utilizados os elementos da Teoria Geral de Problemas (TGP) e as técnicas de Skolemização baseada na Lógica de Primeira Ordem. Finalmente todo o mecanismo proposto permite que seja dado um passo fundamental no caminho de desenvolvimento de uma metodologia que resolva problemas de uma classe relativamente ampla. |
| id |
UCB-2_062eeee485463effcf7de1a86a1f1f22 |
|---|---|
| oai_identifier_str |
oai:localhost:riufcg/8539 |
| network_acronym_str |
UCB-2 |
| network_name_str |
Repositório Institucional da UCB |
| repository_id_str |
|
| spelling |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine.Development of a methodology to solve determine problems.Inteligência ArtificialTeoria Geral de Problemas (TGP)Lógica de Primeira OrdemAnálise Sintática da Intencionalidade do ProblemaClasse de Problemas do Tipo DetermineEspecificação de Problemas do Tipo DetermineMetodologia de Resolução de Problemas do Tipo DetermineArtificial IntelligenceGeneral Theory of Problems (TGP)First Order LogicParsing of Problem IntentionalityDetermine Type Problem ClassSpecify Determine Type ProblemsType Problem Resolution Methodology DetermineEste trabalho apresenta o Desenvolvimento de uma Metodologia para Resolução de Problemas do "Tipo Determine", usando como processo de solução a Skolemização. O esboço da metodologia está dividido em duas etapas. Na primeira etapa temos a caracterização do problema, onde a partir do enunciado do problema verificamos se o objetivo deste é buscar resultados, que é a característica principal dos problemas da classe "tipo determine". Na segunda etapa trabalhamos a resolução do problema propriamente dita, descrevemos o problema estruturalmente, fazemos uma especificação formal do problema e, como último passo, usamos como processo de solução a Skolemização, chegando uma função solução para o problema, tornando mais simples o processo de resolução de um problema da classe. Para o desenvolvimento deste trabalho, foram utilizados os elementos da Teoria Geral de Problemas (TGP) e as técnicas de Skolemização baseada na Lógica de Primeira Ordem. Finalmente todo o mecanismo proposto permite que seja dado um passo fundamental no caminho de desenvolvimento de uma metodologia que resolva problemas de uma classe relativamente ampla.This work presents the Development of a Methodology for Solving "Determine Type" Problems, using Skolemization process as solution. The methodology draft is divided in two steps. On first step there is the problem caracterization, where regarding the problem definition, we verify if its target is seaching for results, principal caracteristc of problems a "Determine Type". On the second step we work on solving the problem, structurally describe it, formally describe it, and as the last task Skolemization solution process, find a function for the problem what makes even more simple the solution of such problem. General Problem Theory (GPT) and Skolemization technics based on the First Order Logic were used for developing this work. At the end, the proposed mechanism leads as to a fundamental step towards the development of a methodology which is able to solve problems of a rather big class.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/2131331936609504LULA JÚNIOR, Bernardo.COSTA, Evandro de Barros.BEDREGAL, Benjamin René Callejas.SANTOS, Vera Lucia Prudência dos.1997-07-032019-10-28T12:45:31Z2019-10-282019-10-28T12:45:31Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8539SANTOS, Vera Lúcia Prudência dos. Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. 1997. 130f. (Dissertação de 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 - PB, 1997. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8539porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-17T11:55:39Zoai:localhost:riufcg/8539Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-17T11:55:39Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false |
| dc.title.none.fl_str_mv |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. Development of a methodology to solve determine problems. |
| title |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. |
| spellingShingle |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. SANTOS, Vera Lucia Prudência dos. Inteligência Artificial Teoria Geral de Problemas (TGP) Lógica de Primeira Ordem Análise Sintática da Intencionalidade do Problema Classe de Problemas do Tipo Determine Especificação de Problemas do Tipo Determine Metodologia de Resolução de Problemas do Tipo Determine Artificial Intelligence General Theory of Problems (TGP) First Order Logic Parsing of Problem Intentionality Determine Type Problem Class Specify Determine Type Problems Type Problem Resolution Methodology Determine |
| title_short |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. |
| title_full |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. |
| title_fullStr |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. |
| title_full_unstemmed |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. |
| title_sort |
Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. |
| author |
SANTOS, Vera Lucia Prudência dos. |
| author_facet |
SANTOS, Vera Lucia Prudência dos. |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
LOPES, Manoel Agamemnon. LOPES, M. A. http://lattes.cnpq.br/2131331936609504 LULA JÚNIOR, Bernardo. COSTA, Evandro de Barros. BEDREGAL, Benjamin René Callejas. |
| dc.contributor.author.fl_str_mv |
SANTOS, Vera Lucia Prudência dos. |
| dc.subject.por.fl_str_mv |
Inteligência Artificial Teoria Geral de Problemas (TGP) Lógica de Primeira Ordem Análise Sintática da Intencionalidade do Problema Classe de Problemas do Tipo Determine Especificação de Problemas do Tipo Determine Metodologia de Resolução de Problemas do Tipo Determine Artificial Intelligence General Theory of Problems (TGP) First Order Logic Parsing of Problem Intentionality Determine Type Problem Class Specify Determine Type Problems Type Problem Resolution Methodology Determine |
| topic |
Inteligência Artificial Teoria Geral de Problemas (TGP) Lógica de Primeira Ordem Análise Sintática da Intencionalidade do Problema Classe de Problemas do Tipo Determine Especificação de Problemas do Tipo Determine Metodologia de Resolução de Problemas do Tipo Determine Artificial Intelligence General Theory of Problems (TGP) First Order Logic Parsing of Problem Intentionality Determine Type Problem Class Specify Determine Type Problems Type Problem Resolution Methodology Determine |
| description |
Este trabalho apresenta o Desenvolvimento de uma Metodologia para Resolução de Problemas do "Tipo Determine", usando como processo de solução a Skolemização. O esboço da metodologia está dividido em duas etapas. Na primeira etapa temos a caracterização do problema, onde a partir do enunciado do problema verificamos se o objetivo deste é buscar resultados, que é a característica principal dos problemas da classe "tipo determine". Na segunda etapa trabalhamos a resolução do problema propriamente dita, descrevemos o problema estruturalmente, fazemos uma especificação formal do problema e, como último passo, usamos como processo de solução a Skolemização, chegando uma função solução para o problema, tornando mais simples o processo de resolução de um problema da classe. Para o desenvolvimento deste trabalho, foram utilizados os elementos da Teoria Geral de Problemas (TGP) e as técnicas de Skolemização baseada na Lógica de Primeira Ordem. Finalmente todo o mecanismo proposto permite que seja dado um passo fundamental no caminho de desenvolvimento de uma metodologia que resolva problemas de uma classe relativamente ampla. |
| publishDate |
1997 |
| dc.date.none.fl_str_mv |
1997-07-03 2019-10-28T12:45:31Z 2019-10-28 2019-10-28T12:45:31Z |
| 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/8539 SANTOS, Vera Lúcia Prudência dos. Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. 1997. 130f. (Dissertação de 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 - PB, 1997. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8539 |
| url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8539 |
| identifier_str_mv |
SANTOS, Vera Lúcia Prudência dos. Desenvolvimento de uma metodologia para resolução de problemas do tipo determine. 1997. 130f. (Dissertação de 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 - PB, 1997. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8539 |
| 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_ |
1834013168538484736 |