2-2do PA (lógica de predicados).

 · Investigar y comentar los conceptos de sintaxis, semántica, validez e inferencia en la lógica de predicados. Representar el conocimiento por medio de lógica de predicados en un reporte.

Introducción

A continuación, se presenta la investigación así mismo también, la explicación e interpretación por mi parte del tema y más específicamente los puntos a tratar de lógica de predicados. Si bien no se presenta de forma extensa, entonces se plasta los conocimientos obtenidos durante dicho proceso, tal y como se indica en el documento, a su vez, comentando que el mismo puede prestar a distintas interpretaciones la especificación de “Representar el conocimiento por medio de lógica de predicados en un reporte.” Mismo que se encuentra en la página lo cual al principio entendí que se investigaría y nuestro reporte sería explicar cada uno de los puntos por medio de la estructura de la lógica de predicados.

Sintaxis.

Dentro de ello existen elementos que son claves para tener una buena sintaxis. La sintaxis de la lógica propositiva es sencilla. Los símbolos utilizados en la lógica propositiva son las constantes lógicas Verdades y Falso, símbolos de proposiciones tales como P y Q, los conectivos lógicos ˄, ˅, <=>, =>, y ¬ y paréntesis ( ). Todas las oraciones se forman combinando los signos anteriores mediante reglas:

 Las constantes lógicas Verdadero y Falso constituyen oraciones en sí mismo.

 Encerrar entre paréntesis una oración produce también una oración, por ejemplo (P˄Q).

 Una oración se forma combinando oraciones más sencillas con uno de los cinco conectores

lógicos:

 ˄ (y). Se le denomina conjunción (lógica).

 ˅ (o). Se le denomina disyunción.

 => (implica). Se conoce como implicación (o condicional).

 <=> (equivalente). La oración es una equivalencia (también conocida como

bicondicional).

 ¬ (no). Se le conoce como negación.

Ejemplo.

Utilizando algunos de los elementos de la sintaxis:

1. P˅Q (disyunción)

P: El televisor se descompuso.

Q: No hay señal.

P˅Q: El televisor se descompuso o no hay señal.

2. ¬P (negación)

P: Ayer hubo examen.

¬P: Ayer no hubo examen.

Semántica.

Se define especificando la interpretación de los signos de proposición y de las constantes y especificando el significado de los conectores lógicos. Un signo de proposición significa que cualquier hecho arbitrario puede ser su interpretación.

Esta puede tomar valores de verdad distintos dependiendo del enunciado, es decir pueden tener uno, dos o tres valores, los cueles pueden ser cierto, incierto o falso, que se suelen asociar a los valores +1, 0 y -1.

Tomando en cuenta que V es verdadero, I es Incierto y F es Falso, se tiene:

Mediante las tablas de verdad se define la semántica de las oraciones.

Ejemplo.

(Utilizando tablas de verdad).

Validez e inferencia (deducción).

Las tablas de verdad sirven no solo para definir los conectores, sino también para probar la validez de las oraciones. Si se desea considerar una oración, se construye una tabla de verdad con una hilera por cada una de las posibles combinaciones de valores de verdad correspondientes a los signos propositivos de la oración. Se calcula el valor de verdad de toda la oración, en cada una de las hileras. Si la oración es verdadera en cada una de las hileras, la oración es válida.

Ejemplo clásico:

 Todos los filósofos son sabios

 Algunos griegos son filósofos

 Luego algunos griegos son sabios

Instituto Tecnológico de Comitán

P˄Q (conjunción)

P: La casa es grande.

Q: El patio está limpio.

P˄Q: La casa es grande y el patio está limpio

Conclusión

Como conclusión se tiene que el tema a pesar de haberse visto al menos de parte mía, desde preparatoria, se tenían algunos conceptos aún erróneos, pues al investigar más a fondo se logra una correcta interpretación de los puntos solicitados, pues siendo esto así algo muy positivo ya que para más adelante entender lo que son las aplicaciones de los mismos en inteligencia artificial, más exacto en el tema de sistemas basados en conocimientos, ya que como he mencionado antes este es el punto principal donde se aplican estos puntos investigados, por lo tanto el tenerlos ya más claros y el poder interprétalos de una forma más exacta es un avance enorme al menos para mí ya que ahora bien no estaré tan perdido a comparación de cuándo empecé este producto de aprendizaje.

Bibliografía

Coordinación de Ciencias Computacionales. (2020). Métodos de Inteligencia Artificial. Obtenido de ccc.inaoep.mx:

https://ccc.inaoep.mx/~esucar/Clases-MetIA/MetIA-05.pdf

Escuela Técnica Superior de Ingeniería de Sistemnas Informáticos. (2020). 1.9 Lógica de predicados. Obtenido de

dma.etsisi.upm.es: http://www.dma.etsisi.upm.es/usuarios/Fmartin/Docencia/LyMD-19/LyMD-19-Logica-III.pdf

Unidad II: Representación del conocimiento, razonamiento y los Aspecto Metodológicos en Inteligencias Artificial.

(Recuperado el 2 de diciembre de 2020). Obtenido de Sites.google.com:

https://sites.google.com/site/clasedeinteligenciaartificial/home/unidad-ii-representacion-del-conocimientorazonamiento-

y-los-aspecto-metodologicos-en-inteligenciasartificial?

tmpl=%2Fsystem%2Fapp%2Ftemplates%2Fprint%2F&showPrintDialog=1