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

• [math] \forall_x \forall_y ~irmão(x, y) \Rightarrow parente(x, y)[/math]
• [math] \forall_x \forall_y \forall_z ~pai(z, x) \land pai(z, y) \Rightarrow irmão(x, y)[/math]

• [math]pai(joão, maria)[/math]
• [math]pai(joão, eduardo)[/math]

Resultado: Maria e Eduardo são parentes.

Veja Também

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