100% encontró este documento útil (1 voto)
647 vistas5 páginasLógica Multivaluada en IA
Este documento discute la lógica multivaluada y la existencia de posibles valores de verdad adicionales a lo verdadero y lo falso. Explica que algunas proposiciones como "Mañana habrá una batalla naval" no son ni verdaderas ni falsas en el presente, sino que carecen de valor de verdad hasta que ocurra o no el evento futuro. También resume un contraargumento reciente sobre cómo el valor de verdad de una proposición puede depender de cuándo se evalúa.
Cargado por
Vianell AlmazanDerechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
100% encontró este documento útil (1 voto)
647 vistas5 páginasLógica Multivaluada en IA
Este documento discute la lógica multivaluada y la existencia de posibles valores de verdad adicionales a lo verdadero y lo falso. Explica que algunas proposiciones como "Mañana habrá una batalla naval" no son ni verdaderas ni falsas en el presente, sino que carecen de valor de verdad hasta que ocurra o no el evento futuro. También resume un contraargumento reciente sobre cómo el valor de verdad de una proposición puede depender de cuándo se evalúa.
Cargado por
Vianell AlmazanDerechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
Lógica multivaluada
INGENIERÍA EN SISTEMAS
COMPUTACIONALES
INSTITUTO TECNOLÓGICO SUPERIOR DE
LAS CHOAPAS
-CAMPUS ZARAGOZA-
MATERIA: GRADO Y GRUPO:
Inteligencia Artficial Séptimo “C”
PROFESOR: ALUMNA:
Ing. Miguel Mateos Vasconcelos Vianell Guadalupe
Reyes Almazán Alor
Definición
Es el conjunto de las variables del
lenguaje que toma valores sobre diversos
universos o dominios.
Por consiguiente, tanto los lenguajes
lógicos utilizados, como las estructuras
matemáticas que los interpretan son
multivariado o heterogéneos; esto es, el
conjunto de las variables del lenguaje
toma valores sobre diversos universos o
dominios.
El principio de bivalencia ha sido tomado
tradicionalmente como un principio lógico
fundamental: toda proposición es verdadera o 1. Cuál sería ese tercer valor.
falsa. Si no es verdadera, es falsa y si no es 2. En qué sentido es un valor de verdad.
falsa, es verdadera. 3. A qué (tipo de) proposiciones se le
aplicaría. Mostrar ejemplos de
No hay tercera opción. Por eso se le conoce proposiciones que claramente no sean
verdaderos ni falsos.
también como principio del tercer excluso. 4. ¿Cómo se comportarían lógicamente
dichas proposiciones? ¿Cómo
La carga de la prueba descansa sobre quién interactuarían con otras proposiciones?
defienda la tesis de que el principio es falso, es ¿Cuál es su lógica?
decir que existen más valores además de los dos
tradicionales. Quien quiera defender la
existencia de un tercer valor de verdad (o de
otros más) tendría que mostrar:
Ejemplo:
Aristóteles dijo:
“Mañana habrá una batalla naval”
Según defensores de un tercer valor de verdad, como Jan
Lukazewicz; Si mañana hay una batalla naval, la proposición
será verdadera y si no la hay, será falsa. Pero esto no nos dice Recientemente, John MacFarlane ha desarrollado un
nada sobre hoy. nuevo contra-argumento. Según él, cuando mañana
Hasta mañana, no se cumplirán ninguna de las condiciones. La diga “Lo que dijiste ayer (es decir, que habría una
proposición, por lo tanto, por ahora carece de cualquiera de esos batalla naval) es cierto” no estaré diciendo que la
valores de verdad hoy. Ya mañana tendrá alguno. proposición era verdadera ayer, sino que eso que dijiste
ayer es verdadero hoy.
Las proposiciones NO son entes temporales, aunque los
hechos de los que hablen sí lo sean.
