Lógicas não-monotônicas

Detalhes bibliográficos
Autor(a) principal: Pequeno, Marcelino Cavalcante
Data de Publicação: 1985
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal do Ceará (UFC)
Texto Completo: http://www.repositorio.ufc.br/handle/riufc/31875
Resumo: Nonmonotonic logics are logical in which the introduction of new premises can invalidate old conclusions. Restrictive semantics are semantic in which the class of the models of a sentence is restricted to a particular sub-class. We present the Minimal, Nominal and Initials semantics (obtained by taking only the minimal, nominal and initial models, respectively) and analyze their properties. These semantics are non-monotonic (the Nominable only to a certain sense). There were several formalizations for non-monotonic reasoning suggested in Artificial Intelligence, we presented and analyzed the constituency and default properties proposed by McCarthy and Reither, respectively.
id UFC-7_e6e537b97bb097254907880b16458747
oai_identifier_str oai:repositorio.ufc.br:riufc/31875
network_acronym_str UFC-7
network_name_str Repositório Institucional da Universidade Federal do Ceará (UFC)
repository_id_str
spelling Lógicas não-monotônicasNon-monotonic LogicInteligência ArtificialArtificial IntelligenceNonmonotonic logics are logical in which the introduction of new premises can invalidate old conclusions. Restrictive semantics are semantic in which the class of the models of a sentence is restricted to a particular sub-class. We present the Minimal, Nominal and Initials semantics (obtained by taking only the minimal, nominal and initial models, respectively) and analyze their properties. These semantics are non-monotonic (the Nominable only to a certain sense). There were several formalizations for non-monotonic reasoning suggested in Artificial Intelligence, we presented and analyzed the constituency and default properties proposed by McCarthy and Reither, respectively.Lógicas não-monotônicas são lógicas nas quais a introdução de novas premissas podem invalidar antigas conclusões. As semânticas restritivas são semânticas nas quais a classe dos modelos de uma sentença é restringida a uma sub-classe particular. Apresentamos as semânticas Minimais, nominimais e Iniciais (obtidas por tomar-se apenas os modelos minimais, nomeáveis e iniciais, respectivamente) e analisamos suas propriedades . Estas semânticas são não-monotônicas (a Nomeável apenas a um certo sentido). Várias foram as formalizações para o raciocínio não-monotônico sugeridas em Inteligência Artificial, apresentamos e analisamos as propriedades da circunscrição e do "default" propostas por McCARTHY e REITHER, respectivamente.Pequeno, Tarcísio Haroldo CavalcantePequeno, Marcelino Cavalcante2018-05-11T19:00:15Z2018-05-11T19:00:15Z1985-07-02info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfPEQUENO, Marcelino Cavalcante. Lógicas não-monotônicas. 1985.148 f. Dissertação (Mestrado em Matemática)- Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 1985http://www.repositorio.ufc.br/handle/riufc/31875porreponame:Repositório Institucional da Universidade Federal do Ceará (UFC)instname:Universidade Federal do Ceará (UFC)instacron:UFCinfo:eu-repo/semantics/openAccess2019-01-04T11:45:26Zoai:repositorio.ufc.br:riufc/31875Repositório InstitucionalPUBhttp://www.repositorio.ufc.br/ri-oai/requestbu@ufc.br || repositorio@ufc.bropendoar:2024-09-11T18:29:44.730274Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)false
dc.title.none.fl_str_mv Lógicas não-monotônicas
Non-monotonic Logic
title Lógicas não-monotônicas
spellingShingle Lógicas não-monotônicas
Pequeno, Marcelino Cavalcante
Inteligência Artificial
Artificial Intelligence
title_short Lógicas não-monotônicas
title_full Lógicas não-monotônicas
title_fullStr Lógicas não-monotônicas
title_full_unstemmed Lógicas não-monotônicas
title_sort Lógicas não-monotônicas
author Pequeno, Marcelino Cavalcante
author_facet Pequeno, Marcelino Cavalcante
author_role author
dc.contributor.none.fl_str_mv Pequeno, Tarcísio Haroldo Cavalcante
dc.contributor.author.fl_str_mv Pequeno, Marcelino Cavalcante
dc.subject.por.fl_str_mv Inteligência Artificial
Artificial Intelligence
topic Inteligência Artificial
Artificial Intelligence
description Nonmonotonic logics are logical in which the introduction of new premises can invalidate old conclusions. Restrictive semantics are semantic in which the class of the models of a sentence is restricted to a particular sub-class. We present the Minimal, Nominal and Initials semantics (obtained by taking only the minimal, nominal and initial models, respectively) and analyze their properties. These semantics are non-monotonic (the Nominable only to a certain sense). There were several formalizations for non-monotonic reasoning suggested in Artificial Intelligence, we presented and analyzed the constituency and default properties proposed by McCarthy and Reither, respectively.
publishDate 1985
dc.date.none.fl_str_mv 1985-07-02
2018-05-11T19:00:15Z
2018-05-11T19:00:15Z
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 PEQUENO, Marcelino Cavalcante. Lógicas não-monotônicas. 1985.148 f. Dissertação (Mestrado em Matemática)- Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 1985
http://www.repositorio.ufc.br/handle/riufc/31875
identifier_str_mv PEQUENO, Marcelino Cavalcante. Lógicas não-monotônicas. 1985.148 f. Dissertação (Mestrado em Matemática)- Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 1985
url http://www.repositorio.ufc.br/handle/riufc/31875
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.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal do Ceará (UFC)
instname:Universidade Federal do Ceará (UFC)
instacron:UFC
instname_str Universidade Federal do Ceará (UFC)
instacron_str UFC
institution UFC
reponame_str Repositório Institucional da Universidade Federal do Ceará (UFC)
collection Repositório Institucional da Universidade Federal do Ceará (UFC)
repository.name.fl_str_mv Repositório Institucional da Universidade Federal do Ceará (UFC) - Universidade Federal do Ceará (UFC)
repository.mail.fl_str_mv bu@ufc.br || repositorio@ufc.br
_version_ 1813028827999240192

Registros relacionados