Abordagem Simbólica

• Representa o conhecimento por sentenças declarativas.
• Deduz consequências por métodos de raciocínio lógico.

• É necessário:
  • Identificar o conhecimento do domínio (modelo do problema).
  • Representá-lo utilizando uma linguagem formal de representação.
  • Implementar um mecanismo de inferência para utilizar esse conhecimento

Exemplos

• $\forall_x \forall_y ~irmão(x, y) \Rightarrow parente(x, y)$
• $\forall_x \forall_y \forall_z ~pai(z, x) \land pai(z, y) \Rightarrow irmão(x, y)$

• $pai(joão, maria)$
• $pai(joão, eduardo)$

Resultado: Maria e Eduardo são parentes.

Veja Também

• Abordagem Não-Simbólica
• Abordagens para Inteligência Artificial