Rasonamiento: La relacion entre las premisias y la conclicion que en este sentido es funsional.

Una inferencia es simplemente rasionamiento formal en el sentido que lo importante es la forma de las premisas y la conclucion y las relacion entre ellas no su contenido. Razonamiento deductivo: Esto quiere de sir que si la spremisas son verderas la conclusion tambien lo es, ejemplo1. Premisa 1: todos los libros sobre por computadoras son terriblemente aburridos. Premisa 2: este libro es sobre computadoras. Conclucion: Este libre esterriblemente aburrido. Ejemplo 2 Premisa 1: todos los libros sobre computadoras son terrible mente aburridos. Premisa 2: este rriblo no es terriblemente aburrido. Conclusion: este libro no es sobre computadoras. Racionamiento inductivo: Este tipo de razonamiento inductivo las premisas respaldan con mucha fuerza a la conclusion. Para tener tanta fuerza debe tener un gran numero de premisas. Ejemplo: Premisa 1: el sisne es blanco Premisa 2: el sisne es blanco Premisa 3: el sisne tres es blancon . el sisne N . premisa N . el sisne es blanco. Conclusion todos los sisnes son blancos. Recionamientos abdctivos: Este tipon de razionamiento se usan actual mente para resolver problemas de diacnostico donde tambien sellama razonamiento bazado en ipotesis. Eejemplo:

Premisa 1: todos los pasientes con epatitis precentan ictelicia Premisa2: este pasiente pasiente precenta ictelicia. Conclusion: este pasiente tiene epatitis. Este timpo de razonamiento tambien le dicen aproximado. De hecho, la conclusion deveria formularse de esta forma biendo que este pasiente precenta ictelicia, puedo suponer, en princcipio, que tiene epatitis, amenos que aya descartado esta ipotesis por otro motivo. La abduccion: es la base de los sistemas basados en el conocimiento que relacionan con logica ballesyana razonamiento monotomo este tipo de razonamiento es cuando alolargo del proceso de conjunto de cosas salidas es siempre creciente. Pero en la realidad suele ocurrir que amedida que abanza el proceso de inferencias, nuevas evidencias o absiones del mismo sistema anulan premisas o conclusiones anteriores y para formalizar esto senecesitan una logica no monotoma. Un proceso frecuente es el razionamiento por defecto: suponer que algo es verdadero o falso mientras no aya evidencia de contrario. El sistema que razona debe tener en cuenta que la aparicion deesa esta evidencia puede tener un efecto retroactivo sobre las conclusiones obtenidas a ese dsistema con mun mente se lellama sistema de mantinimiento de la verdad . Monotomo y no monotomo ejemplo tarea

Monotomo: Esta lloviendo Regla if esta lloviendo THE llevar un paraguas Conclusion: llevar un paragua

montono
adj montono [mo'notono, -na] que no tiene variedad, que es repetitivo

montono, -na adj.

1 Que tiene siempre el mismo tono o entonacin. 2 Que no vara y por esta razn produce aburrimiento o cansancio.

Un razonamiento sellama monotomo cuando a lo largo del proceso el conjunto de <<cosas sabidas>> es siempre creciente

Una lgica no monotnica, o lgica no montona, es un sistema lgico cuya relacin de consecuencia lgica es no monotnica. La mayora de los sistemas lgicos tienen una relacin de consecuencia monotnica, lo que quiere decir que el agregar una frmula a una teora nunca se produce una reduccin de su conjunto de consecuencias. Intuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no se reduce el conjunto de las cosas conocidas.

Un proceso frecuente es el razonamiento por defecto: suponer que algo es verdadero (o falso) mientras no haya evidencia de lo contrario Logica no monotona: poder precentar leyes como si x es un ser humano, entonces x puede andar, amenos que haya algo que lo contradiga.

Un ejemplo del ospital. Todas las personas que usan bata blanca son doctores. Ellos usabn bata blanca: entonces son doctores. Ejem.plo dos un laboratorio quimico. Como ellos usan bata blanca. Entonces son doctores. .. emos caido en un error, ellos no son doctores, ellos son quimicos. Logia de proposiciones: Estambien llamada logica de enunciados o logica de orden cero, no tiene coma por si misma mucho utilidad para conocimiento, x dos razones. 1.- permite introducir de un manera sensilla algunos conceptos que explicados directamente para la logia de predicados son mas dificil de captar . 2.- con una pequea extencion se combierte en una logiaca de orden cero que desde el punto de vista teorico es una forma restringida de la logica de predicados de primer orden y desde el punto de vista practico es la base de los sistemas basados en reglas con triplas la cual es objeto- atributo.-valor.

Conceptuaciones de la logica: Esta debe de estar formada por:

1.- un universo del discurso U del discurso, consistence en un conjunto finito dee proposiciones: enunciados elementales de los que puede desirse que son verdaderos o false. 2.- un conjunto de enunciados conpuestos con los enunciados elementales y las particulas Y, o,no, si en tonces,y solo si, llamadas conectivas. Las particulas pueden aplicarse no asolo a la spreposisiones si no tambien a enunciados compuestos lo que por obias razones ase potencial mente infinito el numero de enunciados posibles. Pero una conceptacion contendra un numero finito de enunciados. Son los que al reprecentar en conocimiento so bre un dominio en el lenguaje de la logica dara lungar a los axiomas del dominio. Alguas proposiones pueden ir acompaadas de su valor de verdad o falcedad, y de otra se podr calcular su valor por ejemplo: una conseptuacion podria estar formadas por las preposisiones llueve en xalapa(valor:verdaddero:) y hay un caos de trafico y el enunciado sillueve en xalapa hay un caos de trafico la logica permite deducir hay un caos de trafico tiene el valor verdadero.