Autores

3243
105,1473
3244
105,1473

Informações:

Publicações do PESC

Título
Um Estudo do Conhecimento: Algumas Abordagens para a sua Formalização
Linha de pesquisa
Inteligência Artificial
Tipo de publicação
Dissertação de Mestrado
Número de registro
Data da defesa
21/11/1991
Resumo

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.

 

Abstract
Arquivo
Topo