Detalhes bibliográficos
| Ano de defesa: |
1992 |
| Autor(a) principal: |
Abe, Jair Minoro |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://www.teses.usp.br/teses/disponiveis/8/8133/tde-16112022-132839/
|
Resumo: |
As logicas anotadas sao uma classe de logicas nao-classicas introduzidas por v.S. Subrahmanian (subrahmanian, v.S.), On the semantics of quantitative logic programs, proc. 4th ieee symposium on logic programming, computer society press, washington dc, 1987, 173-182. Devido a significantes aplicacoes obtidas na teoria da computacao e na inteligencia artificial, tornou-se conveniente um estudo detalhado de seus fundamentos. Um primeiro trabalho nesse sentido e da costa, nca, vs subrahmanian & cva ca, (the paraconsistent logics pi, zeitschrift fur math logik und grund der math 37, 1991, 137-148). Nesta tese damos seguimento ao estudo dos fundamentos da logica anotada qi, investigamos sua semantica e demonstramos um teorema de completude. Pesquisamos a teoria anotada de modelos e mostramos que versoes da maioria dos resultados basicos da teoria classica de modelos sao validas para os sistemas qi. Os sistemas anotados englobam a teoria dos conjuntos difusos (fuzzy sets), o que nos conduz a uma outra aplicacao fundamental destas logicas; os resultados relevantes foram publicados em da costa nca, j abel & vs subrahmanian, remarks on annotated logics\', a aparecer em zeitsghrift fur math. Logik und grund der math. 1991, vol. 37 |
