Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados.

Detalhes bibliográficos
Autor(a) principal: RICCIO, Nicia Cristina Rocha.
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