Use este identificador para citar ou linkar para este item: http://repositorio.ufc.br/handle/riufc/31875
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorPequeno, Tarcísio Haroldo Cavalcante-
dc.contributor.authorPequeno, Marcelino Cavalcante-
dc.date.accessioned2018-05-11T19:00:15Z-
dc.date.available2018-05-11T19:00:15Z-
dc.date.issued1985-07-02-
dc.identifier.citationPEQUENO, 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, 1985pt_BR
dc.identifier.urihttp://www.repositorio.ufc.br/handle/riufc/31875-
dc.description.abstractNonmonotonic 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.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectInteligência Artificialpt_BR
dc.subjectArtificial Intelligencept_BR
dc.titleLógicas não-monotônicaspt_BR
dc.typeDissertaçãopt_BR
dc.description.abstract-ptbrLó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.pt_BR
dc.title.enNon-monotonic Logicpt_BR
Aparece nas coleções:DMAT - Dissertações defendidas na UFC

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
1985_dis_mcpequeno.pdf94,85 MBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.