Representação de Informação Incompleta

Resumo

Neste trabalho faz-se uma abordagem a sistemas de representação de conhecimento que contextualizam situações em que a informação existente sobre um problema não é completa. Apresenta-se a programação em lógica como ferramenta para a representação de conhecimento, estendendo-a ao tratamento de informação incompleta. Tal extensão é conseguida a custa da introdução de dois tipos de negação: a negação por falha na prova, denotada pelo termo não, e a negação forte, denotada por ´-´. Étratado, ainda, o problema do pressuposto do mundo fechado na programação em lógica estendida, abordando possíveis inconvenientes que a sua formalização possa trazer à extenão de predicados de um programa em lógica. É feita, ainda, uma abordagem a diferentes tipos de valores que se podem apresentar em sistemas  caracterizados por informação incompleta, designados por valores nulos.