Programação em lógica anotada: teoria e aplicações (1996)
- Authors:
- Autor USP: CARBOGIM, DANIELA VASCONCELOS - IME
- Unidade: IME
- Sigla do Departamento: MAP
- Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; INTELIGÊNCIA ARTIFICIAL
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 22.11.1996
-
ABNT
CARBOGIM, Daniela Vasconcelos. Programação em lógica anotada: teoria e aplicações. 1996. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1996. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/. Acesso em: 15 maio 2024. -
APA
Carbogim, D. V. (1996). Programação em lógica anotada: teoria e aplicações (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/ -
NLM
Carbogim DV. Programação em lógica anotada: teoria e aplicações [Internet]. 1996 ;[citado 2024 maio 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/ -
Vancouver
Carbogim DV. Programação em lógica anotada: teoria e aplicações [Internet]. 1996 ;[citado 2024 maio 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-012319/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
