Post on 20-Feb-2018
7/24/2019 Control Coherencia
1/14
SISTEM
ACO
NTROL
DE
COHE
RENCIA
SISTEMAS
EXPERT
OS
INTEGRANTES:
YONATHAN CACERES GOMEZ. ALJIRIO TAPIA CARRASCO. JORGE LUIS ARIAS HUARACA.
7/24/2019 Control Coherencia
2/14
CONTROL DE COHERENCIA
Este subsistema !"t#!$a $a !"siste"ia %e $abase %e %at!s & e'ita (ue u"i%a%es %e!"!imie"t! i"!"siste"tes e"t#e" e" $a misma.
E$ C!"t#!$ %e C!)e#e"ia a&u%a a $!s e*+e#t!s
)uma"!s a %a# i",!#mai-" ab$e/ !m+#ueba ei",!#ma a $!s e*+e#t!s %e $as i"!"siste"ias ei"%ia s!b#e $as #est#ii!"es (ue $a i",!#mai-"%ebe um+$i# +a#a se# !)e#e"te !" $ae*iste"te e" $a base %e !"!imie"t! ua"%! se
s!$iita i",!#mai-" %e $!s e*+e#t!s )uma"!s.
7/24/2019 Control Coherencia
3/14
Si" este subsistema/ u"i%a%es %e !"!imie"t!s!"t#a%it!#i!s +ue%e" ,!#ma# +a#te %e $a base %e!"!imie"t!/ %a"%! $u0a# a u" !m+!#tamie"t!
i"satis,at!#i! e" e$ sistema.
por ejemplo: en sistemas con mecanismos
de propagacin de incertidumbre escomn llegar a conclusiones absurdas oen con!icto" por ejemplo" situaciones enlas #ue el sistema genera probabilidades
ma$ores a la unidad o negati%as&
7/24/2019 Control Coherencia
4/14
Es im+!#ta"te!"t#!$a# $a !)e#e"ia%e$ !"!imie"t! ta"t!
%u#a"te $a!"st#ui-" %e $a
base %e !"!imie"t!!m! %u#a"te $!s
+#!es!s %ea%(uisii-" %e %at!s &
#a1!"amie"t!.
Si $a base %e !"!imie"t!!"tie"e i",!#mai-"i"!"siste"te 2+!# e3em+$!/#e0$as &4! )e)!s5/ es mu&
im+!#ta"te (ue e$ SistemaE*+e#t! se !m+!#tei"satis,at!#iame"te &!bte"0a !"$usi!"esabsu#%as.
O'(ETI)O*
E$ !b3eti'! %e$ C!"t#!$ %e C!)e#e"ia !"siste e":
6. A&u%a# a$ usua#i! a "! %a# )e)!s i"!"siste"tes/ +!#e3em+$! %7"%!$e $as Rest#ii!"es (ue %ebe satis,ae# $a
i",!#mai-" %ema"%a%a.8. E'ita# (ue e"t#e e" $a base %e !"!imie"t! ua$(uie#
ti+! %e !"!imie"t! I"!"siste"te ! !"t#a%it!#i!.El control de la co+erencia debe +acerse controlando
la co+erencia de las reglas $ la de los +ec+os&
7/24/2019 Control Coherencia
5/14
COHERENCIA DE RE,LA*
De-nicin:
un conjunto de reglas se denominacoherente si existe, al menos, un conjunto
de valores de todos los objetos queproducen conclusiones nocontradictorias.
7/24/2019 Control Coherencia
6/14
COHERENCIA DE HECHO*
Los datos o evidencias suministrados porlos usuarios deben ser tambinconsistentes en s y con el conjunto dereglas de la base de datos. Por ello, elsistema no debe aceptar hechos que
contradigan el conjunto de reglas y o elconjunto de hechos existente en cadainstante del proceso.
7/24/2019 Control Coherencia
7/14
La !)e#e"ia %e $!s )e)!s +ue%e $!0#a#se me%ia"te $as est#ate0iassi0uie"tes:
6. E$imi"a# t!%!s $!s 'a$!#es "! ,atib$es 2$!s (ue !"t#a%ie" e$ !"3u"t!%e #e0$as & 4 ! )e)!s5 %e $!s !b3et!s u"a 'e1 %eteta%!s.
8. E$ m!t!# %e i",e#e"ia %ebe !m+#!ba# (ue $!s )e)!s !"!i%!s "!!"t#a%ie" e$ !"3u"t! %e #e0$as. Si e$ sistema "! e$imi"a $!s 'a$!#es "!,atib$es/ e"t!"es e$ usua#i! +!%#7 %a# e'i%e"ias !"t#a%it!#iasta$es !m! Pago autorizado &
NIP incorrecto e" e$ e3em+$! %e$ a3e#! aut!m7ti! 2CA5. P!# e$$!/ ta"+#!"t! !m! se %e $a +#ime#a e'i%e"ia/ Pago autorizado/ e$ sistema%ebe se$ei!"a# s-$! $!s 'a$!#es %e$ NIP (ue "! !"%u1a" a!"$usi!"es !"t#a%it!#ias.
;. Sumi"ist#a# a$ usua#i! u"a $ista %e !b3et!s a $!s (ue "! se )a asi0"a%!'a$!#es +#e'iame"te.
u" )e)! ! se !bte"0a u"a !"$usi-"/ & e$imi"a# $!s 'a$!#es"! ,atib$es. E$ m!t!# %e i",e#e"ia !btie"e t!%as $as !"$usi!"es+!sib$es e*ami"a"%!/ & +!sib$eme"te !"$u&e"%!/ $as #e0$as ta" +#!"t!
!m! u"a sim+$e u"i%a% %e i",!#mai-" $$e0a a$ sistema.
7/24/2019 Control Coherencia
8/14
E./LICANDO CONCL0*IONE*
Las !"$usi!"es "! basta" +a#a satis,ae# a$ usua#i! %e u"sistema e*+e#t!/ +!# $! (ue/ "!#ma$me"te/ $!s usua#i!s es+e#a"(ue e$ sistema $es %> a$0?" ti+! %e e*+$iai-" (ue i"%i(ue e$+!#(u> %e $as !"$usi!"es.
Du#a"te e$ +#!es! #ea$i1a%! +!# e$ m!t!# %e i",e#e"ia/ $as #e0$asati'as 2$as (ue )a" !"$ui%!5 ,!#ma" $a base %e$ mea"ism! %ee*+$iai-"/ (ue es #e0u$a%! +!# e$ subsistema %e e*+$iai-".
E" $!s sistemas e*+e#t!s basa%!s e" #e0$as/ es ,7i$ %a#e*+$iai!"es %e $as !"$usi!"es !bte"i%as. E$ m!t!# %e i",e#e"ia!btie"e !"$usi!"es bas7"%!se e" u" !"3u"t! %e #e0$as &/ +!#ta"t!/ !"!e %e (u> #e0$a +#!e%e a%a !"$usi-". P!# e$$!/ e$sistema +ue%e %a# a$ usua#i! $a $ista %e )e)!s !"$ui%!s 3u"t!!" $as #e0$as (ue se )a" uti$i1a%! +a#a !bte"e#$!s.
7/24/2019 Control Coherencia
9/14
E(E2/LO* DE*I*TE2A* E./ERTO*
7/24/2019 Control Coherencia
10/14
E(E2/LO* DE*I*TE2A* E./ERTO*
7/24/2019 Control Coherencia
11/14
Ejemplo de *istema E3perto pa
identi-car a%ion
7/24/2019 Control Coherencia
12/14
7/24/2019 Control Coherencia
13/14
7/24/2019 Control Coherencia
14/14
,RACIA*&