Control Coherencia

Embed Size (px)

Citation preview

  • 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*&