• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Disertación de Maestría
DOI
https://doi.org/10.11606/D.45.1996.tde-20210729-012319
Documento
Autor
Nombre completo
Daniela Vasconcelos Carbogim
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 1996
Director
Título en portugués
Programação em lógica anotada: teoria e aplicações
Palabras clave en portugués
Inteligência Artificial
Metodologia E Técnicas De Computação
Resumen en portugués
As logicas anotadas sao uma classe de logicas nao-classicas introduzidas em [sub87a] e que vem cuidadosamente estudada e desenvolvida, tanto sob o aspecto de seus fundamentos quanto do ponto de vista da programacao em logica. Estas logicas tem se mostrado de grande utilidade na area de inteligencia artificial, uma vez que constituem um formalismo para o raciocinio na presenca de inconsistencias. O principal aspecto deste trabalho e constatar a importancia das logicas anotadas como uma ferramenta para desenvolvimento de sistemas para representacao de conhecimento. Apresentamos aqui um apanhado geral dos fundamentos das logicas anotadas e um estudo da teoria da programacao em logica anotada e de algumas de suas extensoes. Investigamos e discutimos varias de suas aplicacoes, estabelecendo relacoes entre estas logicas e outros formalismos para representacao de conhecimento e apresentacao as especificacoes de um meta-interruptor para raciocinio dedutivo em logica anotada
Título en inglés
not available
Resumen en inglés
not available
 
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Fecha de Publicación
2021-07-29
 
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2021. Todos los derechos reservados.