Logicas moduladas e raciocinio sob incerteza

Detalhes bibliográficos
Autor(a) principal: Gracio, Maria Claudia Cabrini
Data de Publicação: 1999
Tipo de documento: Tese
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/1588987
Resumo: Orientador: Walter Alexandre Carnielli
id UNICAMP-30_e2d421e6966db567255311ace8c13602
oai_identifier_str oai::198704
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 Logicas moduladas e raciocinio sob incertezaLógica matemática não-clássicaRaciocínioLinguagens formais - SemânticaOrientador: Walter Alexandre CarnielliTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Este trabalho introduz uma ampla família de extensões monotônicas da lógica de primeira ordem, denominada lógicas moduladas, construída estendendo a lógica clássica por meio de quantificadores generalizados, chamados quantificadores modulados. Tais quantificadores representam várias formas de raciocínio indutivo. Alguns resultados gerais em teoria de modelos para esta família são também obtidos. Particularmente, propõem-se três sistemas lógicos monotônicos, os quais formalizam conjuntos indutivos de crenças em bases de conhecimento, gerados por argumentos indutivos das formas "a maioria", "muitos" e "para uma 'boa' parte". A noção de "maioria" é capturada por meio de um -quantificador modulado, semanticamente interpretado pelos números cardinais dos conjuntos de evidências. É mostrado que este sistema, embora seja correto, não é completo com relação ao modelo definido. A fim de capturar a noção de "muitos" e "para uma 'boa' parte" novos quantificadores modulados são introduzidos, semanticamente interpretados, respectivamente, pelas noções de família fechada superiormente e topologia reduzida. Demonstra-se que ambos os sistemas são extensões conservativas da lógica clássica que preservam importantes propriedades, como correção e completude. O trabalho também discute outras perspectivas e inclui alguns problemas em aberto e questõesAbstract: This work introduces a large family of monotonic extensions of first order logic denominated modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. Such quantifiers represent various forms of inductive reasoning. Some general results in model theory for this family are also obtained. Particularly, it proposes three monotonic logical systems, which formalize inductive sets of beliefs in knowledge bases generated by inductive arguments of the form "most", "many" and "for a 'good' number of. The notion af "most" is captured by means of a modulated quantifier semantically interpreted by cardinal numbers in sets of evidences. It is proven that this system, although sound, is not complete if checked against the intended model. In order to capture the notion of "many" and "for a 'good' number of new modulated quantifiers are introduced, semantically interpreted, respectively, by the notions of upperly closed family and reduced topology. It proves that both systems are conservative extensions of classical logic preserving important properties, like soundness and completeness. The work also discusses further perspectives and includes several open problems and questionsDoutoradoDoutor em Filosofia[s.n.]Carnielli, Walter Alexandre, 1952-Coniglio, Marcelo EstebanVeloso, Paulo Augusto SilvaMiraglia Neto, FranciscoFinger, MarceloUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASGracio, Maria Claudia Cabrini19991999-07-10T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf194 p.(Broch.)https://hdl.handle.net/20.500.12733/1588987GRACIO, Maria Claudia Cabrini. Logicas moduladas e raciocinio sob incerteza. 1999. 194 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1588987. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/198704porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2018-01-25T10:47:47Zoai::198704Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2018-01-25T10:47:47Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Logicas moduladas e raciocinio sob incerteza
title Logicas moduladas e raciocinio sob incerteza
spellingShingle Logicas moduladas e raciocinio sob incerteza
Gracio, Maria Claudia Cabrini
Lógica matemática não-clássica
Raciocínio
Linguagens formais - Semântica
title_short Logicas moduladas e raciocinio sob incerteza
title_full Logicas moduladas e raciocinio sob incerteza
title_fullStr Logicas moduladas e raciocinio sob incerteza
title_full_unstemmed Logicas moduladas e raciocinio sob incerteza
title_sort Logicas moduladas e raciocinio sob incerteza
author Gracio, Maria Claudia Cabrini
author_facet Gracio, Maria Claudia Cabrini
author_role author
dc.contributor.none.fl_str_mv Carnielli, Walter Alexandre, 1952-
Coniglio, Marcelo Esteban
Veloso, Paulo Augusto Silva
Miraglia Neto, Francisco
Finger, Marcelo
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Gracio, Maria Claudia Cabrini
dc.subject.por.fl_str_mv Lógica matemática não-clássica
Raciocínio
Linguagens formais - Semântica
topic Lógica matemática não-clássica
Raciocínio
Linguagens formais - Semântica
description Orientador: Walter Alexandre Carnielli
publishDate 1999
dc.date.none.fl_str_mv 1999
1999-07-10T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1588987
GRACIO, Maria Claudia Cabrini. Logicas moduladas e raciocinio sob incerteza. 1999. 194 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1588987. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
GRACIO, Maria Claudia Cabrini. Logicas moduladas e raciocinio sob incerteza. 1999. 194 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1588987. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1588987
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/198704
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
194 p.
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_ 1822248397555367936

Registros relacionados