Inconsistência e paracompleteza em sistemas multiagentes: um approach lógico

Obra: Inconsistência e paracompleteza em sistemas multiagentes: um approach lógico
Autor: Jair Minoro Abe

Resumo

Neste projeto investigamos sistemas multimodais baseados nos sistemas paraconsistentes Cn (1 s n < 0), nos sistemas paracompletos Pn (1 s n < 0) e nos sistemas não-aiéticos Nn (1 s n < 0). Edificamos sistemas multimodais paraconsistentes, paracompletos e não-aléticos baseados nesses sistemas. Os sistemas muitimodais merecem estudo sobretudo por servirem de "modelamento' para diversos conceitos em Inteligência Artificial, alguns deles ligados a questões de Epistemologia, como tratamento de conhecimento e crença em sistemas multiagentes. Tais sistemas podem ser a lógica subjacente de sistemas distribuídos em Inteligência Artificial, a fim de, por exemplo, manipular informações ou dados contraditórios, pâíacompletos, ou ambos.