Please use this identifier to cite or link to this item:
http://repositorio.ufc.br/handle/riufc/31875| Type: | Dissertação |
| Title: | Lógicas não-monotônicas |
| Title in English: | Non-monotonic Logic |
| Authors: | Pequeno, Marcelino Cavalcante |
| Advisor: | Pequeno, Tarcísio Haroldo Cavalcante |
| Keywords: | Inteligência Artificial;Artificial Intelligence |
| Issue Date: | 2-Jul-1985 |
| Citation: | 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 |
| Abstract in Brazilian Portuguese: | 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 |
| Appears in Collections: | DMAT - Dissertações defendidas na UFC |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 1985_dis_mcpequeno.pdf | 94,85 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.