REPRESENTAÇÃO
DO CONHECIMENTO
Esquema de Representação Baseado na
Lógica
A
lógica foi desenvolvida por filósofos e matemáticos como um processo de
desenvolver inferências a partir de fatos.
Essa
lógica utiliza os conectivos ∧
(e), ∨ (ou), →
(se então), ↔ (se e somente se), ¬
(não)
, além dos quantificadores universal ∀
(para todo) e existencial ∃
(existe um).
Com o
uso dos conectivos lógicos podemos formular sentenças, assumindo valores
verdadeiros ou falsos, que capturam parte da estrutura lógica de trechos de
discurso e caracterizam fatos ou situações do domínio.
Com o
uso dos quantificadores podemos representar afirmações sobre indivíduos e suas
propriedades ou relações, ou seja afirmações sobre relacionamentos entre
objetos e generalizações destes relacionamentos para classes de objetos.
Regras de Produção
o
conhecimento é representado como uma coleção de regras do tipo se condição
então ação. A condição estabelece o contexto para aplicação da regra. A ação
corresponde a algum procedimento que acarreta uma conclusão ou mudança no
estado corrente. O conjunto de regras de produção é visto como uma
representação de conhecimento procedimental, baseada em lógica de primeira
ordem.
Redes Semânticas e Sistemas de Frames
Redes
semânticas
constituem uma classe de formalismos de representação de
conhecimento que usamos nós para representar objetos, conceitos ou situações,
ligados por arcos orientados. A ideia subjacente é que o significado de um
conceito vem do modo como ele é associado a outros conceitos. Nós e arcos podem
ser rotulados, formando um grafo rotulado direcionado.
Sistemas de Frames
Um sistema de frames (também denotado sistema de
enquadramento) é uma coleção de locais onde armazenar conhecimento, em geral
chamados de “slots” e valores a eles associados (e possivelmente restrições a
estes valores) que descrevem alguma entidade do mundo.
Com o
uso dos conectivos lógicos podemos formular sentenças, assumindo valores
verdadeiros ou falsos, que capturam parte da estrutura lógica de trechos de
discurso e caracterizam fatos ou situações do domínio.