dc.creator.ID |
RICCIO, N. C. R. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/2232437340737784 |
pt_BR |
dc.contributor.advisor1 |
LOPES, Manoel Agamemnon. |
|
dc.contributor.advisor1ID |
LOPES, M. A. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/2131331936609504 |
pt_BR |
dc.contributor.referee1 |
QUEIROZ, Rui José Guerra Barreto de. |
|
dc.contributor.referee2 |
BENEVIDES, Mario Roberto Folhadella. |
|
dc.contributor.referee3 |
FERNEDA, Edilson. |
|
dc.description.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. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.subject.cnpq |
Ciência da Computação |
|
dc.title |
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados. |
pt_BR |
dc.date.issued |
1995-08-10 |
|
dc.description.abstract |
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. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10153 |
|
dc.date.accessioned |
2019-12-12T14:06:59Z |
|
dc.date.available |
2019-12-12 |
|
dc.date.available |
2019-12-12T14:06:59Z |
|
dc.type |
Dissertação |
pt_BR |
dc.subject |
Inteligência Artificial |
|
dc.subject |
Raciocínio Não-monotônico |
|
dc.subject |
Lógica Matemática |
|
dc.subject |
Sistema Dedutivo Rotulado |
|
dc.subject |
Teoria de Aprendizado Abdutivo |
|
dc.subject |
Artificial intelligence |
|
dc.subject |
Non-monotonic Reasoning |
|
dc.subject |
Mathematical Logic |
|
dc.subject |
Labeled Deductive System |
|
dc.subject |
Abductive Learning Theory |
|
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
RICCIO, Nicia Cristina Rocha. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
On the question of the formalization of abductive reasoning via labeled deductive systems. |
pt_BR |
dc.identifier.citation |
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 |
pt_BR |