Logica condicional forte

Detalhes bibliográficos
Autor(a) principal: Nalon, Cláudia
Data de Publicação: 1997
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1585796
Resumo: Orientador: Jacques Wainer
id UNICAMP-30_5dc2b0b7ef967b5edbcf6ecd01c3532d
oai_identifier_str oai::128504
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Logica condicional forteRepresentação do conhecimento (Teoria da informação)Inteligência artificialOrientador: Jacques WainerDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: As lógicas não-monotônicas podem ser classificadas, segundo as conclusões que podem ser obtidas, em fracas ou fortes. As lógicas fortes, entre as quais se incluem sistemas nãomonotônicos clássicos [Reiter, 80] [McCarthy,80] [Moore, 85] [Marek e Truszczynski, 91], permitem conclusões não desejáveis, deixando de tratar aspectos como, por exemplo, especificidade. Lógicas não-monotônicas fracas, como as condicionais [Delgrande, 87] [Boutilier, 94], não permitem algumas conclusões desejáveis, como as que tratam de irrelevância e herança de propriedades, por exemplo. Esta tese apresenta a semântica da Lógica Condicional Forte (LCF), que atende às características gerais da relação de conseqüência não-monotônica preferencial [Kraus et aI, 90], suportadas pelas lógicas condicionais, mas que, além disso, também lida com outros modos de raciocínio (irrelevância, herança e ambigüidade) não tratados por tais lógicas. A definição da semântica do condicional é mais resttitiva e, além disso, diferentemente de enfoques recentes, que procuram fortalecer lógicas já existentes através de filtros sobre o conjunto de modelos, é proposto um método para a construção dos modelos a partir de. informação local (obtida dos condicionais individualmente) e global (obtida dos condicionais conjuntamente) extraídas diretamente da base de conhecimentoAbstract: Not informedMestradoMestre em Ciência da Computação[s.n.]Wainer, Jacques, 1958-Universidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASNalon, Cláudia19971997-12-22T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf62f. : il.https://hdl.handle.net/20.500.12733/1585796NALON, Cláudia. Logica condicional forte. 1997. 62f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585796. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/128504porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T11:10:32Zoai::128504Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T11:10:32Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Logica condicional forte
title Logica condicional forte
spellingShingle Logica condicional forte
Nalon, Cláudia
Representação do conhecimento (Teoria da informação)
Inteligência artificial
title_short Logica condicional forte
title_full Logica condicional forte
title_fullStr Logica condicional forte
title_full_unstemmed Logica condicional forte
title_sort Logica condicional forte
author Nalon, Cláudia
author_facet Nalon, Cláudia
author_role author
dc.contributor.none.fl_str_mv Wainer, Jacques, 1958-
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Nalon, Cláudia
dc.subject.por.fl_str_mv Representação do conhecimento (Teoria da informação)
Inteligência artificial
topic Representação do conhecimento (Teoria da informação)
Inteligência artificial
description Orientador: Jacques Wainer
publishDate 1997
dc.date.none.fl_str_mv 1997
1997-12-22T00:00:00Z
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 https://hdl.handle.net/20.500.12733/1585796
NALON, Cláudia. Logica condicional forte. 1997. 62f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585796. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1585796
identifier_str_mv NALON, Cláudia. Logica condicional forte. 1997. 62f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585796. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/128504
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
62f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188808159133696

Registros relacionados