Redes Semântica

Redes semânticas são representações gráficas do conhecimento.

Têm a vantagem da legibilidade.

As redes semânticas podem ser tão expressivas quanto à lógica de primeira ordem.

Tipos de Relações

Sub-tipo

(ou sub-conjunto ou ainda sub-classe)

• 

Membro

(ou instância)

• 

Relação objeto-objeto

• 

Relação conjunto-objeto

• 

Relação conjunto-conjunto

• 

Exemplo

Herança

As relações de sub-tipo e membro permitem a herança de propriedades:

• O sub-tipo herda todas as propriedades dos tipos mais abstractos dos quais descende.

• A instância herda todas as propriedades do tipo a que pertence.

A inferência pode ser vista como o seguimento das ligações entre entidades com vista à herança de propriedades.

Pode implementar-se raciocínio não monotónico através do estabelecimento de valores por defeito e o correspondente cancelamente da herança.

Métodos e Demónios

Normalmente, por razões computacionais, usam-se redes semânticas bastante menos expressivas do que a lógica de primeira ordem.

Deixa-se de lado:

• Negação

• Disjunção

• Quantificação

Em contra-partida, nomeadamente nos chamados sistemas de frames, usam-se métodos e demónios:

• Métodos têm uma semântica similar à da programação orientada por objectos.

• Demónios são procedimentos cuja execução é disparada automáticamente quando certas operações de leitura ou escrita são efectuadas.