Lógicas não-monotônicas

Detalhes bibliográficos
Ano de defesa: 1985
Autor(a) principal: Pequeno, Marcelino Cavalcante
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: 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.