Um Estudo Preliminar sobre Lógicas Modais Rotuladas e Representação do Conhecimento

Este trabalho apresenta a pesquisa realizada sobre a utilização de sistemas rotulados em lógicas modais para representação do conhecimento. Essas lógicas lógicas epistêmicas tratam de argumentos que envolvem conceitos referentes ao conhecimento de um agente sobre a verdade (ou falsidade) de sentenças. São utilizadas para especificar e raciocinar sobre propriedades comportamentais de modelos e aplicações em Computação. Os sistemas rotulados, por sua uniformidade e capacidade de generalização, são usados como abordagem unificadora de lógicas. Apresenta-se aqui o sistema de dedução natural rotulada para lógica modal proposicional (sintaxe, semântica, e propriedades: correção, completude e correspondência). Estuda-se também, de forma geral, lógicas modais para representação do conhecimento: sintaxe, semântica e sistemas de prova. Ilustra-se a utilização do sistema de prova estudado, apresentando sua aplicação a exemplos clássicos da área de raciocínio sobre o conhecimento de agentes.