c



 

 



 



 Gramática que especifica la secuencia de símbolos que son
considerados bien formadas.

× formulas atómicas o átomos.

× formulas compuestas: construidas a partir de los átomos y de los conectivos lógicos.

O
 



elación entre las formulas bien formadas y su valor de verdad.

× los átomos reciben una interpretación

× el valor de verdad de una proposición se calcula a partir de la interpretación de los átomos.


 



ue centra en los efectos del contexto sobre las oraciones.


 
O
 
 

 Estas son constituidas a partir de los átomos y los
conectivos lógicos.


O 
Un conjunto de elementos primitivos desde los que construimos sus expresiones
(conjunto no vacío de símbolos proposicionales o átomos).



Los átomos son formulas. Toda formula que no es un átomo se denomina formula
compuesta.





 

 

   


O



O !

ui el alfabeto contiene n átomos, entonces existen 2n interpretaciones posibles.

"




 

 



 Es un número de argumentos que tiene la función y son descritas implícitamente por la
formula.

× Aridad de un símbolo predicativo: número de argumentos que tiene un predicado.

O
#

$

O
Es una ocurrencia de x predicada inmediatamente por
un cuantificador, o una ocurrencia de x en el alcance del cuantificador que esta seguido por x y una
ocurrencia libre es aquella que no está ligada.


 
 Es una fórmula que no contiene ninguna ocurrencia de variables libres.


%




ui (A v B) es verdadero y (~B v C) es verdadero, entonces (A v C) también es verdadero.

 
&
  Un término ground (respectivamente una formula ground) es un término
(respectivamente una formula) que no contiene ninguna variable.


 




'  Es una conjunción de cláusulas cuantificadas universalmente, las
clausulas pueden contener variables pero no contienen cuantificadores.


 

O
Es una forma de generar una prueba de que una formula ĭ es
consecuencia lógica de un conjunto de fórmulas .

(


 

O


 
$



 

 !

Un procedimiento de prueba es consistente si solo se pueden derivar consecuencias lógicas de las

premisas y es completo si se pueden derivar todas las consecuencias lógicas de las premisas.

)
*+



!

Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una conclusión.

,



$




 

 O



- 

& 
 



  
  


  
 

 Ê



 

  

  
 † 
  

 
 
 

 
 

   

  

  
 

 
 
 
  

   
  
  

 









†

O
.$
  /

 #
$

 
Ê



 


 #
$  
!


  "
 %
 
$
 $  
†
p â q

 
.$

 /

â
0 Ê&$ 
'&
 
$   $
 $  




†
p &
 
$
 %
 
$
 
 

% 
&

 
$



B.- 2) 
â

0  $
 $  
%
 
$  

†
q

.$
 /
De P inferimos P v Q si sabemos que P es verdadera, P v Q, P v , P v u lo
será también.


.$
  

 ui p implica q


Luego podemos afirmar la negación de  o 0
† pvq
 ui se cumple la negación de  o
0


Luego podemos afirmar  implica 0



†

p q





.$





Premisa  implica 0

  Luego negación de q implica la negación de 








†


1
0


1


 Conclusión negación de 0 implica negación de
.
 2






1
0




1

Premisa  implica 0













†





0

 

 
 /  De (P

(
â(
 

   $


  




  ($
&

†

0
/



 %
 


 
&


 
 


  
) &
&

&!
 
 
.$





 â

ui se cumple  y 0 esto implica .
ue concluye que  implica 0 entonces 
† 

ui se cumple  implica 0 entonces 
 Luego entonces  y 0 implica 

 â


† â



 

  

c
  

 

 
  



  

 
  

   

 



 

   
† 



3
*+




 
 !

Los silogismos son argumentos estructurados compuestos por dos premisas y una conclusión.

4
 5

6




 

 

 


 

$

 
 

/





a)
A Pedro no le gusta la zarzaparrilla ni la miel

Pedrola , gustarlG , zarzlb , miellc

¬Gab â ¬Gac

b) osa es alta o delgada, a pesar de comer mucho

osala , ser altalA , ser dellD , comer mucholC

(Aa Da) â Ca

c) Todos los novatos son ingenuos

ser novlN , ser ingenlI

x (Nx  Ix)
d) Algunos intelectuales son frívolos

ser intellI , ser frívlF

x (Ix â Fx)

e) No todos los combustibles son contaminantes

ser combuslC , ser contamlN

