Sei sulla pagina 1di 42
LógicaLógica enen InteligenciaInteligencia ArtificialArtificial ©© FernandoFernando Berzal,Berzal,
LógicaLógica enen InteligenciaInteligencia ArtificialArtificial
©© FernandoFernando Berzal,Berzal, berzal@acm.orgberzal@acm.org
LógicaLógica enen InteligenciaInteligencia ArtificialArtificial ModelosModelos lógicoslógicos LógicaLógica
LógicaLógica enen InteligenciaInteligencia ArtificialArtificial
ModelosModelos lógicoslógicos
LógicaLógica ProposicionalProposicional
LógicaLógica dede PredicadosPredicados
RazonamientoRazonamiento lógicológico
MecanismosMecanismos dede inferenciainferencia
ModusModus ponensponens
ModusModus tollenstollens
ResoluciónResolución
DemostraciónDemostración porpor refutaciónrefutación
MotoresMotores dede inferenciainferencia
OtrosOtros modelosmodelos lógicoslógicos
11
LógicaLógica ModelosModelos lógicoslógicos dede representaciónrepresentación deldel conocimientoconocimiento
LógicaLógica
ModelosModelos lógicoslógicos dede representaciónrepresentación deldel conocimientoconocimiento
RepresentaciónRepresentación formalformal dede laslas relacionesrelaciones existentesexistentes entreentre
objetosobjetos (y(y entreentre loslos objetosobjetos yy sussus propiedades):propiedades):
LosLos modelosmodelos lógicoslógicos clásicosclásicos másmás conocidosconocidos son:son:
LaLa LógicaLógica ProposicionalProposicional
LaLa LógicaLógica dede PredicadosPredicados
Básicamente,Básicamente, sese diferenciandiferencian enen queque lala primeraprimera nono adadmitemite
argumentosargumentos enen loslos predicadospredicados mientrasmientras queque lala segundsegundaa sí.sí.
22
LógicaLógica ProposicionalProposicional SeSe utilizanutilizan proposicionesproposiciones queque representanrepresentan
LógicaLógica ProposicionalProposicional
SeSe utilizanutilizan proposicionesproposiciones queque representanrepresentan
afirmaciones,afirmaciones, queque puedenpueden serser verdaderasverdaderas oo falsas.falsas.
LasLas proposicionesproposiciones sese unenunen concon operadoresoperadores lógicoslógicos
((∧∧∧∧∧∧∧∧ [y],[y], ∨∨∨∨∨∨∨∨ [o],[o], ¬¬¬¬¬¬¬¬ [no])[no]),, yy sese construyenconstruyen reglasreglas concon elel
operadoroperador dede implicaciónimplicación lógicalógica ((→→→→→→→→).).
ExistenExisten mecanismosmecanismos dede inferenciainferencia queque permitenpermiten
obtenerobtener nuevosnuevos datosdatos aa partirpartir dede loslos datosdatos yaya
conocidosconocidos (p.ej.,(p.ej., modusmodus ponens,ponens, modusmodus tollens…)tollens…)
33
LógicaLógica ProposicionalProposicional EEJEMPLOJEMPLO:: ModusModus ponensponens pp pp →→ qq qq sisi pp yy pp
LógicaLógica ProposicionalProposicional
EEJEMPLOJEMPLO:: ModusModus ponensponens
pp
pp →→ qq
qq
sisi pp
yy pp implicaimplica qq
entoncesentonces qq
eses unun razonamientorazonamiento válidoválido porqueporque qq siempresiempre seráserá
verdad,verdad, independientementeindependientemente dede lolo queque represente,represente,
cuandocuando sese cumplancumplan pp yy pp→→q.q.
44
LógicaLógica ProposicionalProposicional EEJEMPLOJEMPLO:: ModusModus ponensponens pp == “hace“hace calor”calor”
LógicaLógica ProposicionalProposicional
EEJEMPLOJEMPLO:: ModusModus ponensponens
pp == “hace“hace calor”calor”
qq == ““elel profesorprofesor estáestá incómodoincómodo””
MemoriaMemoria dede trabajotrabajo (datos):(datos):
pp
BaseBase dede conocimientoconocimiento (reglas):(reglas):
pp→→qq
DeducciónDeducción (aplicando(aplicando modusmodus ponens):ponens):
qq
qq pasapasa aa formarformar parteparte dede lala memoriamemoria dede trabajo.trabajo.
55
LógicaLógica ProposicionalProposicional EEJEMPLOJEMPLO:: ModusModus tollenstollens ¬¬qq pp →→ qq ¬¬pp sisi
LógicaLógica ProposicionalProposicional
EEJEMPLOJEMPLO:: ModusModus tollenstollens
¬¬qq
pp →→ qq
¬¬pp
sisi nono qq
yy pp implicaimplica qq
entoncesentonces nono pp
eses unun razonamientorazonamiento válidoválido porqueporque pp siempresiempre seráserá
falso,falso, independientementeindependientemente dede lolo queque represente,represente,
cuandocuando sese nono sese cumplacumpla qq yy sese verifiqueverifique pp→→q.q.
66
LógicaLógica ProposicionalProposicional EEJEMPLOJEMPLO:: ModusModus tollenstollens pp == “hace“hace
LógicaLógica ProposicionalProposicional
EEJEMPLOJEMPLO:: ModusModus tollenstollens
pp == “hace“hace calor”calor”
qq == ““elel profesorprofesor estáestá incómodoincómodo””
MemoriaMemoria dede trabajotrabajo (datos)(datos) ::
¬¬qq
BaseBase dede conocimientoconocimiento (reglas):(reglas):
pp→→qq
DeducciónDeducción (aplicando(aplicando modusmodus tollens):tollens):
¬¬pp
¿seguro?¿seguro?
77
LógicaLógica ProposicionalProposicional LLIMITACIONESIMITACIONES ElEl emparejamientoemparejamiento requiererequiere
LógicaLógica ProposicionalProposicional
LLIMITACIONESIMITACIONES
ElEl emparejamientoemparejamiento requiererequiere igualdadigualdad exactaexacta deldel
antecedenteantecedente dede lala reglaregla concon loslos hechoshechos conocidos.conocidos.
pp
== “hombre”“hombre”
qq
== “mortal”“mortal”
xx
== “todo“todo hombrehombre eses mortal”mortal”
yy
== “Juan“Juan eses hombre”hombre”
¡¡¡¡¡¡ NoNo podemospodemos deducirdeducir nadanada !!!!!!
88
LógicaLógica ProposicionalProposicional SSOLUCIÓNOLUCIÓN:: LógicaLógica dede PredicadosPredicados
LógicaLógica ProposicionalProposicional
SSOLUCIÓNOLUCIÓN:: LógicaLógica dede PredicadosPredicados
NecesitamosNecesitamos establecerestablecer unauna relaciónrelación entreentre objetosobjetos
(personas)(personas) yy propiedadespropiedades (esHombre(esHombre,, esMortal):esMortal):
esHombre(Juan)esHombre(Juan)
∀∀xx (( esHombre(x)esHombre(x) →→ esMortal(x)esMortal(x) ))
PodemosPodemos deducir:deducir:
esMortal(Juan)esMortal(Juan)
99
LógicaLógica dede PredicadosPredicados LaLa LógicaLógica dede PredicadosPredicados añadeañade lala
LógicaLógica dede PredicadosPredicados
LaLa LógicaLógica dede PredicadosPredicados añadeañade
lala posibilidadposibilidad dede utilizarutilizar cuantificadorescuantificadores::
∀∀∀∀∀∀∀∀
∃∃∃∃∃∃∃∃
(para(para todo)todo)
(existe)(existe)
MecanismosMecanismos dede inferencia:inferencia:
modusmodus ponens,ponens, modusmodus tollens,tollens, resolución…resolución…
EEJEMPLOJEMPLO:: LenguajeLenguaje dede programaciónprogramación PROLOGPROLOG
1010
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: ConstantesConstantes
MedianteMediante símbolossímbolos nombramosnombramos objetosobjetos
p.ej.p.ej. Juan,Juan, Pedro,Pedro, María…María…
ElEl conjuntoconjunto dede todostodos esosesos símbolossímbolos sese denominadenomina
dominiodominio dede discurso.discurso.
Pedro
Juan
María
1111
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: PredicadosPredicados
MedianteMediante símbolossímbolos representamosrepresentamos relacionesrelaciones entreentre
objetosobjetos (y(y entreentre objetosobjetos yy sussus propiedades):propiedades):
p.ej.p.ej.
esHombre/1esHombre/1
quiere/2quiere/2
/1/1 ≡≡ 11 argumentoargumento
/2/2 ≡≡ 22 argumentosargumentos
LosLos predicadospredicados recibenreciben términostérminos comocomo argumentos:argumentos:
p.ej.p.ej.
esHombre(Juan)esHombre(Juan)
quiere(Juan,quiere(Juan, María)María)
1212
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Semántica:Semántica: ConceptoConcepto dede interpretacióninterpretación
EnEn unauna interpretación,interpretación,
sese realizarealiza unauna correspondenciacorrespondencia entreentre loslos objetosobjetos yy
relacionesrelaciones deldel mundomundo realreal yy loslos objetosobjetos definidosdefinidos eenn lala
sintaxissintaxis dede lala LógicaLógica dede Predicados.Predicados.
HipótesisHipótesis dede MundoMundo CerradoCerrado
[CWA:[CWA: ClosedClosed WorldWorld Assumption]Assumption]
TodoTodo aquelloaquello queque nono sese incluyaincluya
sese consideraráconsiderará queque eses falso.falso.
1313
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Semántica:Semántica: ConceptoConcepto dede interpretacióninterpretación
EEJEMPLOJEMPLO::
Pedro
DominioDominio
Juan
María
RelacionesRelaciones
a.a.
SerSer hombrehombre
QuererQuerer aa otraotra personapersona
esHombre/1esHombre/1
1414
b.b.
quiere/2quiere/2
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Semántica:Semántica: ConceptoConcepto dede interpretacióninterpretación
MedianteMediante predicadospredicados representamosrepresentamos hechos:hechos:
esHombre(Juan)esHombre(Juan)
quiere a
Pedro
esHombre(Pedro)esHombre(Pedro)
María
quiere(Pedro,María)quiere(Pedro,María)
Juan
quiere a
quiere(Juan,María)quiere(Juan,María)
Diremos,Diremos, p.ej.,p.ej., queque esHombre(Juan)esHombre(Juan) eses verdadero,verdadero,
mientrasmientras queque esHombre(María)esHombre(María) eses falso.falso.
1515
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: FuncionesFunciones
“Devuelven”“Devuelven” unun valorvalor deldel dominiodominio yy podemospodemos
interpretarlasinterpretarlas comocomo unauna formaforma avanzadaavanzada dede nombrarnombrar
objetos.objetos.
p.ej.p.ej.
padre/1padre/1
quiere(Juan,quiere(Juan, “el“el padrepadre dede Juan”)Juan”)
⇓⇓⇓⇓⇓⇓⇓⇓
quiere(Juan,quiere(Juan, padre(Juan))padre(Juan))
1616
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: VariablesVariables
LasLas variablesvariables sese usaránusarán comocomo comodinescomodines queque puedenpueden
serser sustituidossustituidos porpor objetosobjetos deldel dominiodominio
p.ej.p.ej.
x,x, y…y…
PorPor ahora,ahora, sólosólo consideraremosconsideraremos queque sonson símbolossímbolos queque
formanforman parteparte dede lala sintaxissintaxis dede lala LógicaLógica dede PredicaPredicados.dos.
1717
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: TérminosTérminos
UnaUna constanteconstante eses unun término.término.
UnaUna variablevariable eses unun término.término.
SiSi ff eses unauna funciónfunción nn--ariaaria yy t1t1
tntn sonson términos,términos,
entoncesentonces f(t1f(t1 ,,
,, tn)tn) eses unun término.término.
EnEn general,general,
loslos términostérminos sonson loslos argumentosargumentos dede loslos predicados.predicados.
p.ej.p.ej.
Juan,Juan, padre(Juan),padre(Juan), padre(x)…padre(x)…
1818
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: ÁtomosÁtomos yy conectivosconectivos lógicoslógicos
SiSi PP eses unun símbolosímbolo dede predicadopredicado yy t1t1
tntn sonson
términostérminos,, entoncesentonces P(t1P(t1,,
,, tn)tn) eses unun átomoátomo
LosLos átomosátomos correspondencorresponden aa loslos datosdatos dede nuestranuestra
basebase dede conocimientoconocimiento (la(la formaforma dede representarrepresentar
hechoshechos enen LógicaLógica dede Predicados).Predicados).
LosLos conectivosconectivos lógicoslógicos ((∧∧∧∧∧∧∧∧,, ∨∨∨∨∨∨∨∨,, ¬¬¬¬¬¬¬¬,, →→→→→→→→,, ↔↔↔↔↔↔↔↔)) nosnos permitiránpermitirán
conectarconectar átomosátomos parapara representarrepresentar laslas reglasreglas dede
nuestranuestra basebase dede conocimientoconocimiento (en(en formaforma dede f.b.f.).f.b.f.).
1919
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: CuantificaciónCuantificación universaluniversal yy existencialexistencial
∀∀xx esHombre(x)esHombre(x)
SeráSerá verdadverdad cuandocuando todostodos loslos objetosobjetos deldel dominiodominio
dede discursodiscurso satisfagansatisfagan elel predicadopredicado esHombreesHombre
SiSi enen nuestronuestro dominiodominio dede discursodiscurso hayhay objetosobjetos “no“no
hombres”hombres” (p(p
ejej
Gatos),Gatos), seráserá falsofalso
∃∃xx esHombre(x)esHombre(x)
SeráSerá verdadverdad cuandocuando existaexista algúnalgún objetoobjeto deldel dominiodominio
dede discursodiscurso queque satisfagasatisfaga elel predicadopredicado esHombre.esHombre.
ConCon tenertener unun hombrehombre enen elel dominiodominio dede discurso,discurso,
seráserá cierto,cierto, aunqueaunque tambiéntambién hayahaya gatos…gatos…
2020
LógicaLógica dede PredicadosPredicados FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede
LógicaLógica dede PredicadosPredicados
FormalizaciónFormalización dede unun modelomodelo enen LógicaLógica dede Predicados:Predicados:
Sintaxis:Sintaxis: FórmulasFórmulas bienbien formadasformadas (f.b.f.)(f.b.f.)
UnUn átomoátomo eses unauna f.b.f.f.b.f. (atómica).(atómica).
SiSi FF yy GG sonson f.b.f.,f.b.f.,
entoncesentonces ¬¬F,F, FF∧∧G,G, FF∨∨G,G, FF→→G,G, FF↔↔GG sonson f.b.f.f.b.f.
SiSi FF eses unauna f.b.f.f.b.f. yy xx unauna variable,variable,
entoncesentonces (F),(F), ((∀∀x)Fx)F yy ((∃∃x)Fx)F sonson f.b.f.f.b.f.
2121
LógicaLógica dede PredicadosPredicados ÁmbitoÁmbito dede loslos cuantificadorescuantificadores ElEl ámbitoámbito
LógicaLógica dede PredicadosPredicados
ÁmbitoÁmbito dede loslos cuantificadorescuantificadores
ElEl ámbitoámbito dede unun cuantificadorcuantificador eses lala f.b.f.f.b.f. sobresobre lala queque
sese aplica,aplica, p.ej.p.ej.
((∀∀x)x) (( ((∀∀y)P(x,y)y)P(x,y) ∨∨ ((∃∃z)R(x,z)z)R(x,z) ))
ámbitoámbito dede yy ámbitoámbito dede zz
ámbitoámbito dede xx
2222
LógicaLógica dede PredicadosPredicados EquivalenciasEquivalencias lógicaslógicas ((≡≡≡≡≡≡≡≡)) EnEn
LógicaLógica dede PredicadosPredicados
EquivalenciasEquivalencias lógicaslógicas ((≡≡≡≡≡≡≡≡))
EnEn laslas siguientessiguientes expresiones,expresiones, sese suponesupone queque P,P, QQ
contienencontienen lala variablevariable xx enen algunoalguno dede sussus argumentosargumentos::
∀∀xx ¬¬PP ≡≡ ¬∃¬∃xx PP
∀∀xx PP ≡≡ ¬¬∃∃xx ¬¬PP
¬∀¬∀xx PP ≡≡ ∃∃xx ¬¬PP
∃∃xx PP ≡≡ ¬¬∀∀xx ¬¬PP
¬¬PP ∧∧ ¬¬QQ ≡≡ ¬¬(P(P ∨∨ Q)Q)
PP ∧∧ QQ ≡≡ ¬¬((¬¬PP ∨∨ ¬¬Q)Q)
¬¬(P(P ∧∧ Q)Q) ≡≡ ¬¬PP ∨∨ ¬¬QQ
PP ∨∨ QQ ≡≡ ¬¬((¬¬PP ∧∧ ¬¬Q)Q)
2323
LógicaLógica dede PredicadosPredicados LiteralesLiterales yy cláusulascláusulas UnUn literalliteral eses unun
LógicaLógica dede PredicadosPredicados
LiteralesLiterales yy cláusulascláusulas
UnUn literalliteral eses unun átomoátomo oo lala negaciónnegación dede unun átomo.átomo.
UnaUna cláusulacláusula eses unauna disyuncióndisyunción dede literales.literales.
SÍSÍ
esHombre(x)esHombre(x)
quiere(Juan,Maria)quiere(Juan,Maria) ∨∨ qquiere(Juan,Elena)uiere(Juan,Elena)
¬¬qquiere(Juan,Pedro)uiere(Juan,Pedro)
NONO
esHombre(x)esHombre(x) ∧∧ quiere(x,y)quiere(x,y)
quiere(Juan,Elena)quiere(Juan,Elena) ∧∧ ¬¬quiere(Juan,Pedro)quiere(Juan,Pedro) 2424
LógicaLógica dede PredicadosPredicados CláusulasCláusulas dede HornHorn UnaUna cláusulacláusula dede HornHorn
LógicaLógica dede PredicadosPredicados
CláusulasCláusulas dede HornHorn
UnaUna cláusulacláusula dede HornHorn sólosólo admiteadmite unun literalliteral NONO negado.negado.
PP
¬¬¬¬¬¬¬¬PP
¬¬¬¬¬¬¬¬ PP ∨∨∨∨∨∨∨∨ ¬¬¬¬¬¬¬¬ QQ ∨∨∨∨∨∨∨∨ ¬¬¬¬¬¬¬¬ RR ∨∨∨∨∨∨∨∨ SS
≡≡≡≡≡≡≡≡ PP ∧∧∧∧∧∧∧∧ QQ ∧∧∧∧∧∧∧∧ RR →→ SS
LasLas cláusulascláusulas dede HornHorn nosnos permitenpermiten representarrepresentar
hechoshechos oo reglasreglas concon unun únicoúnico consecuente.consecuente.
PROLOGPROLOG sólosólo admiteadmite cláusulascláusulas dede Horn.Horn.
2525
LógicaLógica dede PredicadosPredicados AsignaciónAsignación dede unun gradogrado dede verdadverdad aa unauna
LógicaLógica dede PredicadosPredicados
AsignaciónAsignación dede unun gradogrado dede verdadverdad aa unauna f.b.f.f.b.f.
AA partirpartir deldel gradogrado dede verdadverdad dede loslos átomosátomos (P,(P, Q),Q),
podemospodemos determinardeterminar elel gradogrado dede verdadverdad dede cualquiercualquier
f.b.f.f.b.f. utilizandoutilizando lala siguientesiguiente tabla:tabla:
P
Q
P∨∨∨∨Q
P∧∧∧∧Q
¬¬¬¬P
P→→→→Q
P↔↔↔↔Q
T
T
T
T
F
T
T
T
F
T
F
F
F
F
F
T
T
F
T
T
F
F
F
F
F
T
T
T
NNOTAOTA PP ∨∨ QQ seráserá verdadverdad enen unauna interpretacióninterpretación I,I,
sisi algunoalguno dede ellosellos eses verdadverdad enen I.I.
2626
LógicaLógica dede PredicadosPredicados AsignaciónAsignación dede unun gradogrado dede verdadverdad aa unauna
LógicaLógica dede PredicadosPredicados
AsignaciónAsignación dede unun gradogrado dede verdadverdad aa unauna f.b.f.f.b.f.
Formalmente,Formalmente, estoesto nosnos llevalleva aa casoscasos como:como:
SiSi PP→→QQ eses verdaderoverdadero yy resultaresulta queque PP eses falso,falso,
entoncesentonces ¡Q¡Q eses verdadero!verdadero!
EnEn I.A.,I.A., sese parteparte siempresiempre dede reglasreglas yy premisaspremisas
(antecedentes)(antecedentes) verdaderas,verdaderas, aa partirpartir dede loslos cualescuales ssee
construyeconstruye elel gradogrado dede verdadverdad deldel consecuente.consecuente.
2727
EjemplosEjemplos “Todos“Todos laslas madresmadres quierenquieren aa sussus hijos”hijos” SoluciónSolución
EjemplosEjemplos
“Todos“Todos laslas madresmadres quierenquieren aa sussus hijos”hijos”
SoluciónSolución incorrecta:incorrecta:
∀∀xx ∀∀yy mmadre(x,y)adre(x,y) ∧∧ quiere(x,y)quiere(x,y)
RespuestaRespuesta correcta:correcta:
∀∀xx ∀∀yy mmadre(x,y)adre(x,y) →→ quiere(x,y)quiere(x,y)
SiSi sabemossabemos queque MaríaMaría eses lala madremadre dede Juan,Juan, estoesto eses
madre(María,madre(María, Juan),Juan), podemospodemos aplicaraplicar lala sustituciónsustitución
{x/María,{x/María, y/Juan}y/Juan} parapara concluirconcluir quiere(María,quiere(María, Juan)Juan)
2828
EjemplosEjemplos “Todos“Todos loslos padrespadres quierenquieren aa sussus hijos”hijos” ¿Qué¿Qué pasapasa
EjemplosEjemplos
“Todos“Todos loslos padrespadres quierenquieren aa sussus hijos”hijos”
¿Qué¿Qué pasapasa
sisi
enen
elel dominiodominio dede discursodiscurso tenemostenemos
informacióninformación deldel tipotipo padre(GatoFelix,GatoIsidoro)?padre(GatoFelix,GatoIsidoro)?
ConcluiremosConcluiremos quiere(GatoFelixquiere(GatoFelix,,GatoIsidoro)GatoIsidoro),, lolo cualcual nono
tienetiene porpor quéqué serser verdadverdad
Solución:Solución:
UsarUsar unun predicadopredicado esPersona:esPersona:
∀∀xx ∀∀yy (padre(x,y)(padre(x,y) ∧∧ esPersona(x)esPersona(x) →→ qquiere(x,y))uiere(x,y))
2929
EjemplosEjemplos ¿Qué¿Qué representarepresenta lala siguientesiguiente regla?regla? ∀∀xx ∀∀yy
EjemplosEjemplos
¿Qué¿Qué representarepresenta lala siguientesiguiente regla?regla?
∀∀xx ∀∀yy (esPersona(x)(esPersona(x) →→ quiere(x,y))quiere(x,y))
SupongamosSupongamos comocomo hechohecho esPersona(Juan):esPersona(Juan):
Entonces,Entonces, podemospodemos concluirconcluir ∀∀yy (quiere(Juan,y))(quiere(Juan,y))
¡Juan¡Juan quierequiere aa todostodos (y(y aa todotodo objetoobjeto deldel dominio)!dominio)!
EstoEsto es,es, todastodas laslas personaspersonas lolo quierenquieren todotodo ¿?¿?
3030
EjemplosEjemplos ¿Qué¿Qué representaríanrepresentarían laslas siguientesiguiente reglas?reglas? ∀∀xx ∃∃yy
EjemplosEjemplos
¿Qué¿Qué representaríanrepresentarían laslas siguientesiguiente reglas?reglas?
∀∀xx ∃∃yy (esPersona(x)(esPersona(x) →→ quiere(x,y))quiere(x,y))
∀∀xx ∃∃yy (esPersona(x)(esPersona(x) →→ qquiere(x,y)uiere(x,y) ∧∧ esPersona(y))esPersona(y))
∀∀xx ∀∀yy (madre(x,y)(madre(x,y) →→ quiere(y,x))quiere(y,x))
∀∀xx ∀∀yy (esPersona(x)(esPersona(x) ∧∧ tiene(x,y)tiene(x,y) →→ esFeliz(x))esFeliz(x))
3131
EjemplosEjemplos “Una“Una personapersona gobiernagobierna aa todostodos loslos guatemaltecos”guatemaltecos”
EjemplosEjemplos
“Una“Una personapersona gobiernagobierna aa todostodos loslos guatemaltecos”guatemaltecos”
SoluciónSolución incorrecta:incorrecta:
∃∃xx ∀∀yy (esGuatemalteco(y)(esGuatemalteco(y) ∧∧ gobierna(x,y))gobierna(x,y))
RespuestasRespuestas correctas:correctas:
∃∃xx ∀∀yy (esGuatemalteco(y)(esGuatemalteco(y) →→ gobierna(x,y))gobierna(x,y))
∀∀yy (esGuatemalteco(y)(esGuatemalteco(y) →→
ggobierna(PresidenteGuatemala,y))obierna(PresidenteGuatemala,y))
3232
EjemplosEjemplos EsEs fundamentalfundamental pensarpensar enen elel tipotipo dede objetosobjetos queque sese vanvan aa
EjemplosEjemplos
EsEs fundamentalfundamental pensarpensar enen elel tipotipo dede objetosobjetos queque sese
vanvan aa representar,representar, yaya queque estoesto determinarádeterminará elel tipotipo dede
predicadospredicados queque seráserá necesarionecesario definir,definir, p.ej.p.ej.
“Todos“Todos loslos guatemaltecosguatemaltecos tienentienen unun perro”perro”
∀∀xx (esGuatemalteco(x)(esGuatemalteco(x) →→ tienePerro(x))tienePerro(x))
TenemosTenemos variasvarias opciones:opciones:
tienePerro/1tienePerro/1
tieneAnimal/2tieneAnimal/2 ++ esPerro/1esPerro/1
tiene/2tiene/2 ++ esPerro/1esPerro/1
3333
EjemplosEjemplos ParaPara decidirdecidir entreentre unauna representaciónrepresentación uu otra,otra, debemosdebemos
EjemplosEjemplos
ParaPara decidirdecidir entreentre unauna representaciónrepresentación uu otra,otra,
debemosdebemos preguntarnos:preguntarnos:
¿Existirán¿Existirán reglasreglas sobresobre loslos perrosperros enen general?general?
“Todos“Todos loslos perrosperros ladran”ladran” (mejor(mejor usarusar esPerro/1).esPerro/1).
¿Existirán¿Existirán reglasreglas sobresobre lala propiedadpropiedad “tener”“tener” enen
general?general? “Todos“Todos loslos queque tienentienen algoalgo sonson felices”felices”
(mejor(mejor usarusar tener/2)tener/2)
¿Existirán¿Existirán reglasreglas queque atañenatañen sólosólo aa lala propiedadpropiedad enen elel
sentidosentido dede “tenerAnimal”?“tenerAnimal”? (mejor(mejor usarusar tenerAnimal/2tenerAnimal/2)) 3434
EjemplosEjemplos “Todos“Todos loslos queque tienentienen unun animalanimal debendeben vacunarlo”vacunarlo”
EjemplosEjemplos
“Todos“Todos loslos queque tienentienen unun animalanimal debendeben vacunarlo”vacunarlo”
UsandoUsando tieneAnimal/2:tieneAnimal/2:
∀∀xx ∀∀yy (tieneAnimal(x,y)(tieneAnimal(x,y) →→ ddebeVacunar(x,y))ebeVacunar(x,y))
UsandoUsando tiene/2:tiene/2:
∀∀xx ∀∀yy (tiene(x,y)(tiene(x,y) ∧∧ esPerro(y)esPerro(y) →→ ddebeVacunar(x,y))ebeVacunar(x,y))
∀∀xx ∀∀yy (tiene(x,y)(tiene(x,y) ∧∧ esGato(y)esGato(y) →→ ddebeVacunar(x,y))ebeVacunar(x,y))
……
3535
EjemplosEjemplos AlternativaAlternativa AA LosLos animalesanimales nono sonson objetosobjetos deldel dominiodominio
EjemplosEjemplos
AlternativaAlternativa AA
LosLos animalesanimales nono sonson objetosobjetos deldel dominiodominio
tieneAnimal(Pedro)tieneAnimal(Pedro)
tieneAnimal(Heidi)tieneAnimal(Heidi)
∀∀xx (tieneAnimal(x)(tieneAnimal(x) →→ ddebeDesparasitarASuAnimal(x))ebeDesparasitarASuAnimal(x))
LosLos animalesanimales nono sonson objetoobjeto deldel dominio,dominio,
porpor lolo queque nono podríamospodríamos especificarespecificar lala reglaregla
“todos“todos loslos guatemaltecosguatemaltecos tienentienen unun perro”perro”
indicandoindicando cuálcuál eses elel perroperro queque tienetiene cadacada uno.uno.
3636
EjemplosEjemplos AlternativaAlternativa BB AunAun nono siendosiendo objetosobjetos deldel dominio,dominio,
EjemplosEjemplos
AlternativaAlternativa BB
AunAun nono siendosiendo objetosobjetos deldel dominio,dominio, distinguimosdistinguimos tiptiposos
tieneGato(Pedro)tieneGato(Pedro)
tienePerro(Heidi)tienePerro(Heidi)
∀∀xx (tienePerro(x)(tienePerro(x) →→ debeVacunarRabia(x))debeVacunarRabia(x))
∀∀xx (esGuatemalteco(x)(esGuatemalteco(x) →→ tienePerro(x))tienePerro(x))
3737
EjemplosEjemplos ParaPara desparasitardesparasitar alal conjuntoconjunto dede loslos animales:animales:
EjemplosEjemplos
ParaPara desparasitardesparasitar alal conjuntoconjunto dede loslos animales:animales:
IncluimosIncluimos unauna reglaregla parapara cadacada tipotipo dede animal:animal:
∀∀xx (tienePerro(x)(tienePerro(x) →→ ddebeDesparasitarASuAnimal(x))ebeDesparasitarASuAnimal(x))
∀∀xx (tieneGato(x)(tieneGato(x) →→ ddebeDesparasitarASuAnimal(x))ebeDesparasitarASuAnimal(x))
O,O, muchomucho mejor,mejor, usamosusamos unauna únicaúnica regla:regla:
∀∀xx (tieneAnimal(x)(tieneAnimal(x) →→ ddebeDesparasitarASuAnimal(x))ebeDesparasitarASuAnimal(x))
EE introducimosintroducimos reglasreglas queque relacionenrelacionen tienePerro/1tienePerro/1 yy
tieneGato/1tieneGato/1 concon tieneAnimal/1:tieneAnimal/1:
∀∀xx (tienePerro(tienePerro (x)(x) →→ tieneAnimal(x)tieneAnimal(x)))
∀∀xx (tieneGato(tieneGato (x)(x) →→ tieneAnimaltieneAnimal (x))(x))
3838
EjemplosEjemplos AlternativaAlternativa CC LosLos animalesanimales sonson objetosobjetos deldel dominio,dominio, sinsin
EjemplosEjemplos
AlternativaAlternativa CC
LosLos animalesanimales sonson objetosobjetos deldel dominio,dominio, sinsin distinguidistinguirr tipostipos
tieneAnimal(Pedro,ElGatoDePedro)tieneAnimal(Pedro,ElGatoDePedro)
tieneAnimal(Heidi,Niebla)tieneAnimal(Heidi,Niebla)
∀∀xx ∀∀yy (tieneAnimal(x,y)(tieneAnimal(x,y) →→ ddebeVacunar(x,y))ebeVacunar(x,y))
3939
EjemplosEjemplos AlternativaAlternativa DD LosLos animalesanimales sonson objetosobjetos deldel dominio,dominio,
EjemplosEjemplos
AlternativaAlternativa DD
LosLos animalesanimales sonson objetosobjetos deldel dominio,dominio, distinguiendodistinguiendo tipostipos
tieneAnimal(Heidi,Niebla)tieneAnimal(Heidi,Niebla)
esPerro(Niebla)esPerro(Niebla)
esGato(Misifú)esGato(Misifú)
∀∀xx ∀∀yy (tieneAnimal(x,y)(tieneAnimal(x,y) →→ ddebeVacunar(x,y))ebeVacunar(x,y))
∀∀xx (esPerro(x)(esPerro(x) →→ ladra(x))ladra(x))
4040
EjemplosEjemplos “Cada“Cada dueñodueño debedebe vacunarvacunar dede lala rabiarabia aa su(s)su(s)
EjemplosEjemplos
“Cada“Cada dueñodueño debedebe vacunarvacunar dede lala rabiarabia aa su(s)su(s) perro(perro(s)”s)”
UsandoUsando debeVacunarRabia/2:debeVacunarRabia/2:
∀∀xx ∀∀yy tieneAnimal(x,y)tieneAnimal(x,y) ∧∧ esPerro(y)esPerro(y)
→→ debeVacunarRabia(x,y)debeVacunarRabia(x,y)
UsandoUsando debeVacunarRabiaASusPerros/1:debeVacunarRabiaASusPerros/1:
∀∀xx ∀∀yy tieneAnimal(x,y)tieneAnimal(x,y) ∧∧ esPerro(y)esPerro(y)
→→ ddebeVacunarRabiaASusPerros(x)ebeVacunarRabiaASusPerros(x)
4141
RazonamientoRazonamiento lógicológico EnEn vezvez dede partirpartir dede unauna interpretacióninterpretación (en(en
RazonamientoRazonamiento lógicológico
EnEn vezvez dede partirpartir dede unauna interpretacióninterpretación
(en(en lala queque sólosólo existenexisten hechos:hechos: P,P, Q…)Q…)
yy derivarderivar consecuenciasconsecuencias lógicaslógicas dede ellosellos (P(P→→Q),Q),
enen InteligenciaInteligencia Artificial:Artificial:
SeSe parteparte dede unun conjuntoconjunto dede hechoshechos yy reglasreglas (P,(P, PP→→Q)Q)
yy sese obtienenobtienen nuevasnuevas conclusionesconclusiones (Q)(Q)
queque seansean consistentesconsistentes concon lolo queque sese teníatenía
((razonamientorazonamiento deductivodeductivo).).
4242
MecanismosMecanismos dede inferenciainferencia ModusModus ponensponens PP PP →→ QQ QQ sisi PP yy PP
MecanismosMecanismos dede inferenciainferencia
ModusModus ponensponens
PP
PP →→ QQ
QQ
sisi PP
yy PP implicaimplica QQ
entoncesentonces QQ
EsEs decir,decir, sisi B.C.B.C. == {P,{P, PP→→Q},Q}, aplicandoaplicando M.P.M.P. podemospodemos
asegurarasegurar queque QQ eses verdad,verdad, independientementeindependientemente dede lala
interpretación,interpretación, porpor lolo queque obtendríamosobtendríamos unauna nuevanueva
basebase dede conocimiento:conocimiento:
B.C.B.C. == {P,{P, PP→→Q,Q, Q}Q} ≡≡ {P{P ∧∧ ((PP→→Q)Q) ∧∧ Q}Q}
4343
MecanismosMecanismos dede inferenciainferencia ModusModus ponensponens enen LógicaLógica dede PredicadosPredicados
MecanismosMecanismos dede inferenciainferencia
ModusModus ponensponens enen LógicaLógica dede PredicadosPredicados
EnEn LógicaLógica dede PredicadosPredicados
necesitamosnecesitamos igualarigualar elel antecedenteantecedente concon elel hecho:hecho:
P(a)P(a)
∀∀xx ((P(x)P(x) →→ Q(x))Q(x))
Q(a)Q(a)
EstoEsto sese consigueconsigue unificandounificando loslos átomosátomos P(x)P(x) yy P(a)P(a)
mediantemediante lala sustituciónsustitución uu == {{ x/ax/a }}
4444
MecanismosMecanismos dede inferenciainferencia UnificaciónUnificación LaLa aplicaciónaplicación dede unauna
MecanismosMecanismos dede inferenciainferencia
UnificaciónUnificación
LaLa aplicaciónaplicación dede unauna sustituciónsustitución uu aa unauna f.f.bb
lolo notaremosnotaremos porpor FFuu
ff
F,F,
P(x)P(x)uu == P(a)P(a)
Q(x)Q(x)uu == Q(a)Q(a)
(P(x)(P(x)→→Q(x))Q(x))uu == (P(a)(P(a)→→Q(a))Q(a))
DeDe estaesta forma,forma, loslos átomosátomos P(x)P(x) yy P(a)P(a) sese unificanunifican
aplicándolesaplicándoles lala sustituciónsustitución uu == {{ x/ax/a }:}:
P(x)P(x)uu == P(a)P(a)uu == P(a)P(a)
LaLa sustituciónsustitución uu sese denominadenomina unificadorunificador
4545
MecanismosMecanismos dede inferenciainferencia UnificaciónUnificación ParaPara igualarigualar dosdos f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
UnificaciónUnificación
ParaPara igualarigualar dosdos f.b.f.f.b.f. podríanpodrían usarseusarse variasvarias posibposiblesles
sustituciones.sustituciones.
p.ej.p.ej. P(x)P(x) yy P(y)P(y) podríanpodrían unificarseunificarse concon lala sustitusustituciónción
uu == {x/a{x/a ,, y/a}y/a}
oo tambiéntambién concon lala sustituciónsustitución
uu == {x/y}{x/y}
LoLo lógicológico seríasería aplicaraplicar lala segundasegunda sustitución,sustitución, queque eses lala
menosmenos restrictivarestrictiva (unificador(unificador dede máximamáxima generalidadgeneralidad).). 4646
MecanismosMecanismos dede inferenciainferencia ModusModus ponensponens enen LógicaLógica dede PredicadosPredicados
MecanismosMecanismos dede inferenciainferencia
ModusModus ponensponens enen LógicaLógica dede PredicadosPredicados
¿Es¿Es siempresiempre correctacorrecta lala reglaregla dede inferenciainferencia deldel modusmodus
ponensponens enen LógicaLógica dede Predicados,Predicados, independientementeindependientemente
dede lala interpretacióninterpretación considerada?considerada? SÍSÍ
PorPor esoeso decimosdecimos queque elel modusmodus ponensponens eses unauna reglaregla dede
inferenciainferencia válidaválida
UnaUna reglaregla dede inferenciainferencia nono válidaválida sería:sería: SiSi P(a)P(a) yy
((∃∃x)P(x),x)P(x), entoncesentonces ((∀∀x)P(x),x)P(x), aunqueaunque enen algunaalguna
interpretacióninterpretación sísí podríapodría serser correcta.correcta. PorPor ejemplo,ejemplo,
sisi elel dominiodominio dede PP eses {a}.{a}.
4747
MecanismosMecanismos dede inferenciainferencia ModusModus tollenstollens ¬¬QQ PP →→ QQ ¬¬PP sisi nono QQ yy
MecanismosMecanismos dede inferenciainferencia
ModusModus tollenstollens
¬¬QQ
PP →→ QQ
¬¬PP
sisi nono QQ
yy PP implicaimplica QQ
entoncesentonces nono PP
eses unauna reglaregla dede inferenciainferencia válidaválida porqueporque PP siempresiempre
seráserá falso,falso, independientementeindependientemente dede lolo queque representerepresente,,
cuandocuando sese nono sese cumplacumpla QQ yy sese verifiqueverifique PP→→Q.Q.
4848
MecanismosMecanismos dede inferenciainferencia ResoluciónResolución PP ∨∨ QQ ¬¬ PP ∨∨ RR QQ ∨∨ RR
MecanismosMecanismos dede inferenciainferencia
ResoluciónResolución
PP ∨∨ QQ
¬¬ PP ∨∨ RR
QQ ∨∨ RR
TambiénTambién eses unauna reglaregla dede inferenciainferencia válida,válida, queque
ademásademás abarcaabarca MPMP yy MTMT comocomo casoscasos particulares.particulares.
4949
MecanismosMecanismos dede inferenciainferencia FormaForma normalnormal clausalclausal ParaPara poderpoder
MecanismosMecanismos dede inferenciainferencia
FormaForma normalnormal clausalclausal
ParaPara poderpoder realizarrealizar inferenciasinferencias usandousando resoluciónresolución eess
necesarionecesario queque laslas f.b.f.f.b.f. venganvengan enen unun formatoformato
adecuado:adecuado: lala formaforma normalnormal clausalclausal (prenexa).(prenexa).
Básicamente,Básicamente, unauna basebase dede conocimientoconocimiento estáestá
expresadaexpresada enen formaforma normalnormal clausalclausal cuandocuando sese expresaexpresa
comocomo unauna conjunciónconjunción dede cláusulas,cláusulas, sinsin cuantificadorcuantificadoreses
existencialesexistenciales yy concon todostodos loslos cuantificadorescuantificadores
universalesuniversales estánestán aa lala izquierdaizquierda dede cadacada cláusulacláusula ddee
formaforma queque laslas negacionesnegaciones afectenafecten únicamenteúnicamente aa loslos
términos.términos.
5050
MecanismosMecanismos dede inferenciainferencia FormaForma normalnormal clausalclausal ExisteExiste unun
MecanismosMecanismos dede inferenciainferencia
FormaForma normalnormal clausalclausal
ExisteExiste unun algoritmoalgoritmo parapara transformartransformar cualquiercualquier conjconjuntounto
dede f.b.f.f.b.f. enen formaforma normalnormal clausal.clausal.
EEJEMPLOJEMPLO
quiere(Juan,Maria)quiere(Juan,Maria) ∨∨
(quiere(Juan,Elena)(quiere(Juan,Elena) ∧∧ ¬¬quiere(Juan,Pedro))quiere(Juan,Pedro))
sese transformaríatransformaría en:en:
(quiere(Juan,Maria)(quiere(Juan,Maria) ∨∨ quiere(Juan,Elena))quiere(Juan,Elena))
∧∧
(quiere(Juan,Maria)(quiere(Juan,Maria) ∨∨ ¬¬quiere(Juan,Pedro))quiere(Juan,Pedro))
5151
MecanismosMecanismos dede inferenciainferencia FormaForma normalnormal clausalclausal Base de conocimiento (f.b.f.) BC
MecanismosMecanismos dede inferenciainferencia
FormaForma normalnormal clausalclausal
Base de conocimiento (f.b.f.)
BC = {FBF 1 , FBF 2 … FBF n }
Transformación f.b.f.→f.n.c.
Base de conocimiento (f.n.c.)
BC = {FN 1 , FN 2
FN n }
Resolución
Base de conocimiento (f.n.c.)
BC = {FN 1 , FN 2 … FN n , FN n+1 …}
5252
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
ConstantesConstantes dede SkolemSkolem
∃∃xx P(x)P(x) nosnos indicaindica queque existeexiste unun elementoelemento deldel dominiodominio
dede discursodiscurso parapara elel queque sese cumplecumple elel predicadopredicado PP
DichoDicho elementoelemento nono tienetiene porpor quéqué serser conocido,conocido, peropero alal
menosmenos existeexiste uno.uno. LoLo llamamosllamamos SK,SK, porpor ejemplo,ejemplo,
dondedonde SKSK eses unauna constanteconstante dede Skolem.Skolem.
p.ej.p.ej.
sustituiremossustituiremos ∃∃xx P(x)P(x) porpor P(SK)P(SK)
yy ∃∃xx Q(x)Q(x) porpor Q(SKQ(SK 22 ))
5353
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
ConstantesConstantes dede SkolemSkolem
EEJEMPLOJEMPLO:: ExistenExisten personaspersonas queque quierenquieren aa sussus padrespadres
∃∃xx quiere(x,padre(x))quiere(x,padre(x))
∃∃xx ∃∃yy (padre(x,y)(padre(x,y) ∧∧ qquiere(y,x))uiere(y,x))
PodemosPodemos dardar unun nombrenombre aa esa(s)esa(s) persona(s)persona(s) queque
sabemossabemos queque existe(n)existe(n) peropero nono sabemossabemos susu nombre:nombre:
quiere(SKquiere(SK alguienalguien ,, padre(SKpadre(SK alguienalguien ))))
ppadre(SKadre(SK padrepadre ,, SKSK hijohijo )) ∧∧ quiere(SKquiere(SK hijohijo ,SK,SK padrepadre ))
5454
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
ConstantesConstantes dede SkolemSkolem
EEJEMPLOJEMPLO:: ““TodosTodos loslos queque quierenquieren sonson felices”felices”
PodemosPodemos aplicaraplicar lala reglaregla aa laslas constantesconstantes dede SkolemSkolem
deldel ejemploejemplo anterior:anterior:
Regla:Regla: ∀∀pp ∀∀cc (quiere(p,c)(quiere(p,c) →→ esFeliz(p))esFeliz(p))
Hecho:Hecho: quiere(SKquiere(SK hijohijo ,, SKSK padrepadre ))
Conclusión:Conclusión: esFeliz(SKesFeliz(SK hijohijo ))
5555
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
ConstantesConstantes dede SkolemSkolem
EEJEMPLOJEMPLO ABSURDOABSURDO:: ∃∃xx ∃∃yy (padre(x,y)(padre(x,y) →→ quiere(y,x))quiere(y,x))
ExistenExisten alal menosmenos dosdos valoresvalores parapara loslos queque sese cumplecumple
lala regla,regla, llamémoslosllamémoslos SKSK padrepadre yy SKSK hijohijo ::
padre(SKpadre(SK padrepadre ,, SKSK hijohijo )) →→ quiere(SKquiere(SK hijohijo ,, SKSK padrepadre ))
ExistenExisten dosdos personaspersonas desconocidasdesconocidas parapara laslas que,que, sisi lala
primeraprimera eses padrepadre dede lala segunda,segunda, entoncesentonces lala segundasegunda
lala querría.querría. NoNo tienetiene muchomucho sentido.sentido.
Conclusión:Conclusión: NoNo seráserá usualusual encontrarencontrar reglasreglas
afectadasafectadas únicamenteúnicamente concon cuantificacióncuantificación existencialexistencial
5656
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
FuncionesFunciones dede SkolemSkolem
¿Se¿Se sustituyesustituye ∀∀xx ∃∃yy P(x,y)P(x,y) porpor ∀∀xx P(x,SK)?P(x,SK)?
¡NO!¡NO! CadaCada xx tienetiene asociadoasociado unun yy distinto.distinto.
EEJEMPLOJEMPLO:: “Cualquier“Cualquier personapersona tienetiene unun padre”padre”
∀∀xx ∃∃yy padre(y,x)padre(y,x)
∀∀xx padrepadre (desconocido,(desconocido, x)x)
MALMAL
LoLo correctocorrecto eses usarusar ∀∀xx P(SK(x),x),P(SK(x),x), dondedonde SKSK eses unauna
funciónfunción dede Skolem:Skolem: ∀∀xx padre(elPadreDe(x),x).padre(elPadreDe(x),x).
5757
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
FuncionesFunciones dede SkolemSkolem
SiSi unauna variablevariable cuantificadacuantificada existencialmente,existencialmente, y,y,
estáestá dentrodentro deldel ámbitoámbito dede variasvarias variablesvariables
cuantificadascuantificadas universalmenteuniversalmente xx 11
xx nn ,,
sese sustituirásustituirá yy porpor unauna funciónfunción f(xf(x 11 ,
,x,
,x
nn ))
NNOTAOTA:: SiSi enen nuestronuestro dominiodominio representamosrepresentamos otrosotros
tipostipos dede objetos,objetos, usaríamosusaríamos unauna reglaregla deldel tipo:tipo:
∀∀xx esPersona(x)esPersona(x) →→ padre(elPadreDe(x),x)padre(elPadreDe(x),x)
5858
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
ConstantesConstantes yy funcionesfunciones dede SkolemSkolem
EEJEMPLOSJEMPLOS
TodosTodos loslos padrespadres quierenquieren aa todostodos sussus hijos:hijos:
∀∀xx ∀∀yy (padre(x,y)(padre(x,y) →→ quiere(x,y))quiere(x,y))
ExistenExisten padrespadres queque quierenquieren aa todostodos sussus hijos:hijos:
∃∃xx ∀∀yy (padre(x,y)(padre(x,y) →→ quiere(x,y))quiere(x,y))
∀∀yy (padre(SK,y)(padre(SK,y) →→ quiere(x,y))quiere(x,y))
CadaCada padrepadre quierequiere aa algunoalguno dede sussus hijos:hijos:
∀∀xx ∃∃yy (padre(x,y)(padre(x,y) →→ quiere(x,y))quiere(x,y))
∀∀xx (padre(x,(padre(x, elHijoAmadoDe(x))elHijoAmadoDe(x))
→→ quiere(x,quiere(x, elHijoAmadoDe(x)))elHijoAmadoDe(x)))
5959
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
1.1. EliminarEliminar elel conectivoconectivo →→ usandousando lala equivalenciaequivalencia
AA →→ BB ≡≡¬¬AA ∨∨ BB
2.2. AplicarAplicar lala negaciónnegación sólosólo sobresobre loslos átomos.átomos. ParaPara ellello,o,
usamosusamos laslas reglasreglas siguientes:siguientes:
¬¬¬¬FF ≡≡ FF
¬¬(F(F∨∨G)G) ≡≡ ¬¬FF ∧∧ ¬¬GG
¬¬(F(F∧∧G)G) ≡≡ ¬¬FF ∨∨ ¬¬GG
¬¬((((∀∀x)x) F[x])F[x]) ≡≡ ((∃∃x)x) ((¬¬F[x])F[x])
¬¬((((∃∃x)x) F[x])F[x]) ≡≡ ((∀∀x)x) ((¬¬F[x])F[x])
6060
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
3.3. NormalizarNormalizar variablesvariables (cambiar(cambiar elel nombrenombre dede aquellasaquellas
variablesvariables queque esténestén enen ámbitosámbitos distintos):distintos):
∀∀xx P(P(xx)) ∨∨ ∀∀xx Q(Q(xx)) ≡≡ ∀∀xx P(P(xx)) ∨∨ ∀∀zz Q(Q(zz))
∀∀xx (P(x)(P(x) ∨∨ Q(x))Q(x)) permanecepermanece igualigual
∀∀xx P(x)P(x) ∧∧ ∀∀xx Q(x)Q(x) ≡≡ ∀∀xx P(x)P(x) ∧∧ ∀∀zz Q(z)Q(z)
∀∀xx (P(x)(P(x) ∧∧ Q(x))Q(x)) permanecepermanece igualigual
∃∃xx P(x)P(x) ∨∨ ∃∃xx Q(x)Q(x) ≡≡ ∃∃xx P(x)P(x) ∨∨ ∃∃zz Q(z)Q(z)
∃∃xx (P(x)(P(x) ∨∨ Q(x))Q(x)) permanecepermanece igualigual
∃∃xx P(x)P(x) ∧∧ ∃∃xx Q(x)Q(x) ≡≡ ∃∃xx P(x)P(x) ∧∧ ∃∃zz Q(z)Q(z)
∃∃xx (P(x)(P(x) ∧∧ Q(x))Q(x)) permanecepermanece igualigual
6161
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
4.4. EliminarEliminar lala cuantificacióncuantificación existencial,existencial, usandousando
constantesconstantes yy funcionesfunciones dede Skolem,Skolem, p.ej.p.ej.
∀∀xx ∃∃yy PP(x,y)(x,y) ≡≡ ∀∀xx PP(x,(x,ff SK6SK6 (x))(x))
∃∃zz Q(z)Q(z) ≡≡ Q(cQ(c SK7SK7 ))
5.5. MoverMover loslos cuantificadorescuantificadores (universales)(universales) aa lala izquieizquierda:rda:
∀∀xx (P(x)(P(x) ∨∨ ((∀∀z)z) Q(x,z))Q(x,z)) ≡≡ ∀∀xx ∀∀zz (P(x)(P(x) ∨∨ Q(x,z))Q(x,z))
6262
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
6.6. SuprimirSuprimir elel prefijoprefijo dede lala cuantificación,cuantificación, p.ej.p.ej.
∀∀xx ∀∀zz (P(x)(P(x) ∨∨ Q(x,z))Q(x,z)) sese transformatransforma enen P(x)P(x) ∨∨ Q(x,z)Q(x,z)
yy sese entiendeentiende queque lala cuantificacióncuantificación eses universal.universal.
7.7. ConvertirConvertir lala f.b.f.f.b.f. enen conjunciónconjunción dede disyunciones,disyunciones,
utilizandoutilizando lala propiedadpropiedad distributivadistributiva
(F(F∧∧G)G) ∨∨ HH ≡≡ (F(F∨∨H)H) ∧∧ (G(G∨∨H)H)
yy eliminandoeliminando paréntesisparéntesis dede loslos términostérminos disyuntivosdisyuntivos
(F(F∨∨G)G)∨∨HH ≡≡ FF∨∨GG∨∨HH
6363
MecanismosMecanismos dede inferenciainferencia AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f.
MecanismosMecanismos dede inferenciainferencia
AlgoritmoAlgoritmo dede transformacióntransformación f.b.f.f.b.f. →→→→→→→→ f.n.c.f.n.c.
8.8. EliminarEliminar loslos símbolossímbolos ∧∧ parapara formarformar unun conjuntoconjunto dede
cláusulas:cláusulas: (( FF ∧∧ GG ∧∧ HH )) ≡≡ {F{F ,, GG ,, H}.H}.
9.9. VolverVolver aa normalizarnormalizar (cambiar(cambiar dede nombre)nombre) laslas
variables,variables, dede formaforma queque nono aparezcaaparezca lala mismamisma
variablevariable enen dosdos cláusulascláusulas distintas.distintas.
∀∀xx (P(x)(P(x)∧∧Q(x))Q(x)) ≡≡ ∀∀xx P(x)P(x) ∧∧ ∀∀xx Q(x)Q(x)
≡≡ ∀∀xx P(x)P(x) ∧∧ ∀∀zz Q(z),Q(z), porpor lolo queque podemospodemos
justificarjustificar elel cambiocambio dede nombrenombre dede laslas variablesvariables
dede laslas cláusulascláusulas {P(x),{P(x), Q(x)}Q(x)} aa {P(x),Q(z)}.{P(x),Q(z)}.
6464
DemostraciónDemostración porpor refutaciónrefutación HastaHasta ahoraahora hemoshemos deducido.deducido.
DemostraciónDemostración porpor refutaciónrefutación
HastaHasta ahoraahora hemoshemos deducido.deducido.
Ahora,Ahora, queremosqueremos demostrar.demostrar.
BaseBase dede Conocimiento:Conocimiento:
B.C.B.C. == {F1,{F1,
Objetivo:Objetivo:
, ,
Fn}Fn} ≡≡ {F1{F1 ∧∧
∧∧ Fn}Fn}
{G}{G}
MétodoMétodo (demostración(demostración porpor refutación):refutación):
DemostrarDemostrar queque B.C.B.C. ∪∪ {{¬¬G}G} == {F1{F1 ∧∧
∧∧ FnFn ∧∧ ¬¬G}G}
eses inconsistente;inconsistente; eses decir,decir, queque nono hayhay ningunaninguna
interpretacióninterpretación enen lala queque todastodas laslas f.b.f.f.b.f. sese cumplacumplan.n.
6565
DemostraciónDemostración porpor refutaciónrefutación SiSi podemospodemos demostrardemostrar queque {F1{F1 ∧∧
DemostraciónDemostración porpor refutaciónrefutación
SiSi podemospodemos demostrardemostrar queque {F1{F1 ∧∧
∧∧ FnFn ∧∧ ¬¬G}G}
eses falsofalso yy partimospartimos dede lala hipótesishipótesis dede queque lala B.C.B.C. eses
verdadera,verdadera, lala únicaúnica conclusiónconclusión posibleposible eses queque ¬¬GG seasea
falsofalso o,o, lolo queque eses lolo mismo,mismo, queque GG eses verdadero.verdadero.
NNOTAOTA:: B.C.B.C. ∪∪ {{¬¬G}G} representarepresenta uniónunión dede conjuntos;conjuntos;
eses decir,decir, {A}{A} ∪∪ {B}{B} eses {A,{A, B},B}, queque correspondecorresponde
realmenterealmente aa lala cláusulacláusula AA∧∧B.B.
6666
DemostraciónDemostración porpor refutaciónrefutación RefutaciónRefutación porpor resoluciónresolución B.C.B.C.
DemostraciónDemostración porpor refutaciónrefutación
RefutaciónRefutación porpor resoluciónresolución
B.C.B.C. == {P{P ,, ¬¬PP∨∨Q}Q} ≡≡ {P{P ∧∧ ((¬¬PP∨∨Q)}Q)}
ObjetivoObjetivo QQ
DemostramosDemostramos queque {P{P∧∧((¬¬PP∨∨Q)Q)∧∧ ¬¬Q}Q} eses inconsistente:inconsistente:
AA partirpartir dede PP yy ¬¬PP∨∨QQ obtenemosobtenemos QQ porpor resolución.resolución.
AA partirpartir dede QQ yy ¬¬QQ obtenemosobtenemos  porpor resolución,resolución, dondedonde
 representarepresenta lala cláusulacláusula vacía,vacía, queque indicaindica queque existeexiste
unauna contradicción.contradicción.
HemosHemos demostradodemostrado queque B.C.B.C. ∪∪ {{¬¬Q}Q} eses inconsistente,inconsistente,
luegoluego podemospodemos asegurarasegurar queque QQ eses unauna consecuenciaconsecuencia
lógicalógica dede lala basebase dede conocimientoconocimiento B.C.B.C.
6767
DemostraciónDemostración porpor refutaciónrefutación RefutaciónRefutación porpor resoluciónresolución LaLa
DemostraciónDemostración porpor refutaciónrefutación
RefutaciónRefutación porpor resoluciónresolución
LaLa ideaidea eses que,que, concon resolución,resolución,
podemospodemos demostrarlodemostrarlo todo.todo.
PeroPero,, ¿qué¿qué eses demostrarlodemostrarlo todo?todo?
SupongamosSupongamos queque B.C.={P(A)}.B.C.={P(A)}. PorPor sísí sola,sola, lala
resoluciónresolución nono puedepuede generargenerar lala cláusulacláusula P(A)P(A)∨¬∨¬P(A)P(A) y,y,
sinsin embargo,embargo, éstaésta eses ciertacierta enen cualquiercualquier interpretainterpretaciónción
(es(es unauna tautología).tautología). PorPor tanto,tanto, lala resoluciónresolución nono vava aa
generargenerar todotodo aquelloaquello queque seasea demostrable.demostrable.
6868
DemostraciónDemostración porpor refutaciónrefutación RefutaciónRefutación porpor resoluciónresolución PeroPero
DemostraciónDemostración porpor refutaciónrefutación
RefutaciónRefutación porpor resoluciónresolución
PeroPero sisi decimosdecimos explícitamenteexplícitamente queque queremosqueremos
demostrardemostrar unauna f.b.f.f.b.f. concreta,concreta, porpor ejemploejemplo
P(A)P(A)∨¬∨¬P(A),P(A), entoncesentonces podemospodemos utilizarutilizar refutaciónrefutación porpor
resoluciónresolución yy demostrardemostrar queque B.C.B.C. ∪∪ {{¬¬((P(A)P(A)∨¬∨¬P(A)}P(A)}
eses inconsistente.inconsistente.
LaLa resoluciónresolución eses completacompleta parapara refutación;refutación; eses decirdecir,, sisi
especificamosespecificamos unauna f.b.f.f.b.f. concreta,concreta, F,F, yy éstaésta eses unauna
consecuenciaconsecuencia lógicalógica dede unun conjuntoconjunto dede f.b.f.,f.b.f., entonentoncesces
lala resoluciónresolución nosnos dirádirá queque B.C.B.C.∪∪{{¬¬F}F} eses inconsistente:inconsistente:
¡no¡no necesitamosnecesitamos ningúnningún otrootro mecanismomecanismo dede
inferencia!inferencia!
6969
DemostraciónDemostración porpor refutaciónrefutación RefutaciónRefutación porpor resoluciónresolución NosNos
DemostraciónDemostración porpor refutaciónrefutación
RefutaciónRefutación porpor resoluciónresolución
NosNos quedaqueda unun tematema porpor tratar:tratar:
¿cómo¿cómo dede rápidorápido puedepuede conseguirseconseguirse lolo anterioranterior
mediantemediante unun programaprograma dede ordenador?ordenador?
PuedenPueden construirseconstruirse motoresmotores dede inferenciainferencia queque usenusen
resoluciónresolución utilizandoutilizando distintasdistintas estrategias,estrategias,
peropero todostodos ellosellos tienentienen forzosamenteforzosamente unun tiempotiempo dede
ejecuciónejecución exponencialexponencial enen elel peorpeor caso.caso.
7070
DemostraciónDemostración porpor refutaciónrefutación RefutaciónRefutación porpor resoluciónresolución
DemostraciónDemostración porpor refutaciónrefutación
RefutaciónRefutación porpor resoluciónresolución
SupongamosSupongamos queque queremosqueremos demostrardemostrar queque FF SÍSÍ eses
unauna consecuenciaconsecuencia lógicalógica dede lala basebase dede conocimiento:conocimiento:
SabemosSabemos queque lala resoluciónresolución seráserá teóricamenteteóricamente capazcapaz ddee
demostrarlodemostrarlo (aunque(aunque nono sepamossepamos cuántocuánto tardará).tardará).
SupongamosSupongamos queque queremosqueremos demostrardemostrar queque FF NONO eses
unauna consecuenciaconsecuencia lógicalógica dede lala basebase dede conocimiento:conocimiento:
ExistenExisten algunasalgunas fórmulasfórmulas FF parapara laslas cualescuales nono hayhay
ningúnningún mecanismomecanismo dede inferenciainferencia (incluida(incluida lala
resolución)resolución) queque concluyaconcluya queque FF nono eses demostrable.demostrable.
7171
DemostraciónDemostración porpor refutaciónrefutación RefutaciónRefutación porpor resoluciónresolución LaLa
DemostraciónDemostración porpor refutaciónrefutación
RefutaciónRefutación porpor resoluciónresolución
LaLa LógicaLógica dede PredicadosPredicados eses semidecidible:semidecidible:
ElEl programaprograma estarestarííaa ejecutándoseejecutándose indefinidamenteindefinidamente sisinn
pararparar yy nono sabemossabemos sisi eses porqueporque aúnaún nono hemoshemos
esperadoesperado lolo suficientesuficiente parapara encontrarencontrar lala demostracidemostraciónón
(siendo(siendo éstaésta posible)posible) oo porqueporque nuncanunca nosnos darádará unun
resultadoresultado (esto(esto es,es, porqueporque nono eses demostrable).demostrable).
SóloSólo sabemossabemos que,que, cuandocuando pare,pare,
eses porqueporque haha encontradoencontrado unauna demostración.demostración.
7272
DemostraciónDemostración porpor refutaciónrefutación RefutaciónRefutación porpor resoluciónresolución
DemostraciónDemostración porpor refutaciónrefutación
RefutaciónRefutación porpor resoluciónresolución
CCONSIDERACIONESONSIDERACIONES FINALESFINALES
ModusModus PonensPonens eses completocompleto porpor refutaciónrefutación parapara basesbases
queque sólosólo tengantengan cláusulascláusulas dede HornHorn
LaLa LógicaLógica dede PredicadosPredicados sísí eses decidibledecidible parapara cláusucláusulaslas
dede HornHorn (las(las usadasusadas enen PROLOG).PROLOG). EstoEsto quierequiere decirdecir
que,que, aplicandoaplicando unun mecanismomecanismo dede inferenciainferencia completo,completo,
siempresiempre podremospodremos decirdecir sisi unauna f.b.f.f.b.f. eses unauna
consecuenciaconsecuencia lógicalógica oo nono dede lala basebase dede conocimientoconocimiento
EnEn cualquiercualquier caso,caso, elel tiempotiempo requeridorequerido puedepuede serser
excesivoexcesivo [Ginsberg,[Ginsberg, capítulocapítulo 8]8]
7373
MotoresMotores dede inferenciainferencia SupongamosSupongamos lala siguientesiguiente basebase dede
MotoresMotores dede inferenciainferencia
SupongamosSupongamos lala siguientesiguiente basebase dede conocimiento:conocimiento:
BCBC == {A{A∨∨BB ,, ¬¬AA∨∨CC ,, PP ,, PP→→Q}Q}
PodrPodrííamosamos aplicaraplicar distintosdistintos mecanismosmecanismos dede inferenciinferenciaa
deductivos,deductivos, comocomo porpor ejemplo:ejemplo:
{A{A∨∨BB ,, ¬¬AA∨∨CC ,, PP ,, PP→→Q}Q}
⇓⇓⇓⇓⇓⇓⇓⇓ resoluciónresolución
{A{A∨∨BB ,, ¬¬AA∨∨CC ,, PP ,, PP→→Q,Q, BB∨∨∨∨∨∨∨∨CC}}
⇓⇓⇓⇓⇓⇓⇓⇓ modusmodus ponensponens
{A{A∨∨BB ,, ¬¬AA∨∨CC ,, PP ,, PP→→QQ ,, BB∨∨C,C, QQ}}
7474
MotoresMotores dede inferenciainferencia EnEn elel ejemploejemplo empleamosempleamos razonamientorazonamiento
MotoresMotores dede inferenciainferencia
EnEn elel ejemploejemplo empleamosempleamos razonamientorazonamiento monótonomonótono
(problema(problema ignorable),ignorable), porpor lolo queque bastaríabastaría usarusar unauna
estrategiaestrategia dede controlcontrol irrevocable.irrevocable.
ElEl motormotor dede inferenciainferencia podría,podría, porpor ejemplo,ejemplo, intentaintentarr
aplicaraplicar primeroprimero ModusModus PonensPonens antesantes dede ModusModus TollensTollens
(en(en elel casocaso dede queque nono quieraquiera usarseusarse lala resolución).resolución).
TambiénTambién podemospodemos optaroptar porpor usarusar sólosólo lala resoluciónresolución
comocomo únicoúnico mecanismomecanismo dede inferencia.inferencia.
7575
MotoresMotores dede inferenciainferencia SiSi usamosusamos resolución,resolución, podemospodemos elegirelegir
MotoresMotores dede inferenciainferencia
SiSi usamosusamos resolución,resolución, podemospodemos elegirelegir entreentre variasvarias
estrategias,estrategias, p.ej.p.ej.
EstrategiaEstrategia dede conjuntoconjunto soportesoporte
Intuitivamente,Intuitivamente, trataríatrataría dede resolverresolver primeroprimero concon elel
objetivoobjetivo queque pretendemospretendemos demostrardemostrar oo concon
cláusulascláusulas queque provienenprovienen dede dichodicho objetivo.objetivo.
OtrasOtras estrategiasestrategias utilizanutilizan funcionesfunciones dede evaluaciónevaluación
heurísticasheurísticas [Ginsberg,[Ginsberg, capítulocapítulo 9]9]
7676
OtrosOtros modelosmodelos lógicoslógicos ExistenExisten otrasotras lógicaslógicas queque permitenpermiten
OtrosOtros modelosmodelos lógicoslógicos
ExistenExisten otrasotras lógicaslógicas queque permitenpermiten incorporarincorporar aspecaspectostos
comocomo elel tiempo,tiempo, lala incertidumbre,incertidumbre, queque hechoshechos dejendejen
dede serser ciertos…ciertos…
LógicasLógicas modalesmodales
LógicasLógicas temporalestemporales
LógicaLógica difusadifusa [fuzzy[fuzzy logic]logic]
LógicasLógicas nono monótonasmonótonas
……
7777
OtrosOtros modelosmodelos lógicoslógicos LógicasLógicas descriptivasdescriptivas [DL:[DL: DescriptionDescription
OtrosOtros modelosmodelos lógicoslógicos
LógicasLógicas descriptivasdescriptivas [DL:[DL: DescriptionDescription Logic]Logic]
MásMás expresivasexpresivas queque lala lógicalógica proposicional,proposicional, peropero
limitándoselimitándose aa fragmentosfragmentos decidiblesdecidibles dede lala lógicalógica dede
predicadospredicados dede primerprimer orden.orden.
LaLa basebase formalformal dede loslos lenguajeslenguajes dede descripcióndescripción dede
ontologíasontologías queque sese usanusan enen lala WebWeb SemánticaSemántica,, p.ej.p.ej.
OWLOWL [[WebWeb OntologyOntology Language].Language].
7878
OtrosOtros modelosmodelos lógicoslógicos LógicasLógicas descriptivasdescriptivas [DL:[DL: DescriptionDescription
OtrosOtros modelosmodelos lógicoslógicos
LógicasLógicas descriptivasdescriptivas [DL:[DL: DescriptionDescription Logic]Logic]
ABoxABox [assertion[assertion component]:component]: Hechos.Hechos.
AA eses unauna instanciainstancia dede B.B.
JuanJuan eses unauna persona.persona.
TBoxTBox [terminological[terminological component]:component]: DescripciónDescripción dede unun
sistemasistema mediantemediante unun vocabulariovocabulario controladocontrolado (conjunt(conjuntoo
dede definicionesdefiniciones yy especializaciones).especializaciones).
TodosTodos loslos estudiantesestudiantes sonson personas.personas.
HayHay 22 tipostipos dede personas:personas: estudiantesestudiantes yy profesores.profesores.
7979
OtrosOtros modelosmodelos lógicoslógicos LógicasLógicas descriptivasdescriptivas [DL:[DL: DescriptionDescription
OtrosOtros modelosmodelos lógicoslógicos
LógicasLógicas descriptivasdescriptivas [DL:[DL: DescriptionDescription Logic]Logic]
BaseBase dede conocimientoconocimiento == ABoxABox ++ TBoxTBox
Desde el punto de vista lógico, la distinción ABox/TBox
no es esencial, pero resulta útil en la práctica
para resolver problemas concretos
(comprobación de instancias en ABox, clasificación en TBox)
para modelar correctamente un dominio particular
(términos/conceptos en TBox [clases] y manifestaciones
particulares de esos conceptos en ABox [instancias]).
8080
BibliografíaBibliografía StuartStuart RussellRussell && PeterPeter Norvig:Norvig: ArtificialArtificial
BibliografíaBibliografía
StuartStuart RussellRussell && PeterPeter Norvig:Norvig:
ArtificialArtificial Intelligence:Intelligence:
AA ModernModern ApproachApproach
PrenticePrentice--Hall,Hall, 33 rdrd edition,edition, 20092009
ISBNISBN 01360425970136042597
NilsNils J.J. NilssonNilsson
TheThe QuestQuest forfor ArtificialArtificial IntelligenceIntelligence
CambridgeCambridge UniversityUniversity Press,Press, 20092009
ISBNISBN 05211229370521122937
8181
BibliografíaBibliografía BibliografíaBibliografía complementariacomplementaria ElaineElaine RichRich &&
BibliografíaBibliografía
BibliografíaBibliografía complementariacomplementaria
ElaineElaine RichRich && KevinKevin Knight:Knight: ArtificialArtificial IntelligenceIntelligence
McGrawMcGraw--Hill,Hill, 1991.1991.
PatrickPatrick HenryHenry Winston:Winston: ArtificialArtificial IntelligenceIntelligence
AddisonAddison--Wesley,Wesley, 1992.1992.
NilsNils J.J. Nilsson:Nilsson: PrinciplesPrinciples ofof ArtificialArtificial IntelligenceIntelligence
MorganMorgan Kaufmann,Kaufmann, 1986.1986.
MattMatt Ginsberg:Ginsberg: EssentialsEssentials ofof ArtificialArtificial
IntelligenceIntelligence MorganMorgan Kaufmann,Kaufmann, 1993.1993.
JackJack MinkerMinker (editor):(editor): LogicLogic--BasedBased ArtificialArtificial
IntelligenceIntelligence Kluwer,Kluwer, 2000.2000.
8282