ACI710-Grupo7 Lógica Proposicional

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&



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




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




$%!& 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




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




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




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




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




( 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




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




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




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




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




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




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




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




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




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




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

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Lenguaje_de_comportamientos&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=AFSM&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Lenguaje_rob%C3%B3tico_gen%C3%A9rico&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=GRL&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Sistema_de_planificaci%C3%B3n_de_acci%C3%B3n_reactiva&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=RAPS&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=GOLOG&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Lenguaje_de_comportamientos&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=AFSM&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Lenguaje_rob%C3%B3tico_gen%C3%A9rico&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=GRL&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Sistema_de_planificaci%C3%B3n_de_acci%C3%B3n_reactiva&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=RAPS&action=edit





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

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=CES&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=ALisp&action=edit

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Bhaskara_Marthi&action=edit



http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=CES&action=edit


http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=Bhaskara_Marthi&action=edit






21




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

http://es.wikipedia.org/wiki/Representaci%C3%B3n_del_conocimiento

http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional#Sistema_axiom.C3.A1tico

http://www.uhu.es/470004009/docs/Tema_4.pdf

http://www.ampa-stjhuelva.org/Centro/Filosofia/Lgica%20proposicional.pdf

http://es.wikipedia.org/wiki/Representaci%C3%B3n_del_conocimiento

http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional#Sistema_axiom.C3.A1tico

http://www.uhu.es/470004009/docs/Tema_4.pdf

http://www.ampa-stjhuelva.org/Centro/Filosofia/Lgica%20proposicional.pdf




Ane1o'

23




24




25




26

ACI710-Grupo7 Lógica Proposicional

Documents

Transcript of ACI710-Grupo7 Lógica Proposicional