O conceito

O conceito basea-se na utilizaao de grafos em arvres, criando para isso seis ns especiais,
dispostos na vertical representasendo assim suas dependncias temporais: 1-Regra, 2-
Premissa, 3-Inserso, 4-Hiptese, 5-Objetivo e 6-Inferncia (Figura 1).



















Os ns filhos de um n especial deveram conter uma premissa ou um operador lgico. Onde o
operador lgico um agrupador de premissas. Figura 2 e Figura 3.

REPRESENTAO DO CONHECIMENTO DAS REGRAS DE INFERNCIAS
DA LGICA PROPOSICIONAL ATRVES DA TEORIA DOS GRAFOS.
R
P
Ins
H
O
I
Figura 1
P
P
->
P Q
P
^
P
Q
Figura 2. Premissa: P ^ Q Figura 3. PremissaS: P, P -> Q
Cada n especial poder conter vrios ns filhos, conforme a necessidade da regra, obdecendo
a partir do ns especiais o conceito de rvore binria. Os ns especiais so classificados em
dois tipos: Primrio e Secundrio.
Os ns primrios so fundamentais para representao: R,P e I;
A utlizao de ns secundrios dar-se- em funo da necessidade da regra: Ins, H e O.

Sobre os ns especiais

Regra (R) Utilizado para representar o nome da regra da rvore. N primrio
Premissa (P) - Este n tm a finalidade de representar todas premissas necessrias
para fundamentao regra. Por exemplo: A figura 3, representa o conhecimento da regra
Modus Ponnes. Esta regra necessita de duas premissas para sua inferncia, sendo: P e P -> Q
as premissas, e Q sua inferncia.













(Figura 3 Representa a regra Modus Ponnes).

(Ins) Inserso Este n secundrio


P
P
->
P Q
R = MP
I
Q