¬
x (Cx  Nx) o también: x (Cx â ¬Nx)

f) Algún europeo bajito disfruta con Mozart pero no con Wagner

ser europlE , ser bajitolB , disfrutar conlD, Mozartla , Wagnerlb

x (Ex â Bx â Dxa â ¬Dxb)

g) Hay comidas que no son saludables aunque sí exquisitas

ser comidalC , ser saludalu , ser exquilE

x (Cx â ¬ux â Ex)

h) Tanto los novatos como los repetidores odian las matemáticas

ser novlN , ser repl , odiarlO , matela

x ((Nx  Oxa) â (x  Oxa)) o también:
x ((Nx x)  Oxa)

i) A los repetidores que pasean con osa les gustan las matemáticas pero no el griego ni el latín

ser repl , pasear conlP , gustarlG , osala , matelb , griegolc , latínld

x ((x â Pxa)  (Gxb â ¬Gxc â¬Gxd))

j) Todo novato pasea con alguna repetidora

ser novlN , pasear conlP , ser repl

xy (Nx  (y â Pxy)) también:
x (Nx  y (y â Pxy))

k) uólo hay un alumno que pasea con osa

ser alumlA , pasear conlP , osala

x ((Ax â Pxa) â
y ((Ay â Pya)  x=y))

l) Hay al menos dos repetidores

ser repl

xy (x â y â ¬x=y)

m) ui a todos los novatos les gusta el griego entonces a algunos repetidores también

ser novlN , gustarlG , ser repl , griegola

x (Nx  Gxa)  x (x â Gxa)

n) Ningún existencialista aprecia a ningún positivista. Todos los miembros del Círculo de Viena son
positivistas. Entonces, ningún existencialista aprecia a ningún miembro del Círculo de Viena

ser existlE , apreciarlA , ser positlP , ser miembro delM , C de Vienalc

[¬xy (Ex â Py â Axy) â
x (Mxc  Px)]  ¬xy (Ex â Myc â Axy)

o) Los discípulos de Platón admiran a uócrates. Muchos filósofos se ignoran mutuamente.

Aristóteles, que es ateniense, es discípulo de un discípulo de uócrates. Cuando uno ignora a otro,
éste también ignora a aquél. Todo lo anterior ocurre si y sólo si algún ateniense no ignora a
uócrates.

ser disc delD , admirarlA , ser filolF , ignorar alI , ser atenlT , Plla, uoclb, Arlc

[
x (Dxa  Axb) â xy (Fx â Fy â Ixy â Iyx) â Tc â x (Dcx â Dxb) â

xy (Ixy  Iyx)]  x (Tx â ¬Ixb)

€
*+



 

!

ui solo se pueden derivar consecuencias lógicas de las premisas.

La  


 es una propiedad que pueden tener los conjuntos de fórmulas.
Intuitivamente, un conjunto de fórmulas es consistente cuando no contiene una contradicción. La
consistencia puede ser definida tanto en términos semánticos como en términos sintácticos. En
términos semánticos, un conjunto de fórmulas es consistente si y sólo si tiene un modelo. Es decir,
si existe al menos una interpretación que haga verdaderas a todas las fórmulas del conjunto. En
términos sintácticos, un conjunto de fórmulas es consistente si y sólo si para toda fórmula A, no es
posible deducir tanto A como ®A (la negación de A) a partir del conjunto de fórmulas.

c7
*+




 
 /
$


 
  !

Una representación declarativa del conocimiento es aquella en la que dicho conocimiento está
especificado, pero sin embargo, no viene dada la manera en que debe ser usado tal conocimiento.
Por tanto, para utilizar el conocimiento de una representación declarativa debe disponerse de un
programa que especifique que debe hacerse con el conocimiento y de qué modo debe hacerse.

La representación procedimental es aquella en la que la información del control necesaria para

utilizar el conocimiento se encuentra embebida en el propio conocimiento.

cc






' 8
'!

Algoritmo = lógica + control

De manera que el control (estrategia para encontrar la solución) la dejamos en manos de la

máquina, y sólo debemos preocuparnos de la lógica (información acerca del problema que
queremos resolver).

c




 

99

0
9$

$




/




 
0


 
6
 5

 
O
 !

<<ui X no es a, entonces x no puede cumplir la propiedad P>>. Que traducido a fbf queda:

ґx [ ¬( x=a ) ¬P(x)] o dicho de otra manera.

<<ui x cumple la propiedad P, entonces x es a>> que traducido a fbf quedaría:

