Por favor, use este identificador para citar o enlazar este ítem:
http://repositorio.ufc.br/handle/riufc/31875| Tipo: | Dissertação |
| Título : | Lógicas não-monotônicas |
| Título en inglés: | Non-monotonic Logic |
| Autor : | Pequeno, Marcelino Cavalcante |
| Tutor: | Pequeno, Tarcísio Haroldo Cavalcante |
| Palabras clave : | Inteligência Artificial;Artificial Intelligence |
| Fecha de publicación : | 2-jul-1985 |
| Citación : | 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 |
| Resumen en portugués brasileño: | 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 en las colecciones: | DMAT - Dissertações defendidas na UFC |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 1985_dis_mcpequeno.pdf | 94,85 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.