Dissertação
Development of Techniques to Control Reasoning using SNePS EVALUATED
O SNePS (Sistema de Processamento de Redes Semânticas) é um formalismo de representação de conhecimento que implementa um mecanismo de inferência baseada em nós. Nesta rede associam-se processos a nós que comunicam através de canais, executando regras de inferência não-standard e permitindo acreditar novos nós. Apesar de ter propriedades interessantes, o mecanismo de inferência do SNePS (SNIP) não é o principal ramo de desenvolvimento dos investigadores deste sistema, mais preocupados com a representação de expressões em língua natural. Outros sistemas automáticos de dedução tais como a Resolução, nasceram com a preocupação de encontrar demonstrações para teoremas. A Resolução sofreu melhoramentos ao longo do tempo, fazendo dela mais poderosa e eficiente. O PROLOG, um sistema de programação em lógica, procura refutações lineares usando uma função de selecção e assumindo cláusulas determinadas. Neste trabalho desenvolvemos mecanismos para controlar a inferência feita pelo SNePS. Para isso descrevemos e comparamos o SNIP com o PROLOG, com a intenção de encontrar as vantagens e desvantagens de cada mecanismo. A expressividade dos dois sistemas, as suas regras de inferência, a quantidade de deduções redundantes efectuadas, as estratégias de pesquisa usadas e a forma como processam regras recursivas são pontos de comparação explorados. Esta comparação sugere alguns melhoramentos ao SNIP, que são implementados e testados. Um mecanismo para suspender a execução de alguns processos sem afectar o número de soluções encontradas é proposto e a sua fundamentação teórica apresentada. Adicionalmente uma forma de parametrizar a estratégia de pesquisa é sugerida, tornando o processo de inferência mais versátil.
novembro 5, 2007, 9:0
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
João Emílio Segurado Pavão Martins
Departamento de Engenharia Informática (DEI)
Professor Catedrático