Please enable JavaScript.
Coggle requires JavaScript to display documents.
IA - Prova 2 (Prolog Linguagem de programação baseada em lógica de…
IA - Prova 2
Prolog
Linguagem de programação baseada em
lógica de primeira ordem
Conceito
Especifica o quê se sabe sobre um problema e o quê deve ser feito. É mais direcionada ao conhecimento e menos direcionada a algoritmos.
Programação
Declarar fatos
sobre objetos e seus relacionamentos;
Definir algumas regras
sobre objetos e seus relacionamentos;
Fazer perguntas
sobre objetos e seus relacionamentos;
Sentenças Prolog
Nomes de constantes e predicados
iniciam com letra
minúscula
;
Predicado
(relação unária, n-ária ou função) é escrito primeiro e os objetos relacionados depois entre parênteses)
Variáveis
sempre começam com letra
maiúscula
;
Toda sentença termina com ponto
Exemplo
: gosta(maria, jose).
Operadores Lógicos
Símbolo :-
Conectivo:
IF
Operação Lógica:
Implicação
Símbolo ,
Conectivo
AND
Operação Lógica
Conjunção
Símbolo ;
Conectivo
OR
Operação Lógica:
Disjunção
Símbolo not
Conectivo:
NOT
Operação Lógica:
Negação
Operadores Relacionáis
X = Y
Igual a
X \= Y
Não igual a
X < Y
Menor que
Y > X
Maior que
Y =< X
Menor ou igual a
Y >= X
Meior ou igual a
Programas Prolog
Regras
Declaram coisas que são verdadeiras dependendo de determinadas condições
Fatos
Declaram coisas que são sempre (incondicionalmente) verdadeiras
Lógica Fuzzy
Redes Neurais Artificiais