Representa O De Conhecimento L Gica Slides

REPRESENTAÇÃO DE CONHECIMENTOS

• Introdução
• Lógicas
• Regras de Produção e Sistemas Especialistas (SE)
• Redes Semânticas
• Quadros (Frames)
• Roteiros (Scripts)

1. INTRODUÇÃO

Estrutura de Dados + Algoritmo = Programa

Representação de Conhecimento + Técnica de Inferência
= Sistema Inteligente

1. INTRODUÇÃO
No final dos anos setenta os cientistas de IA começaram a realizar algo mais importante: A 'força' da resolução de problema de um programa vem do conhecimento que ele possui, não apenas dos formalismo e esquemas de inferência que emprega.
O marco conceitual pode ser posto de maneira simples:
Para fazer um programa inteligente, forneça a ele conhecimento específico de alta-qualidade sobre uma determinada área.

2. REPRESENTAÇÃO POR LÓGICA

• Método poderoso de derivar novos conhecimentos a partir de cálculo de predicados;
• A idéia básica é que uma determinada declaração pode ser verdadeira ou falsa;
• O poder da representação lógica está no processo de encadeamento 2. REPRESENTAÇÃO POR LÓGICA
Calculo de Predicados
Convenção: por predicado queremos dizer uma função
P(x1, x2, ...xn) de n variáveis independentes, com valores em {V, F}.
Casos particulares n = 0 proposição

João ama Maria

ama(joao, maria)

n = 1 propriedade

x é verde

verde(x)

n = 2 relação binaria

x é pai de y

pai(x, y)

n = 3 relação ternária

x é filho de y e z

filho(x, y, z)

...

2. REPRESENTAÇÃO POR LÓGICA
Os quantificadores serão
∀x

“para todo x”

∃x

“existe um x”

Exemplos,
• Alguém ama Joana - ∃x ama(x, joana)
• Todos amam Joana - ∀x ama(x, joana)
• Ninguém ama Joana - ~∃x ama(x, joana)
• Todo mundo ama alguém - ∀x ∃y ama(x, y)
• Alguém ama a todos - ∃ x ∀y ama(x, y)
• Todo mundo ama a si próprio - ∀x ama(x, x)

2. REPRESENTAÇÃO POR LÓGICA
Operadores
A

B

A↔ B

A→B

A ∧B

A∨B

~A

V

V

V

V

V

V

F

V

F

F

F

F

V

F

F

V

F

V

F

V

V

F

F

V

V

F

F

V

2. REPRESENTAÇÃO POR LÓGICA
Algumas Teoremas
• A → B ↔ ~A ∨ B
• A ∨ ~A
• ~(A ∧B) ↔ ~A ∨ ~B
• ~(A ∨ B) ↔ ~A