Redes Semântica
Last updated
Last updated
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.
(ou sub-conjunto ou ainda sub-classe)
(ou instância)
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.
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.