Transformación del Lenguaje Natural al Lenguaje Lógico

Presentación del tema: "Transformación del Lenguaje Natural al Lenguaje Lógico"— Transcripción de la presentación:

1 Transformación del Lenguaje Natural al Lenguaje Lógico
República Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Universitaria Universidad Politécnica Francisco de Miranda Programa Nacional de Formación en Informática (PNF) Materia: Lógica Transformación del Lenguaje Natural al Lenguaje Lógico INTEGRANTES VALENTE CESAR C.I ABRAHAM YURIANI C.I MORA KARELLYNS C.I

2 ¿Que es el lenguaje? Se considera como un conjunto de oraciones, que usualmente es infinito y se forma con combinaciones de palabra. Es necesario que esas combinaciones sean correctas y tengan sentido.

3 ningún tipo de conocimiento técnico.
Lenguaje Natural Cualquier lenguaje que se aprende por sentido común, a través de la convivencia, sin ningún tipo de conocimiento técnico.

4 Lenguaje Formal en la lógica
Consiste en abreviar o simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones, se reducen en el lenguaje formal a una sola letra.

5 Funciones del lenguaje
El lenguaje posee principalmente tres funciones: Comunicación o información El lenguaje se usa con la intención de enunciar algo determinado Uso Expresivo El lenguaje se usa para exponer sentimientos o emociones Uso directivo El lenguaje se usa con la finalidad de originar, modificar o impedir una conducta en el receptor.

6 Categorías del lenguaje formal
El lenguaje formal debe constar de tres tipos de categorías: 1 Una tabla de símbolos formales 2 Una relación de reglas de formación de formulas 3 Reglas de transformación de formulas

7 Como formalizar el lenguaje natural al lenguaje de la lógica
supone una labor de traducción del lenguaje natural al lenguaje de la lógica preposicional. Esta tarea tiene dos partes, la de crear un esquema de traducción y la de traducir las distintas conjunciones del lenguaje natural al lenguaje lógico.

8 Reglas del lenguaje formal
Se necesita una variable preposicional Si A (primera premisa) esta bien formulado, el ¬A estará bien formulado Si A y B (primera y segunda premisa) están bien formulados también: A ^ B, A ∨ B, A → B, A ↔ B Solo pueden estar formulados de manera correcta la primera, segunda y tercera premisa

9 Conectivos en el lenguaje lógico y en el lenguaje natural
Estas son palabras que en el lenguaje natural conectan enunciados y en el lenguaje lógico cumplen una función lógica para realizar sus diferentes operaciones, entre estos conectivos se encuentran: La negación (no es cierto que) La conjunción (y) La disyunción (o) El condicional (si ... entonces) ¥x; p(x): para todo o todas x; p(x) Эx; p(x);para algunos existen x; P(x)

10 Símbolos lógicos utilizados para representar los conectivos
para algunos existen Эx; p(x); Negación: Conjunción: ∧ Disyunción: ∨ Condicional: → Bicondicional: ↔ todo o todas ¥x: p(x)

11 Ejemplos de transformación de lenguaje natural al lenguaje lógico
Algunos hombres son filósofos. Sócrates es hombre. Luego Sócrates es filósofo q p c q c p Si la temperatura de la superficie terrestre aumenta, entonces la precipitación pluvial aumenta y el nivel de los mares se eleva. La temperatura de la superficie terrestre está aumentando. Por lo tanto el nivel de los mares se eleva q p ∧ c q c

12 Ejemplos de transformación de lenguaje natural al lenguaje lógico
A partir de suponer que Mar del Plata está a orillas del Mediterráneo, entonces Mar del Plata está en el hemisferio Norte. Pero Mar del Plata está en el hemisferio Sur. Por lo tanto no es cierto que Mar del Plata esté a orillas del Mediterráneo. d p r ¬ d Bolivia le vende gas a Brasil o Paraguay le vende electricidad a Brasil. Brasil compra recursos y soluciona su problema energético, por lo tanto Brasil soluciona su problema energético. d ∨ p r ∧ o o