Sistemas Periciais

4º Ano da Licenciatura em Engenharia Informática, DEI, ISEP

 

Exercícios de 1998/1999

 

Exercício nº 1    Exercício nº 2    Exercício nº 3    Exercício nº 4     Exercício nº 5

Exame Modelo SP - CESE em Sistemas de Informação

Exercícios de 2004/2005

 O exercícios a utilizar neste ano lectivo estão aqui.

 

Documentação sobre o LPA-Flex

A documentação existente sobre o LPA-Flex está em Inglês. Está em construção um tutorial sobre a linguagem em Português.

Um documento inicial de introdução ao LPA-Flex pode ser encontrado aqui.

O LPA-Flex usa um formalismo específico de linguagem, muito similar a Linguagem Natural em Inglês:  KSL - Knowledge Specification Language. Como o Flex foi desenvolvido com uma base de Prolog, recorre a este tipo de linguagem em execução. Para que se possa visualizar o funcionamento interno e/ou usar directamente os predicados definidos pela extensão Flex ao Prolog, é apresentada uma listagem.

A para representação de conhecimento em Flex, são usados "frames" e instâncias.

Um dos pontos importantes da linguagem é a implementação de raiz de um motor de inferência de encadeamento directo.

Para mais informação sobre o KSL, pode consutar-se a 1ª Parte da sua definição formal e a 2ª Parte da mesma.

O manual do LPA-Flex em ficheiro Acrobat está agora disponível.

O Flex disponibiliza ainda uma extensão para tratamento em lógica difusa e respectivo  manual de utilização.

 

 

Exemplos de Aplicação de LPA-Flex

 

Implementação de um SP para resolução de puzzle    Implementação de um SP com capacidade de explicação    Implementação de um controlador baseado em lógica difusa