Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

AUTOR(ES)

Malanovicz, Aline Vieira

DATA DE PUBLICAÇÃO

2007

RESUMO

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

ASSUNTO(S)

teoria : ciencia : computacao lógica modal lógica : conhecimento

Documentos Relacionados

• Lógicas subjacentes à formação do professor para a escolaridade inicial
• LOGIC PROOFS COMPACTATION
• Um novo bipolarismo: notas metodológicas para a definição do sistema internacional
• Aspectos relevantes para a definição de um sistema de televisão HDTV
• Democracia técnica e lógicas de ação: uma análise sociotécnica da controvérsia em torno da definição do Sistema Brasileiro de Televisão Digital - SBTVD