Respuesta breve a las siguientes pregunta:
Diferencias entre el lenguaje proposicional y el predicativo.
El lenguaje proposicional lo utilizamos para representar conocimientos en donde no sea necesario formalizar propiedades entre individuos o relaciones entre ellos.
Por ejemplo: En lenguaje proposicional, "Algunos alumnos prefieren dormir" se representaría por p, sin embargo esta espresión no nos proporciona información a cerca de los alumnos que prefieren dormir. Lo mismo ocurre con la proposición "Todos los alumnos prefieren dormir", se representaría por la proposición q, por ejemplo y tampoco nos permite referirnos a todos los elementos de un dominio.
El lenguaje de predicados, generaliza el lenguaje proposicional introduciendo nuevos elementos del lenguaje con los que se describen con más detalle los elementos sintácticos de una proposición; ésta se formaliza atendiendo a los individuos, sus propiedades y relaciones, dentro de un conjunto de referencia.
En este ejemplo se visualiza las ventajas del lenguaje de predicados frente al proposicional.
P1. Todas las máquinas transforman energía.
P2. El coche es una máquina.
Q. El coche transforma energía.
Formalizando el conocimiento con el lenguaje de proposiciones, lo primero que hay que hacer es definir un Marco Conceptual, ¿Qué es el Marco Conceptual?
El conjunto de símbolos que elijamos para formalizar las proporciones y se representa con MC. En MC estarán todas las proposiciones atómicas que aparecen en el problema.
M.C.={p: Todas las máquinas transforman energía, q: El coche es una máquina, r: El coche transforma energía.}
El razonamiento p , q ⇒ r
Este razonamiento no es correcto porque desde un punto de vista sintáctico no existe una conexión entre las premisas y la conclusión.
Ahora formalizaré el conocimiento utilizando el lenguaje de los predicados.
M.C.{c: coche, M(x) :x es una máquina. E(x): x transforma energía}
∀x [M(x) -> E(x)], M(c) ⇒ E(c)
- Un par de ejemplos de razonamiento en lenguaje natural, y formalizados en lenguaje de proposiciones.
Hoy cenamos con tus padres pero la semana que viene vendrás con los míos.
M.C.{p: Hoy cenamos con tus padres. q: la semana que viene vendrás con los míos.}
p ^ q
Si mañana vamos de excursión tomaremos el sol.
M.C. {p: mañana vamos de excursión. q: tomaremos el sol.}
p -> q
- Un par de ejemplos de razonamientos en lenguaje natural, y formalizados en lenguaje de predicados.
Todos los alumnos estudian un Grado.
M.C. {Alu(x): x es alumno, Gra(x): x es un grado.}
∀x [Alu(x) -> Gra(x)]
Algunos alumnos son extranjeros
M.C. {Alu(x): x es Alumno, Ex(x): x es extranjero.}
∃x[Alu(x) ^ Ex(x)]
- Un ejemplo de conjunto formado por la unión de otros tres.
Los estudiantes de la comunidad Valenciana forman un conjunto unión de otros tres, los estudiantes Alicantinos, los Castellonenses y los Valencianos.
- Escribe soluciones a los ejercicios propuestos, ver entrada de la bitácora con ejercicios propuestos del tema 2.
No hay comentarios:
Publicar un comentario