Um Estudo do Conhecimento: Algumas Abordagens para a sua Formalização

São abordadas diversas formalizações lógicas para as diferentes noções de conhecimento, visando as aplicações no campo da Inteligência Artificial em geral.

Serão analisados o modelo dos "mundos possíveis", a linguagem que formaliza este modelo e uma ferramenta que dá a semântica da linguagem chamada "estrutura Kripke".

Algumas abordagens que formalizam o conhecimento serão estudadas, enfocando-se o problema da "omnisciência lógica" e o raciocínio não-monotônico.

Como aplicação é apresentada uma formalização de um Sistema Distribuído, onde dos problemas, "o ataque coordenado" e o "problema dos maridos infiéis", são analisados utilizando uma abordagem baseada na lógica do conhecimento.