Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada

Detalhes bibliográficos
Ano de defesa: 1996
Autor(a) principal: Prado, José Pacheco de Almeida
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/3/3141/tde-19112024-145843/
Resumo: A inteligência artificial distribuída, tem como propósito estudar e desenvolver técnicas que permitam a interação de entidades inteligentes. Nas duas últimas décadas, foram propostas arquiteturas de inteligência artificial distribuída para os mais diferentes usos, desde a integração de sinais até as mais variadas aplicações industriais. O que pode ser notado, contudo, é que o fenômeno da inconsistência não é tratado diretamente em tais arquiteturas. O que contribui para esta situação, é que o fenômeno da inconsistência e/ou paracompleteza não pode ser tratado, pelo menos diretamente, por meio da lógica clássica, logo, para tratar diretamente tais inconsistências e/ou paracompletezas, têm-se que lançar mão de lógicas alternativas a clássica. Propõe-se neste trabalho uma arquitetura para inteligência artificial distribuída baseada em uma lógica não-clássica, a Lógica Paraconsistente Anotada.