|
PROLOG
A linguagem de programação PROLOG, é servida
por técnicas declarativas de representação + procura tipo
primeiro em profundidade + raciocínio para trás. O mecanismo de
resolução de problemas de programação em lógica,
como o PROLOG é um demonstrador de teoremas que manipula estruturas simbólicas,
conduzido por regras de inferência.
Esta linguagem alia a lógica e o controlo no algoritmo,
ou seja não é puramente lógica, mas contém teorias
de procura que se enquadram no contexto das evoluções em Inteligência
Artificial, o aperfeiçoamento dos agentes
inteligentes.
Mas o recurso à lógica implica que o conhecimento
só possa ser apreendido de forma declarativa e, assim sendo, procedimental,
impedindo uma manipulação dos conceitos propriamente dita e restringindo
de certa forma o alcance da linguagem, que apesar de trazer várias vantagens
quando comparada com as antigas linguagens está ainda longe de ser completamente
satisfatória em termos de representação do conhecimento.
O estudo das linguagens de programação é
fundamental na evolução da ciência I.A., são elas
que definem a representação do conhecimento e que medeiam a relação
homem máquina, esta é uma área de investigação
de relevo em Portugal.
|
