Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados.
Autor(a) principal: | |
---|---|
Data de Publicação: | 1995 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10153 |
Resumo: | 0 objetivo desta dissertação e desenvolver uma teoria de aprendizado de maquina (em particular, raciocínio abdutivo proposicional) usando a estrutura dos Sistemas Dedutivos Rotulados (LDS) de D. Gabbay, sob a perspectiva de D. Gillies na dicotomia 'logica dedutiva versus logica indutiva' onde a inferência controlada funciona como a noção que aproxima os dois conceitos. Desse ponto de vista, o raciocínio abdutivo, um tópico que atrai bastante interesse na comunidade de IA e na pesquisa sobre automatização do raciocínio, pode ser visto como um tipo de dedução controlada onde o componente de controle sera representado pelos rótulos do LDS. Este trabalho investiga a possibilidade de tratar lado a lado os aspectos do nível objeto e do meta-nível de um problema abdutivo: o conjunto de explicações possíveis para um fato observado e gerado dedutivamente (o nível objeto) e, depois disso, a explica^ao mais interessante e escolhida considerando o critério de preferencia dado pelo usuário (o meta-nível). Dessa maneira, é possível dar uma solução mais plausível a um problema abdutivo. Alem disso, já que o critério de preferencia, que depende do significado dos rótulos, pode variar, essa caracterização da abdução pode ser facilmente adaptada para diferentes domínios. |
id |
UFCG_306d12461a6e4d79bab4d96f21027613 |
---|---|
oai_identifier_str |
oai:localhost:riufcg/10153 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados.On the question of the formalization of abductive reasoning via labeled deductive systems.Inteligência ArtificialRaciocínio Não-monotônicoLógica MatemáticaSistema Dedutivo RotuladoTeoria de Aprendizado AbdutivoArtificial intelligenceNon-monotonic ReasoningMathematical LogicLabeled Deductive SystemAbductive Learning TheoryCiência da Computação0 objetivo desta dissertação e desenvolver uma teoria de aprendizado de maquina (em particular, raciocínio abdutivo proposicional) usando a estrutura dos Sistemas Dedutivos Rotulados (LDS) de D. Gabbay, sob a perspectiva de D. Gillies na dicotomia 'logica dedutiva versus logica indutiva' onde a inferência controlada funciona como a noção que aproxima os dois conceitos. Desse ponto de vista, o raciocínio abdutivo, um tópico que atrai bastante interesse na comunidade de IA e na pesquisa sobre automatização do raciocínio, pode ser visto como um tipo de dedução controlada onde o componente de controle sera representado pelos rótulos do LDS. Este trabalho investiga a possibilidade de tratar lado a lado os aspectos do nível objeto e do meta-nível de um problema abdutivo: o conjunto de explicações possíveis para um fato observado e gerado dedutivamente (o nível objeto) e, depois disso, a explica^ao mais interessante e escolhida considerando o critério de preferencia dado pelo usuário (o meta-nível). Dessa maneira, é possível dar uma solução mais plausível a um problema abdutivo. Alem disso, já que o critério de preferencia, que depende do significado dos rótulos, pode variar, essa caracterização da abdução pode ser facilmente adaptada para diferentes domínios.The intention here is to develop a theory of machine learning (in particular, propositional abductive reasoning) using the framework of D. Gabbay's Labelled Deductive Systems (LDS), in the light of Gillies' perspective on the dichotomy 'deductive versus inductive logic' where controlled inference serves as the bridging notion. From this point of view, abductive reasoning, a topic that attracts much interest in A I and automated reasoning research, can be seen as a kind of controlled deduction where the control component will be represented by the labels of the LDS framework. This work investigates the possibility of treating both object and meta-level aspects of an abductive problem side by side: the set of possible explanations to an observed fact is generated deductively (the object level) and, after that , the most interesting explanation is chosen considering the preference criterion stated by the user (the meta-level). This way, i t is possible to give an abductive problem a more plausible solution. Moreover, since the preference criterion, which depends on the meaning of the labels, may vary, this characterization of abduction can easily be adapted to different problem domains.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/2131331936609504QUEIROZ, Rui José Guerra Barreto de.BENEVIDES, Mario Roberto Folhadella.FERNEDA, Edilson.RICCIO, Nicia Cristina Rocha.1995-08-102019-12-12T14:06:59Z2019-12-122019-12-12T14:06:59Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10153RICCIO, Nicia Cristina Rocha. Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. 1995. 196f. (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, 1995. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10153porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-16T14:19:59Zoai:localhost:riufcg/10153Biblioteca 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:48512022-03-16T14:19:59Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.none.fl_str_mv |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. On the question of the formalization of abductive reasoning via labeled deductive systems. |
title |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. |
spellingShingle |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. RICCIO, Nicia Cristina Rocha. Inteligência Artificial Raciocínio Não-monotônico Lógica Matemática Sistema Dedutivo Rotulado Teoria de Aprendizado Abdutivo Artificial intelligence Non-monotonic Reasoning Mathematical Logic Labeled Deductive System Abductive Learning Theory Ciência da Computação |
title_short |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. |
title_full |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. |
title_fullStr |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. |
title_full_unstemmed |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. |
title_sort |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. |
author |
RICCIO, Nicia Cristina Rocha. |
author_facet |
RICCIO, Nicia Cristina Rocha. |
author_role |
author |
dc.contributor.none.fl_str_mv |
LOPES, Manoel Agamemnon. LOPES, M. A. http://lattes.cnpq.br/2131331936609504 QUEIROZ, Rui José Guerra Barreto de. BENEVIDES, Mario Roberto Folhadella. FERNEDA, Edilson. |
dc.contributor.author.fl_str_mv |
RICCIO, Nicia Cristina Rocha. |
dc.subject.por.fl_str_mv |
Inteligência Artificial Raciocínio Não-monotônico Lógica Matemática Sistema Dedutivo Rotulado Teoria de Aprendizado Abdutivo Artificial intelligence Non-monotonic Reasoning Mathematical Logic Labeled Deductive System Abductive Learning Theory Ciência da Computação |
topic |
Inteligência Artificial Raciocínio Não-monotônico Lógica Matemática Sistema Dedutivo Rotulado Teoria de Aprendizado Abdutivo Artificial intelligence Non-monotonic Reasoning Mathematical Logic Labeled Deductive System Abductive Learning Theory Ciência da Computação |
description |
0 objetivo desta dissertação e desenvolver uma teoria de aprendizado de maquina (em particular, raciocínio abdutivo proposicional) usando a estrutura dos Sistemas Dedutivos Rotulados (LDS) de D. Gabbay, sob a perspectiva de D. Gillies na dicotomia 'logica dedutiva versus logica indutiva' onde a inferência controlada funciona como a noção que aproxima os dois conceitos. Desse ponto de vista, o raciocínio abdutivo, um tópico que atrai bastante interesse na comunidade de IA e na pesquisa sobre automatização do raciocínio, pode ser visto como um tipo de dedução controlada onde o componente de controle sera representado pelos rótulos do LDS. Este trabalho investiga a possibilidade de tratar lado a lado os aspectos do nível objeto e do meta-nível de um problema abdutivo: o conjunto de explicações possíveis para um fato observado e gerado dedutivamente (o nível objeto) e, depois disso, a explica^ao mais interessante e escolhida considerando o critério de preferencia dado pelo usuário (o meta-nível). Dessa maneira, é possível dar uma solução mais plausível a um problema abdutivo. Alem disso, já que o critério de preferencia, que depende do significado dos rótulos, pode variar, essa caracterização da abdução pode ser facilmente adaptada para diferentes domínios. |
publishDate |
1995 |
dc.date.none.fl_str_mv |
1995-08-10 2019-12-12T14:06:59Z 2019-12-12 2019-12-12T14:06:59Z |
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/10153 RICCIO, Nicia Cristina Rocha. Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. 1995. 196f. (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, 1995. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10153 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10153 |
identifier_str_mv |
RICCIO, Nicia Cristina Rocha. Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. 1995. 196f. (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, 1995. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10153 |
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: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 |
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_ |
1809744421659344896 |