Lógicas de argumentação derrotável e refinamento de teorias

• Processo: 04/14803-9
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 21 de março de 2005
• Data de Término da vigência: 20 de agosto de 2005
• Área de conhecimento: Ciências Sociais Aplicadas - Direito - Teoria do Direito
• Pesquisador responsável: Juliano Souza Albuquerque Maranhão
• Beneficiário: Juliano Souza Albuquerque Maranhão
• Pesquisador Anfitrião: Henry Prakken
• Instituição Sede: Pessoa Física
• Instituição Anfitriã: Utrecht University (UU), Holanda
• Assunto(s): Informática jurídica Lógica jurídica Argumentação
• Palavra(s)-Chave do Pesquisador: Argumentacao Derrotavel | Informatica Juridica | Logica Juridica | Logica Nao Monotonica | Revisao De Crencas

Resumo

O candidato desenvolve projeto de pós-doutorado no qual estuda o fenômeno da derrotabilidade da argumentação jurídica a partir de modelos lógicos que desenvolveu originalmente em sua tese de doutorado, que denominou "operadores de refinamento de teorias". Um dos objetivos do pós-doutorado é generalizar os operadores de refinamento e relacioná-los às lógicas de argumentação derrotável, bastante utilizadas no campo de inteligência artificial e direito. Para tanto, o candidato pretende visitar o Inteligent Systems Group, da Universidade de Utrecht, um dos centros mundiais de pesquisa em sistemas de argumentação prática, para realizar estudo das lógicas de argumentação derrotável, identificando suas propriedades mais gerais por meio do uso de técnicas de lógica abstrata. (AU)