• 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
 
 
Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.1996.tde-20210729-012319
Documento
Autor
Nome completo
Daniela Vasconcelos Carbogim
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 1996
Orientador
Título em português
Programação em lógica anotada: teoria e aplicações
Palavras-chave em português
Inteligência Artificial
Metodologia E Técnicas De Computação
Resumo em 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 em inglês
not available
Resumo em inglês
not available
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2021-07-29
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2021. Todos os direitos reservados.