Razonamiento Monotono y No Monotono

INSTITUTO TECNOLOGICO SUPERIOR DE FELIPE CARRILLO
PUERTO
DOCENTE:
ING. PALOMA GONGORA SAABIDO
CONTENIDO:
TAREA TIPOS DE RAZONAMIENTO Y EL TEOREMA DE BAYES
ALUMNO:
Juan Alejandro Prez Cano
SEMESTRE:
8
CARRERA:
INGENIERIA EN SISTEMAS COMPUTACIONALES
ndice
INTRODUCCION:................................................................................................................................. 3
Razonamiento montono................................................................................................................... 4
TABLA COMPARATIVA........................................................................................................................ 7
CONCLUSION:..................................................................................................................................... 9
BIBLIOGRAFIA:................................................................................................................................. 10
INTRODUCCION:
Se quiere realizar su anlisis, para entender ms acerca de la inteligencia artificial se

presentar dos mtodos de razonamiento lgico que es el razonamiento montono y el
razonamiento no-montono cada una de ellas se basa en evaluar los hechos y entre ello se
abarcan otros tipos de razonamientos para evaluar los hechos por ejemplo de la lgica
proposicional, veremos los ejemplos ms claros para entender mejor los conceptos y las
caractersticas y como poder entenderlo correctamente. Existen diversos enfoques para
analizar estos patrones y entre ellos est el de las lgicas no montonas, el campo del
razonamiento no montono es la derivacin de conclusiones dignas a partir de una base de
conocimiento considerada como un conjunto de frmulas en una lgica conveniente.
Razonamiento montono.
La programacin lgica Mquina convencional (von Neumann) algoritmo datos resultados

Sistema Basado en Conocimiento especificacin (reglas) datos (hechos) resultados
Algoritmo = lgica + control
Lgica de predicados de primer orden
Un predicado representa una propiedad o relacin de un determinado objeto del universo

del discurso
Un predicado de primer orden es aquel que se refiere a propiedades de objetos y relaciones

entre ellos rubia (Sara). Moreno (Carlos). Noviazgo (sara, carlos). Primos(X, Y):-
progenitor(A, X), progenitor (B, Y), hermanos(A, B).
La lgica de predicados de primer orden estudia razonamientos de tipo deductivo, exactos

true/false) y basados en predicados de primer orden (Clculo de predicados como
lenguaje de programacin, Kowalski 1974)
Razonamiento no montono.
El razonamiento no montono es una forma de razonamiento que contrasta con el razonamiento
deductivo estndar. La mayora de los sistemas lgicos tienen una relacin de consecuencia
montona, 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.
Simblicamente:
Donde A es una frmula cualquiera y y son conjuntos de frmulas cualesquiera.
Una lgica montona no puede manejar varios tipos de razonamiento tales como el
razonamiento por defecto (los hechos pueden ser conocidos nicamente por la carencia de
evidencia de lo contrario), el razonamiento abductivo (los hechos slo se deducen en calidad
de explicaciones probables), el razonamiento acerca del conocimiento (la ignorancia de un
hecho debe ser retractada cuando el hecho sea conocido), y la revisin de creencias (nuevo
conocimiento puede contradecir creencias anteriores, obligando a revisarlas). Estas
limitaciones son un inconveniente en gran cantidad de problemas que se presentan en
inteligencia artificial, que tienen un carcter no montono.
Un razonamiento se llama montono cuando a lo largo del proceso el conjunto de cosas

sabidas es siempre creciente. Pero en la realidad suele ocurrir que, a medida que avanza el
proceso de inferencias, nuevas evidencias o acciones del mismo sistema anulan premisas o
conclusiones anteriores, y para formalizar esto se necesita una lgica no montona. Un
proceso frecuente es el razonamiento por defecto: suponer que algo es verdadero (o falso)
mientras no haya evidencia de lo contrario. El sistema que razona debe tener en cuenta que
la aparicin de esa evidencia puede tener un efecto retroactivo sobre las conclusiones
obtenidas anteriormente, para lo que debe incluir un sistema de mantenimiento de la verdad.
Dentro de la IA, el estudio del razonamiento no montono y sus aplicaciones, son sinnimos
de estudios y tcnicas formales de razonamiento por default, esto quiere decir, que para
poder formalizar los procesos de omitir conclusiones que son razonables, al tener ausencia
de informacin o lo contrario, que los hechos conocidos no son estrictamente garantizables
como ciertos.
Existen sistemas de razonamiento (Montono y no Montono), los cuales son utilizados para
inferir conclusiones a partir de una informacin dada, y son representados por medio de
programas lgicos, pero ellos no se serviran, si no existiera algn mtodo que nos permitiera
inferir lo que es cierto y lo que es falso, dicho de otra forma, su semntica. Dentro del
razonamiento no montono se encuentra la completitud de Clark.
La inteligencia artificial se interes desde sus comienzos por desarrollar teoras acerca del
comportamiento de agentes que deben extraer conclusiones a partir de informacin dada.
Dicho artefacto debe poseer varias formas de conocimiento y creencias acerca de su mundo,
y debe usar esa informacin ulterior acerca de aquel mundo con el fin de tomar decisiones,
planificar y realizar acciones, responder a otros agentes, etc. El problema tcnico para la es
caracterizar los patrones de razonamientos que requiere semejante artefacto inteligente y
realizarlos computacionalmente.
Existen diversos enfoques para analizar estos patrones y entre ellos est el de las lgicas no
montonas, el campo del razonamiento no montono es la derivacin de conclusiones
dignas (pero no infalibles) a partir de una base de conocimiento considerada como un
conjunto de frmulas en una lgica conveniente
TABLA COMPARATIVA.
TIPOS DEFINICION CARACTERISTICAS EJEMPLO
MONOTONO El razonamiento montono es el -Una lgica montona no Cuando se ve a una

