Revisão de Crenças Paraconsistente baseada em um operador formal de consistência

Revisão de Crenças Paraconsistente baseada em um operador formal de consistência

Rafael Rodrigues Testa

TESE

T/UNICAMP T286r

[Paraconsistent Belief Revision based on a formal consistency operator]

Campinas, SP : [s.n.], 2014.

210 p. : il.

Orientador: Marcelo Esteban Coniglio

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e...

Abstract: Belief Revision studies how rational agents change their beliefs when they receive new information. The AGM system, most influential work in this area of study investigated by Alchourrón, Gärdenfos and Makinson, postulates rationality criteria for different types of belief change and...

Revisão de Crenças Paraconsistente baseada em um operador formal de consistência

Rafael Rodrigues Testa


										

Revisão de Crenças Paraconsistente baseada em um operador formal de consistência

Rafael Rodrigues Testa

    Exemplares