Date post: | 19-Feb-2018 |
Category: |
Documents |
Upload: | angel-rafael-gonzalez |
View: | 226 times |
Download: | 1 times |
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 1/27
FACULTAD DEINGENIERIA Y NEGOCIOSESCUELA DE INGENIERIA
TRABAJO DE INVESTIGACIÓN
LÓGICA PROPOSICIONAL
INTEGRANTES GRUPO 7Marcelo Espinoza
Iván LeivaJorge Parra
Oscar Puentes
DOCENTEErwin Fischer
CURSO - SECCION ACI71!1"1
FECHA## $e %unio $e #1&
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 2/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Contenido
Intro$ucci'n(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((&
)*u+ es L'gica Proposicional,(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((-
Conectivos l'gicos(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((.
Le/es / L0ites $e la L'gica Proposicional((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("
2istea A3ioático((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((11
2eántica((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((1#
Foras 4orales((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((1&
L'gica Proposicional en la Inteligencia Arti5icial((((((((((((((((((((((((((((((((((((((((((((((((((((((1-
E%eplos $e 6so $e L'gica Proposicional((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((1
Conclusiones(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((#
8e5erencias((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((#1
Ane3os(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((##
2
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 3/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Intod!""i#n
La representaci'n $el conociiento es un área $e la inteligencia arti5icial cu/o
o9%etivo 5un$aental es representar el conociiento $e una anera :ue 5acilite
sacar conclusiones ;in5erencias< a partir $e $icho conociiento( Analiza c'o usar
un sistea $e s09olos para representar un $oinio $e una 5rase= %unto con
5unciones :ue peritan razonar so9re las posi9les acciones :ue se pue$an
realizar( >eneralente= se usa alg?n tipo $e l'gica para proveer una seántica
5oral $e coo las 5unciones $e razonaiento se aplican a los s09olos $el$oinio $el $iscurso= a$eás $e proveer opera$ores coo cuanti5ica$ores=
opera$ores o$ales= etc( Esto= %unto a una teor0a $e interpretaci'n= $a signi5ica$o
a las 5rases en la l'gica(
Cuan$o $ise@aos un sistea $e representaci'n $el conociiento para
interpretar 5rases / po$er $erivar in5erencias $e ellas= teneos :ue hacer
elecciones :ue peritan o9tener un resulta$o l'gico( La $ecisi'n ás iportante
:ue ha/ :ue toar es la e3presivi$a$ $e la representaci'n $el conociiento(
Cuanto ás e3presiva es= $ecir algo es ás 5ácil / ás copacto( 2in e9argo=
cuanto ás e3presivo es un lengua%e= ás $i50cil es $erivar in5erencias
autoáticaente $e +l(
3
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 4/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
$%!& e' L#(i") Po*o'i"ion)+,
Para enten$er :u+ es la L'gica proposicional= $e9eos enten$er :ue es una
proposici'n( 6na proposici'n es una oraci'n enunciativa= es $ecir= :ue a5ira o
niega algo / :ue por lo tanto= pue$e ser ver$a$era o 5alsa( Esta proposici'n será
representa$a por las aria9les Proposicionales o Letras Enunciativas :ue
correspon$en a letras $el al5a9eto latino= epezan$o por la letra p= luego q, r, s=
etc(
Ahora 9ien= la l'gica proposicional es un sistea 5oral cu/os eleentos ás
siples representan proposiciones= / cu/as constantes l'gicas= llaa$as
conectivas= representan operaciones so9re proposiciones= capaces $e 5orar
otras proposiciones $e a/or cople%i$a$( En la L'gica proposicional las
proposiciones no se analizan= sino :ue se toan coo un 9lo:ue / son los
eleentos 0nios so9re los cuales opera esta raa $e la L'gica(
6na proposici'n es una sentencia siple= ta9i+n conoci$a coo Proposici'n
2iple= :ue tiene un valor asocia$o /a sea ver$a$ero ;<= o 5also ;F<( Por e%eploB
• ho/ es sá9a$o
• hace 5r0o
La l'gica proposicional= perite la asignaci'n $e un valor ver$a$ero o 5also para la
sentencia copleta= no tiene 5acili$a$ para analizar las pala9ras in$ivi$uales :uecoponen la sentencia( Por este otivo= la representaci'n $e las sentencias $el
e%eplo= coo proposiciones= ser0aB
• ho/essá9a$o
• hace5r0o
4
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 5/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Las proposiciones pue$en co9inarse para e3presar conceptos ás cople%os=
esto es conoci$o coo Proposici'n Cople%a o Molecular= en la cual se unen
proposiciones siples 5oran$o una cople%a( Por e%eploB
• ho/essá9a$o / hace5r0o(
La proposici'n anterior reci9e el no9re $e 5'rula 9ien 5ora$a( 6na 5'rula
9ien 5ora$a pue$e ser una proposici'n siple o copuesta :ue tiene senti$o
copleto / cu/o valor $e veraci$a$ pue$e ser $eterina$o( La L'gica
Proposicional suinistra un ecaniso para asignar valores $e veraci$a$ a la
proposici'n copuesta= 9asa$o en los valores $e veraci$a$ $e las proposiciones
siples / en la naturaleza $e los conectores l'gicos involucra$os( 6n enuncia$ocople%o será ver$a$ero o 5also en 5unci'n $e la 5ora en :ue est+n $ispuestos
los enuncia$os siples :ue lo coponen(
Lo :ue $i5erencia seánticaente las conectivas es el valor $e ver$a$ $el
enuncia$o copuesto :ue se 5ora con ellasB
• LuDe es ru9io / Leia es orena
• LuDe es ru9io o Leia es orena
• 2i LuDe es ru9io= Leia es orena• LuDe es ru9io= si / s'lo si= Leia es orena
• LuDe no es ru9io= ni Leia orena
Ca$a una $e estas a5iraciones es ver$a$era en con$iciones $i5erentes( ichas
con$iciones vienen $a$as por las $istintas conectivas l'gicas(
5
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 6/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Cone"tio' +#(i"o'
En la l'gica proposicional= los conectivos l'gicos son trata$os coo 5unciones $e
ver$a$( Es $ecir= coo 5unciones :ue toan con%untos $e valores $e ver$a$ /
$evuelven valores $e ver$a$(
ConectivoE3presi'n en
lengua%e naturalE%eplo 209olo
4egaci'n no LuDe no es ru9io ¬ ∼
Con%unci'n LuDe es ru9io . Leia es orena
∧is/unci'n O LuDe es ru9io o Leia es orena ∨
Iplicaci'n si((( entoncesSiLuDe es ru9io enton"e' Leia es
orena⇒
Gi!con$icional s0 / s'lo s0LuDe es ru9io '/ . 'o+o '/ Leia es
orena⇔ ≡
Los conectivos l'gicos son 5unciones :ue periten co9inar valores $e ver$a$ /
entregar valores $e ver$a$= esto se pue$e visualizar e$iante una ta9la :ue
entregue los valores $e ver$a$ :ue la 5unci'n $evuelve con to$as las
co9inaciones posi9les(
4egaci'n Con%unci'n is/unci'n Con$icional Gicon$icional
p ¬ p p * p ∧ : p : p ∨ : p : p ⇒ : P : p ⇔ :
F
F F F F F F F F
F F F F F F
F F F F F F F F F F
6
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 7/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Para representar la ta9la $e ver$a$ cuan$o se aplica conectores= se e3ponen
algunos e%eplosB
• 2ea p una 5'rula cual:uiera= H p es ver$a$ero cuan$o p es 5also= / 5also
cuan$o p es ver$a$ero(
• 2ean p / : 5'rulas cuales:uiera= ;p ∧ :< es ver$a$ero cuan$o p / : son
ver$a$eros= / 5also en los $eás casos(
• 2ean p / : 5'rulas cuales:uiera= ;p ∨:< es 5also cuan$o p / : son 5alsos= /
ver$a$ero en los $eás casos(
• 2ean p / : 5'rulas cuales:uiera= ;p → :< es 5also cuan$o p es ver$a$ero /
: es 5also= / ver$a$ero en los $eás casos(
• 2ean p / : 5'rulas cuales:uiera= ;p ⇔ :< es 5also cuan$o p / : tienen
$istinto valor $e ver$a$= / ver$a$ero cuan$o tienen el iso valor $e
ver$a$(
Más :ue apren$er $e eoria estas ta9las= lo iportante es i$enti5icar el e5ecto
:ue provoca en los valores $e ver$a$ cuan$o se aplica una 5unci'n(
7
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 8/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Le.e' . L/0ite' de +) L#(i") Po*o'i"ion)+
Entre las reglas $e la l'gica proposicional clásica= algunas $e las le/es ás
nota9les son las siguientesB
1( Le/ $e $o9le negaci'nB Esta9lece :ue si un enuncia$o está $o9leente
nega$o= e:uival$r0a al enuncia$o a5ira$o(
¬ ¬p ≡ p
#( Le/es $e i$epotenciaB Esta9lece :ue si un enuncia$o se aplica un
conector= $e por s0 iso vuelve a o9tenerse el iso enuncia$o(
;p ∨p< ≡ p
;p ∧p< ≡ p
&( Le/es asociativasB Esta9lece :ue no iporta c'o se agrupen los
enuncia$os cuan$o se conectan en 5ora $e con%unci'n o $is/unci'n(;p ∨ :< ∨ r ≡ p ∨ ;: ∨ r<
;p ∧ :< ∧ r ≡ p ∧ ;: ∧ r<
-( Le/es conutativasB Esta le/= no es váli$a para la iplicaci'n= pero s0 para
con%unci'n / para la $is/unci'n( 6na con%unci'n es a5irar :ue se $an $os
cosas a la vez= $e o$o :ue el or$en $e sus eleentos no ca9ia este
hecho( Igualente= una $is/unci'n es presentar una elecci'n entre $os
cosas= sin iportar en :u+ or$en se presente esta elecci'n(
;p ∧ :< ≡ ;: ∧ p<
;p ∨ :< ≡ ;: ∨ p<
8
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 9/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
( Le/es $istri9utivasBEsta le/ $istri9u/e a la proposici'n 5uera $el par+ntesis
con las :ue están $entro $e este(
p ∨ ;: ∧ r< ≡ ;p ∨ :< ∧ ;p ∨ r<
p ∧ ;: ∨ r< ≡ ;p ∧ :< ∨ ;p ∧ r<
.( Le/es $e e MorganB Esta le/ perite trans5orar una $is/unci'n en una
con%unci'n= / viceversa= es $ecir= una con%unci'n en una $is/unci'n(
Cuan$o se pasa $e una a otra= se ca9ian los valores $e a5iraci'n /
negaci'n $e los t+rinos $e la $is/unci'ncon%unci'n as0 coo $e la propia
operaci'n en con%unto(
¬;p ∨ :< ≡ ¬p ∧ ¬:
¬;p ∧ :< ≡ ¬p ∨ ¬:
7( Le/es $e la Iplicaci'nB Esta le/ or$ena $e $iversas 5oras a la
proposici'n sin alterar el pro$ucto(
;p ⇔ :< ≡ ;p ⇒ :< ∧;: ⇒ p<
;p ⇒ :< ≡ ;¬p ⇒ ¬:<
;: ⇒ p< ≡ ;¬: ⇒ ¬p<
;p ⇒ :< ≡ ;¬p ∨ :<
8especto a los l0ites= la l'gica proposicional perite 5oralizar / teorizar so9re la
vali$ez $e una gran canti$a$ $e arguentos( 2in e9argo= ta9i+n e3isten
arguentos :ue son intuitivaente váli$os= pero cu/a vali$ez no pue$e ser
pro9a$a por la l'gica proposicional( Por e%eplo= consi$+rese el siguiente
arguentoB
• Ko$os los ho9res son ortales(
• 2'crates es un ho9re(
• Por lo tanto= 2'crates es ortal(
9
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 10/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Coo este arguento no contiene ninguna $e las conectivas no= /= o= etc(=
seg?n la l'gica proposicional= su 5oralizaci'n será la siguienteB
• p• :
• Por lo tanto= r
Pero esta es una 5ora $e arguento inváli$a= / eso contra$ice nuestra intuici'n
$e :ue el arguento es váli$o( Para teorizar so9re la vali$ez $e este tipo $e
arguentos= se necesita investigar la estructura interna $e las varia9les
proposicionales( e esto se ocupa la l'gica $e prier or$en(
10
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 11/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Si'te0) A1io02ti"o
El sistea a3ioático está copuesto por un Al5a9eto / por una >raática( El
al5a9eto $e este sistea es el con%unto $e s09olos :ue pertenecen al lengua%e
$el sistea( Consiste en una canti$a$ 5inita pero ar9itrariaente gran$e $e
varia9les proposicionales= con%unto $e opera$ores l'gicos / los $os signos $e
puntuaci'n par+ntesis( Este ?ltio perite eliinar la a9igNe$a$ en e3presiones
a9iguas(
La graática consiste en un con%unto $e reglas :ue $e5inen un con%unto $e
caracteres :ue pertenecen al lengua%e $el sistea( Las ca$enas $e caracteres
construi$os $e acuer$o a estas reglas se les llaan 3#0!+)' 4ien 3o0)d)'( e
acuer$o a estas le/es po$eos $ecir :ue las siguientes ca$enas $e caracteres
son 5'rulas 9ien 5ora$asB
• p
• ¬ ¬ ¬p• p ∧ :
• ¬;p ∧ :<
• p⇔¬p
Finalente= e3isten %erar:u0as :ue se $e9en respetar al oento $e interpretar
una ca$ena $e caracteres= las con%unciones / $is/unciones tienen enor %erar:u0a
:ue las iplicaciones / 9i!con$icionales( Esto es e:uivalente a las ateáticas=
en las cuales las ultiplicaciones / $ivisiones se realizan antes :ue las suas /
restas= siepre / cuan$o no se utilicen par+ntesis para $e5inir lo contrario(
Los a3ioas son un con%unto $e 5'rulas 9ien 5ora$as :ue se toan coo
punto $e parti$a para $eostraciones ulteriores(
11
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 12/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Se02nti")
6na interpretaci'n para un sistea $e l'gica proposicional es una asignaci'n $e
valores $e ver$a$ para ca$a varia9le proposicional= sua$a a la asignaci'n usual
$e signi5ica$os para los opera$ores l'gicos(A ca$a varia9le proposicional se le
asigna uno $e $os posi9les valores $e ver$a$B ;ver$a$ero< o F ;5also<( Esto
:uiere $ecir :ue si ha/ n varia9les proposicionales en el sistea= el n?ero $e
interpretaciones $istintas es $e #
n
(
Con esto aparecen las ta9las $e ver$a$= :ue representan to$as las posi9les
interpretaciones $e las varia9les proposicionales :ue constitu/en una $eterina$a
5'rula( A continuaci'n generareos la ta9la $e ver$a$ para la 5'rulaB ¬;p ∨ :<
⇒ (p ⇒ r<
p : r ;p ∨ :< ¬;p ∨ :< (p ⇒ r< ¬;p ∨ :< ⇒(p ⇒ r< F
F F F
F F
F F F F
F F
F F F
F F F
F F F F
12
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 13/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Fo0)' No0)+e'
A enu$o es necesario trans5orar una 5'rula en otra= so9reto$o trans5orarla a
su 5ora 4oral( Esto se consigue trans5oran$o la 5'rula en otra e:uivalente /
repitien$o el proceso hasta conseguir una 5'rula :ue solo utilice los conectivos
9ásicos(
• enoinareos literal a cual:uier 5'rula copuesta por un ?nico s09olo
$e proposici'n p ;literal positivo< o su negaci'n Hp ;literal negativo<
• Cláusula con%untiva es cual:uier con%unci'n $e literales(
• Cláusula $is/untiva es cual:uier $is/unci'n $e literales(
• 6na 5'rula se $ice :ue está en Fora 4oral Con%untiva;F4C< si es una
con%unci'n $e cláusulas $is/untivas(
• 6na 5'rula se $ice :ue está en Fora 4oral is/untiva;F4< si es una
$is/unci'n $e cláusulas con%untivas(
Cone'i#n ) Fo0) No0)+
• a$a una 5'rula po$eos construir 5'rulas e:uivalentes= utilizan$o el
voca9ulario $e = :ue sean 5ora noral $is/untiva F4;< / 5ora noral
con%untiva F4C;<(φ¬ F4;φ< φ¬ F4C;φ<
De0o't)"i#n 5in3o0)+6 *)) FND
• 2i φ es contra$icci'n φ = :ue es F4 por convenio⊥
• 2i φ no es contra$icci'n= / voc;φ<QRp1= S= pnT= e3iste una conectiva n!á$ica
⊕ tal :ue U;⊕ p1= S= pn<V vQ UφVv(( $icha conectiva ⊕ se pue$e representar
por una $is/unci'n $e con%unciones ;F4< coo vios en el tea anterior(
• F4C;φ< se pue$e calcular a partir $e H F4;Hφ<(
13
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 14/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
L#(i") Po*o'i"ion)+ en +) Inte+i(en"i) Ati3i"i)+
IPORTANCIA DE LA LÓGICA PARA EL AVANCE CIENTÍFICO-
TECNOLÓGICO
Perite en 9ase al conociiento /a o9teni$o / vali$a$o= $e$ucir nuevos
conociientos( En 9ase a razonaientos in$uctivos ;$e lo particular a lo general<=
po$eos plantear hip'tesis o pre$icciones cient05icasW sin e3perientaci'n(Perite la 5oralizaci'n $el lengua%e cient05ico para la posterior $eostraci'n $e
vali$ez= tornán$ose preciso= e3acto= convencional / universal(
En tanto +to$os l'gicos son el puente entre los +to$os $e investigaci'n
cient05ica / los +to$os $e e3posici'n cient05ica( Es la 9ase / hasta el oento la
5un$aentaci'n $e las ateáticas ;consi$era$as ciencias e3actas<= seg?n la
cual se pue$e $e$ucir $e un con%unto $e a3ioas un con%unto $e teoreas(
El $esarrollo / el progreso $e la l'gica iplican el $esarrollo / el progreso $e las
ciencias / la tecnolog0a= por e%eplos los circuitos l'gicos son el 5un$aento $e
los circuitos el+ctricos / $e to$o el sistea $e coputaci'n( Ahora= con las
coputa$oras se pue$en hacer cálculos / pre$icciones suaente cople%os(
Por sus aplicaciones a la ateática= a la lingN0stica= al análisis $el lengua%e
natural= al análisis $e los razonaientos 5ilos'5icos= las aplicaciones al +to$o
cient05ico= / en general= no ha/ capo $e la ciencia ni $e la tecnolog0a
conteporánea $on$e la l'gica no sea utiliza$a( En este senti$o= la l'gica es la
coluna verte9ral $e to$os los aconteciientos en cuanto lo organiza
coherenteente(
14
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 15/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
En la vi$a $iaria haceos uso $e la l'gica constanteente= incluso para cruzar
una calle= por:ue previaente razonaosB Xsi viene un veh0culo= no $e9o cruzar la
calle( iene un veh0culo( Luego= no $e9o cruzar la calleY= o cuan$o un capesino
ve una $ensa nu9e en el cielo in5iere :ue va llover= / as0 po$eos encionar
situaciones $on$e se usa la l'gica in$e5ini$aente(
E8e0*+o' de 'i04o+i9)"i#n de O)"ione':Po*o'i"ione'
a< 4o vi la pel0cula= pero le0 la novelaB Hp Z :9< 4i vi la pel0cula ni le0 la novelaB Hp Z H:c< 4o es cierto :ue viese la pel0cula / le/ese la novelaB H;p Z :<$< i la pel0cula aun:ue no le0 la novelaB p Z H:e< 4o e gusta trasnochar ni a$rugarB Hp Z H:5< O t? estás e:uivoca$o o es 5alsa la noticia :ue has le0$oB p v :g< 2i no estuvieras loca= no ha9r0as veni$o a:u0B Hp [ H:h< Llueve / o 9ien nieva o sopla el vientoB p Z ;: v r<i< O está llovien$o / nevan$o o está soplan$o el vientoB ;p Z :< v r<
%< 2i ha/ ver$a$era $eocracia= entonces no ha/ $etenciones ar9itrarias ni
otras violaciones $e los $erechos civilesB p [ ;H: Z Hr<D< 8o9erto hará el $octora$o cuan$o / solaente cuan$o o9tenga la
licenciaturaB p \ :l< 2i viene en tren= llegará antes $e las seis( 2i viene en auto'vil= llegará
antes $e las seis( Luego= tanto si viene en tren coo si viene en auto'vil=
llegará antes $e las seisB p [ := r [ : ]! ;p v r< [ :
15
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 16/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Si04o+i9)"i#n de Po*o'i"ione'
a< 2i p= entonces :B p [ :
9< 4o es el caso :ue p / :B H;p Z :<c< p solaente si : / no!rB p \ ;: Z Hr<$< p o no!:B p v H:e< 2i p / := entonces no!r o sB ;p Z :< [ ;Hr v s<5< 2i p= entonces := / si := entonces pB ;p [ :< Z ;: [ p<g< 2i p / := entonces r( p( Luego si := entonces rB ;p Z :< [ r= p ]! : [ r h< 2i p / := entonces r( 2i r / s= entonces t( Luego si p / : / s= entonces tB
;p Z :<[ r= ;r Z s< [ t ]! ;p Z : Z s< [ t
Fo0)+i9)"i#n de *o*o'i"ione'
a( 4o es cierto :ue no e guste 9ailar(
pB e gusta 9ailar(
H;Hp<
9( Me gusta 9ailar / leer li9ros $e ciencia 5icci'n(
pB e gusta 9ailar(
:B e gusta leer li9ros $e ciencia 5icci'n(
p Z :
c( 2i los gatos $e i herana no soltaran tanto pelo e gustar0a acariciarlos(
pB los gatos $e i herana sueltan pelo(
:B e gusta acariciar los gatos(
Hp [ :
$( 2i / s'lo si viera un arciano con is propios o%os= creer0a :ue ha/ vi$a
e3traterrestre(
pB ver un arciano con is propios o%os(
:B creer en los e3traterrestres(
16
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 17/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
p \ :
e( 6na $e $osB o salgo a $ar un paseo= o e pongo a estu$iar coo un
energ?eno(
pB salir a $ar un paseo(
:B estu$iar coo un energ?eno(
p v :
5( 2i los ele5antes volaran o supieran tocar el acor$e'n= pensar0a :ue esto/ coo
una rega$era / $e%ar0a :ue e internaran en un psi:uiátrico(
pB los ele5antes vuelan(
:B los ele5antes tocan el acor$e'n(
rB estar loco(
sB internar en un psi:uiátrico(
; p v : < [ ; r Z s<
g( Pre5iero ir $e vacaciones o estar sin hacer na$a si tengo tiepo para ello / no
tengo :ue ir a tra9a%ar(
pB ir $e vacaciones(
:B no hacer na$a(
rB tener tiepo(
sB ir a tra9a%ar(
; r Z Hs < [; p v : <
h( X2i tuvieran :ue %usti5icarse ciertos hechos por su enore tra$ici'n entonces= si
estos hechos son ino5ensivos / respetan a to$o ser viviente / al e$io a9iente=
no ha9r0a ning?n pro9lea( Pero si los hechos son 9ár9aros o no respetuosos con
los seres vivientes o el e$io a9iente= entonces ha9r0a :ue $e%ar $e %usti5icarlos
o no po$r0aos consi$erarnos $ignos $e nuestro tiepo(Y
17
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 18/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
pB %usti5icar hechos por su tra$ici'n(
:B ser ino5ensivo(
rB ser respetuoso con los seres vivos(
sB ser respetuoso con el e$io a9iente(
tB tener pro9leas(
H:B ser 9ár9aro( ;Q no ser ino5ensivo<
uB ser $igno $e nuestro tiepo(
p [ U ; : Z r Z s< [ Ht V Z U ;H: v H; r v s < [ ; Hp v Hu < V
18
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 19/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
E8e0*+o' de U'o de L#(i") Po*o'i"ion)+
Len(!)8e' de *o()0)"i#n en Ro4#ti");
8ealizareos una 9reve $escripci'n $e los $istintos lengua%es :ue po$eos encontrarnos en la
ro9'ticaB
Len(!)8e de "o0*ot)0iento'< Es un lengua%e $e control 9asa$o en
reglas / en tiepo real :ue copila controla$ores AF2M(
Len(!)8e o4#ti"o (en&i"o o GRL< 2e trata $e un lengua%e $e
prograaci'n 5uncional para prograar gran$es sisteas $e control
o$ulares( 6sa aut'atas 5initos coo 9lo:ues 9ásicos $e construcci'n(
Provee un rango $e constructores ás e3tenso para $e5inir 5lu%os $e
counicaci'n / restricciones $e sincronizaci'n entre $i5erentes '$ulos :ue el
lengua%e $e coportaientos(
Si'te0) de *+)ni3i")"i#n de )""i#n e)"ti) o RAPS< 2e trata $e otro
lengua%e $e prograaci'n :ue perite a los prograa$ores especi5icar
o9%etivos= planes asocia$os a los o9%etivos / las con$iciones para :ue $ichos
planes tengan +3ito( Provee 5acili$a$es para ane%ar los 5allos inevita9les :ue
se pro$ucen con los sisteas ro9'ticas reales(
GOLOG< 2e trata $e un lengua%e :ue perite el razonaiento / el
apren$iza%e para un ro9ot( Fue intro$uci$o por John McCarthy en 1.&( Mezcla
la resoluci'n $eli9erativa $e pro9leas ;plani5icaci'n< / la especi5icaci'n
$irecta $e control reactivo( Los prograas en este lengua%e están 5orula$os
en cálculo $e situaci'n= con la opci'n a$icional $e opera$ores $e acci'n no
$eterinistas(
19
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 20/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
CES< Correspon$e a las siglas $e C^^ 5or e9e$$e$ s/ste( 2e trata $e
un lengua%e $e prograaci'n :ue e3tien$e C^^ e integra pro9a9ili$a$es /
apren$iza%e( Los tipos $e $atos son $istri9uciones $e pro9a9ili$a$( Pero lo ás
$estaca9le $e este lengua%e es :ue hace posi9le XentrenarY el so5tware $e un
ro9ot con e%eplos(
ALi'*< Fue escrito por Bhaskara Marthi ( Es una e3tensi'n $el
lengua%e LI2P( Perite a los prograa$ores especi5icar puntos $e elecci'n no
$eterinistas $e 5ora siilar a los puntos $e $ecisi'n
$e >OLO>( ALisp apren$e in$uctivaente la acci'n correcta e$iante
apren$iza%e por re5uerzo(
Con"+!'ione'
La l'gica proposicional es una $e las piezas5un$aentales $e la Inteligencia
Arti5icial= /a :ue para realizar los ca9ios necesarios para la evoluci'n $e esta
ciencia= se precisa $e un lengua%e 5oral para representar los hechos :ue se
reci9en $el un$o real / el uso $e las proposiciones( El utilizar proposiciones es
una se@al :ue enca%a en 5ora per5ecta en este á9ito( Es un o$o sencillo /
práctico $e resolver un pro9lea= consi$eran$o :ue se pue$e resolver
$isgregan$o el pro9lea en proposiciones u oraciones sencillas :ue periten
analizar los hechos / toar $ecisiones= es $ecir= crear nuevas proposiciones u
oraciones sencillas o copuestas :ue se incorporan a la 9ase $e conociiento=
peritien$o el increento / e%ora $e esta(
Este tra9a%o nos ha periti$o pro5un$izar los conociientos $el uso $e la l'gica
para la resoluci'n $e pro9leas o la representaci'n $e la reali$a$ a nivel $e
proposiciones(
20
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 21/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
21
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 22/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Re3een"i)'
httpBes(wiDipe$ia(orgwiDi8epresentaci_C&_G&n$elconociiento
httpBes(wiDipe$ia(orgwiDiL_C&_G&gicaproposicional`2isteaa3io(C&(A1tico
httpBwww(uhu(es-7-$ocsKea-(p$5
httpBwww(apa!st%huelva(orgCentroFiloso5iaLgica_#proposicional(p$5
22
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 23/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
Ane1o'
23
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 24/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
24
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 25/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
25
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 26/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER
26
7/23/2019 ACI710-Grupo7 Lógica Proposicional
http://slidepdf.com/reader/full/aci710-grupo7-logica-proposicional 27/27
FACULTAD DINGENIERÍA Y NEGOCIOESCUELA DE INGENIER