que utiliza contradicciones para puede manejar varios tipos persona tirando basura
procesar, Elimina un hecho de razonamiento tales y pensamos en lo mal
obteniendo la contradiccin como el razonamiento por que se ve, la criticamos,
hasta que llega a una conclusin defecto, el razonamiento pero cuando hacemos
final. El razonamiento montono abductivo. el mismo acto, sin
abarca temas como lgica pensar caemos en una
proposicional, deduccin lgica y -Un razonamiento se llama contradiccin y
lgica de primer orden. montono cuando a lo concluimos que todos
largo del proceso el somos igual a la
conjunto de cosas persona que estaba
sabidas es siempre tirando basura en la
creciente. Pero en la calle
realidad suele ocurrir que,
a medida que avanza el
proceso de inferencias,
nuevas evidencias o
acciones del mismo sistema
anulan premisas o
conclusiones anteriores.
NO MONOTONO El razonamiento no montono es -Resuelve problemas en Scrates es hombre,

una forma de razonamiento que muchas aplicaciones de entonces Scrates es
contrasta con el razonamiento inteligencia artificial. mortal.
deductivo estndar. La mayora
de los sistemas lgicos tienen -Son sinnimos de estudios Pili es pjaro,
una relacin de consecuencia y tcnicas formales de Entonces pili vuela.
montona, lo que quiere decir razonamiento por default,
que el agregar una frmula a una esto quiere decir, que para
teora nunca se produce poder formalizar los
una reduccin de su conjunto de procesos de omitir
consecuencias. Intuitivamente, conclusiones que son
la monotonicidad indica que el razonables, al tener
agregar nuevos conocimientos ausencia de informacin o
no se reduce el conjunto de las lo contrario, que los hechos
cosas conocidas. conocidos no son
estrictamente
Dentro de la IA, el estudio del garantizables como ciertos.
razonamiento no montono y
CONCLUSION:
Existen sistemas de razonamiento, los cuales son utilizados para inferir conclusiones a partir
de una informacin dada, y son representados por medio de programas lgicos, pero ellos no
se serviran, si no existiera algn mtodo que nos permitiera inferir lo que es cierto y lo que
es falso, dicho de otra forma, su semntica. Estos tipos de razonamientos sern necesarios
para entender mejor acerca de la inteligencia artificial y mejorar el conocimiento obtenido, de
igual manera es importante saber de ello para nuestra formacin profesional
BIBLIOGRAFIA:
Julio Antonio Salazar. (junio 17, 2013). RAZONAMIENTO MONTONO. Mayo 18, 2017, de
blogspot.mx Sitio web: http://itsjc-isc-ia.blogspot.mx/2013/06/2-actividad-de-unidad-2-ia_2593.html
Miguel ngel vila Gerea & Juan Carlos Jair Jimnez Rodrguez. (marzo 13,2013).
RAZONAMIENTO MONOTONO Y NO MONOTONO. mayo 17, 2017, de http://documents.mx Sitio
web: http://documents.mx/documents/diferencia-entre-razonamiento-monotono-y-no-monotono.html

Razonamiento Monotono y No Monotono

Cargado por

Copyright:

Formatos disponibles

Razonamiento Monotono y No Monotono

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Razonamiento Monotono y No Monotono

Cargado por

Copyright:

Formatos disponibles

INSTITUTO TECNOLOGICO SUPERIOR DE FELIPE CARRILLO

Se quiere realizar su anlisis, para entender ms acerca de la inteligencia artificial se

La programacin lgica Mquina convencional (von Neumann) algoritmo datos resultados

Algoritmo = lgica + control

Lgica de predicados de primer orden

Un predicado representa una propiedad o relacin de un determinado objeto del universo

Un predicado de primer orden es aquel que se refiere a propiedades de objetos y relaciones

La lgica de predicados de primer orden estudia razonamientos de tipo deductivo, exactos

Donde A es una frmula cualquiera y y son conjuntos de frmulas cualesquiera.

Un razonamiento se llama montono cuando a lo largo del proceso el conjunto de cosas

TIPOS DEFINICION CARACTERISTICAS EJEMPLO

MONOTONO El razonamiento montono es el -Una lgica montona no Cuando se ve a una

NO MONOTONO El razonamiento no montono es -Resuelve problemas en Scrates es hombre,

También podría gustarte