Download Transformación del Lenguaje Natural al Lenguaje

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 19.292.808
ABRAHAM YURIANI
C.I 22.764.375
MORA KARELLYNS
C.I 16342075
¿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.
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.
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.
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.
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
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.
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
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)
Símbolos lógicos utilizados para
representar los conectivos
Negación:
¬
Conjunción:
∧
Disyunción:
∨
Condicional:
→
Bicondiciona
l:
↔
para
todo o algu
nos
todas
exist
¥x:
en
p(x)
Эx;
p(x);
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
c
c
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
p
q
p
q
q
c
p∧c
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.
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
r
¬d
d∨p
r∧o
o
p