ґx [P(x)ҏ ( x= a )]

c"
#O 

/ 

/6
 
O


/6



 
O






 
 

ґx ґy [ P(x) ҏP(y) ҏx=y ]

Para las siguientes interpretaciones en el dominio D= {a,b,c}

uolución:

i)
ii)

iii)

c(
#O 

 






 
 
O
 

x y [ ¬A(x,y) (B(x) âC(y)) ] â
x [B(x) ¬
x
y D(x,y)] â¬x E(x) â[
x
y D(x,y) x E(x) ]

uolución:

1. Eliminar implicadores y coimplicadores:

x y [ ¬A(x,y) (B(x) âC(y)) ] â
x [¬B(x) ¬
x
y D(x,y)] â¬x E(x) â[
x
y D(x,y) x E(x) ]
]

2. Normalizar negadores:

x y [ ¬A(x,y) (B(x) âC(y)) ] â
x [¬B(x) x y ¬D(x,y)] â
x ¬E(x) â[
x
y D(x,y) x E(x) ]
]

3. Normalizar variables:

x y [ ¬A(x,y) (B(x) âC(y)) ] â
z [¬B(z) v w ¬D(v,w)] â
u ¬E(u) â[
s
t D(s,t) r E(r) ]

4. Eliminar cuantificadores existenciales:

x [ ¬A(x,f(x)) (B(x) âC(f(x)) ] â
z [ ¬B(z) ¬D(g(z),h(z)) ] â
u ¬E(u) â[
s
t D(s,t) E(a) ]

5. Forma prenexa:

x
z
u
s
t { [ ¬A(x,f(x)) (B(x) âC(f(x)) ] â[ ¬B(z) ¬D(g(z), h(z)) ] â¬E(u) â[ D(s,t) E(a) ] }
  . Eliminar cuantificadores universales:

[ ¬A(x, f(x)) (B(x) âC(f(x)) ] â[ ¬B(z) ¬D(g(z), h(z)) ] â¬E(u) â[ D(s, t) E(a) ]

7. FNC de la matriz de la fórmula:

[ ¬A(x, f(x)) B(x) ] â[ ¬A(x, f(x)) C(f(x)) ] â[ ¬B(z) ¬D(g(z), h(z)) ] â¬E(u) â[ D(s, t) E(a) ]

8. Extracción de cláusulas: eliminación de conjunciones

C1: ¬A(x, f(x)) B(x)

C2: ¬A(x, f(x)) C(f(x))
C3: ¬B(z) ¬D(g(z), h(z))
C4: ¬E(u)
C5: D(s, t) E(a)

9. Normalización de variables:

c
1:c6
:c
;:c


1:6
:
::

"
1;:"
1::"6
9:"

(
1<:(

)
:)6
,
<:

c)
<0







% O


El principio de resolución de robinson nos dice cómo puede derivarse una proposición a partir de
otras. Así utilizando el principio de resolución podemos comprobar teoremas de una forma
puramente mecánica.

c,
*+





 !

Es una técnica clásica de representación de la I.A. utilizada para información relativa a las
proposiciones. A una rede semántica también se le llama 

 
 
. Una proposición
es una frase verdadera o falsa, como ³todos los perros son mamíferos´ y ³un triángulo tiene tres
lados´. uon formas de conocimiento declarativo porque establecen hechos.

c3
<0

& 


Expresa la probabilidad condicional de un evento aleatorio A dado B en términos de la distribución

de probabilidad condicional del evento B dado A y la distribución de probabilidad marginal de sólo
A. uea {A1,A3,...,Ai,...,An} un conjunto de sucesos mutuamente excluyentes y exhaustivos, y tales
que la probabilidad de cada uno de ellos es distinta de cero. uea B un suceso cualquiera del que
se conocen las probabilidades condicionales P(B | Ai). Entonces, la probabilidad P(Ai | B) viene
dada por la expresión:

Dónde:

× P(Ai) son las probabilidades a priori.

× P(B | Ai) es la probabilidad de B en la hipótesis Ai.
× P(Ai | B) son las probabilidades a posteriori.


c4
*+







 
$






 
!

Es un método procedimental de representación del conocimiento, pone énfasis en representar y

soportar las relaciones inferenciales del algoritmo, en contraposición a los métodos declarativos
(hechos).

La estructura de una regla es:

uI <antecedentes>

ENTONCEu <consecuentes>