Lgica no monotnica

Una lgica no monotnica, o lgica no montona, es un sistema lgico cuya relacin de consecuencia lgica es no monofnico. 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
Si son las seis de la tarde entonces normalmente Antonio se encuentra en casa:

pq
Donde P denota Son las seis de la tarde ahora y q Antonio se encuentra en casa ahora. De lo cual asumimos que la conclusin de Antonio est en casa ahora es inconsistente como lo muestra el esquema:

pq, p ,q pq, p q, q

Razonamiento Monotno E l ra zo n a m ien t o m o n t on o , e s e l qu e u t iliza co n t rad iccio n es p a ra p ro ce sa r. E lim in a un he ch o (f a cto r d e co n o cim ie n to ) o b t en ie nd o la co ntra d icci n ha st a qu e lle ga a un a co n clu si n f ina l. E JE MP L O : Cu a n d o se ve a u n a p e rson a p e n sa mo s e n lo m a l qu e se ve , re a liza m o s e l m ism o a cto sin p e n sar, y co n clu im o s qu e so m o s igu a l a la b a su ra e n la ca lle t iran d o b a su ra e n la ca lle y la crit ica m o s, p e ro cu ando ca e m o s en u n a co n t ra d iccin p e rso na qu e est a b a t irando

Lgica no-montona modal

Introduce el operador modal M (es modal ya que indica una modalidad de verdad). Y adems es necesario establecer un mecanismo de mantenimiento de coherencia (traducido como mantenimiento de verdad truth maintenance)que permita eliminar el supuesto en cuanto se presente un hecho que lo invalide. Lgica autoepistmica Se incluyen frmulas que significan que algo no es conocido, de hecho aprender algo que antes no era conocido lleva a el reemplazo de la frmula que especificaba que esa parte de conocimiento no es conocida. Este reemplazo causado por una adicin, acerca del conocimiento es la lgica autoepistmica

Lgicas de condicionales revocables

Se llama revocables a todos aquellos razonamientos no deductivos en los cuales la conclusin es inferida a partir de informacin incompleta, es decir, a partir de premisas que representan condiciones insuficientes para afirmar la conclusin. Razonamientos de este tipo son habituales en un gran nmero de contextos tales como la investigacin cientfica, el diseo de artefactos de todo tipo, la planificacin de organismos sociales, el diagnstico de situaciones, etc. (1)Si el termostato est puesto en 21 C y en la habitacin hace 25 C, entonces el acondicionador de aire lanzar aire fro. El termostato est puesto en 21 C y en la habitacin hace 25 C. Luego, el acondicionador de aire lanzar aire fro. (2) La mayora de las aves vuelan. piolin es un ave. Luego, piolin vuela El razonamiento (1) es revocable, pues no estn indicadas todas las condiciones suficientes para la conclusin, tales como que el acondicionador de aire est conectado, que no haya un corte de energa elctrica, etc. En (2), hablar de la mayora de las aves no es suficiente para extraer conclusiones acerca de un pjaro en particular.

sistemas basados en reglas

Los sistemas basados en reglas trabajan mediante la aplicacin de reglas, comparacin de resultados y aplicacin de las nuevas reglas basadas en situacin modificada. Tambin pueden trabajar por inferencia lgica dirigida, bien empezando con una evidencia inicial en una determinada situacin y dirigindose hacia la obtencin de una solucin, o bien con hiptesis sobre las posibles soluciones y volviendo hacia atrs para encontrar una evidencia existente (o una deduccin de una evidencia existente) que apoye una hiptesis en particular.

MYCIN.- fue diseado a mediados de los setenta. Es un sistema interactivo que diagnostica infecciones bacterianas y suministra la terapia de antibiticos. MYCIN representa el razonamiento experto como una serie de reglas condicin - conclusin, que relacionan los datos del paciente con hiptesis de infeccin y al tiempo estiman la certeza de cada regla. Trabaja hacia atrs con diagnosis hipottica, empleando reglas para estimar los factores de certeza de las conclusiones basadas en los factores de certeza de su historial para comprobar si la evidencia apoya la diagnosis. Si no hay informacin suficiente para comprobar la hiptesis, pedir al mdico datos adicionales y evaluarn en forma exhaustiva todas las hiptesis. Cuando ha finalizado, MYCIN da los tratamientos para todas aquellas diagnosis que han alcanzado un alto valor de certeza. G2 de Gensym[1].- G2 de Gesnym es un programa computacional del tipo Rule Engine para soluciones de procesos crticos que automatizan las decisiones en tiempo real. Con G2 las organizaciones ms grandes del mundo dedicadas a la manufactura, al servicio pblico, comunicaciones, transporte urbano, aeroespaciales, finanzas y gestin gubernamental, maximizan la agilidad de su negocio y logran mayores niveles de rendimiento. Entre los usuarios de G2 estn: ABB, Alcan, Codelco, Dow Chemical, DuPont, Ericsson, ExxonMobil, Foxboro, Petrobrs, Shell, Unilever, Ford, Hitachi, HP, JEA, Lafarge, Motorola, Nokia, Canal de Panam, Siemens, Tokio electric and Power, Toyota, General Electric, NASA, el gobierno de Estados Unidos y muchos otros.