Programação em lógica anotada: teoria e aplicações

Detalhes bibliográficos
Autor(a) principal: Carbogim, Daniela Vasconcelos
Data de Publicação: 1996
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
Resumo: 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
id USP_37f0281dc11cf8fe2263f4f213dfe9bf
oai_identifier_str oai:teses.usp.br:tde-20210729-012319
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Programação em lógica anotada: teoria e aplicaçõesnot availableInteligência ArtificialMetodologia E Técnicas De ComputaçãoAs 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 anotadanot availableBiblioteca Digitais de Teses e Dissertações da USPSilva, Flávio Soares Corrêa daCarbogim, Daniela Vasconcelos1996-11-22info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T18:57:28Zoai:teses.usp.br:tde-20210729-012319Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T18:57:28Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Programação em lógica anotada: teoria e aplicações
not available
title Programação em lógica anotada: teoria e aplicações
spellingShingle Programação em lógica anotada: teoria e aplicações
Carbogim, Daniela Vasconcelos
Inteligência Artificial
Metodologia E Técnicas De Computação
title_short Programação em lógica anotada: teoria e aplicações
title_full Programação em lógica anotada: teoria e aplicações
title_fullStr Programação em lógica anotada: teoria e aplicações
title_full_unstemmed Programação em lógica anotada: teoria e aplicações
title_sort Programação em lógica anotada: teoria e aplicações
author Carbogim, Daniela Vasconcelos
author_facet Carbogim, Daniela Vasconcelos
author_role author
dc.contributor.none.fl_str_mv Silva, Flávio Soares Corrêa da
dc.contributor.author.fl_str_mv Carbogim, Daniela Vasconcelos
dc.subject.por.fl_str_mv Inteligência Artificial
Metodologia E Técnicas De Computação
topic Inteligência Artificial
Metodologia E Técnicas De Computação
description 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
publishDate 1996
dc.date.none.fl_str_mv 1996-11-22
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
url https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815257207207362560

Registros relacionados