Use este identificador para citar ou linkar para este item:
http://repositorio.ufc.br/handle/riufc/31875| Tipo: | Dissertação |
| Título: | Lógicas não-monotônicas |
| Título em inglês: | Non-monotonic Logic |
| Autor(es): | Pequeno, Marcelino Cavalcante |
| Orientador: | Pequeno, Tarcísio Haroldo Cavalcante |
| Palavras-chave: | Inteligência Artificial;Artificial Intelligence |
| Data do documento: | 2-Jul-1985 |
| Citação: | 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 |
| Resumo: | 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. |
| Abstract: | 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. |
| URI: | http://www.repositorio.ufc.br/handle/riufc/31875 |
| Aparece nas coleções: | DMAT - Dissertações defendidas na UFC |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 1985_dis_mcpequeno.pdf | 94,85 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.