Sistema de

razonamiento Lgico
 Es aquel sistema que proporciona una estructura que agiliza la
descripcin, ejecucin y el planteamiento de un proceso
industrial.

Los administradores de operaciones toman decisiones que se

relacionan con la funcin de operaciones y los sistemas de
transformacin que se emplean.
 Estos son sistemas que utilizan los gerentes de primera lnea
dada la relevancia que tienen como factor de decisin
empresarial.

El anlisis de este sistema permite familiarizarse de una forma

ms eficiente con las condiciones en que se encuentra la
empresa en referencia al sistema productivo que se emplea.
Sintaxis
Un buen lenguaje de representacin de conocimiento debe de
combinar las ventajas de los lenguajes naturales ( espaol,
quechua, ingles, etc) y lenguajes formales(C, pascal, lisp, etc):

Debe ser lo suficiente expresivo y conciso para que nos

permita expresar de manera efectiva todo lo que hay que
decir.

Debe ser inequvoco (no ambiguo) e independiente del

contexto para su interpretacin.

Debe ser eficiente en el sentido de que debe existir un

procedimiento de inferencia que permita obtener nuevas
inferencias a partir de oraciones en nuestro idioma.
Que es inferencia
Una inferencia es una evaluacin que realiza
la mente entre proposiciones.

En lgica formal son expresiones bien formadas de

un lenguaje formal que, al ser relacionadas , permiten trazar
una lnea lgica de condicin o implicacin lgica entre las
diferentes.

Es la operacin lgica utilizada en los motores de inferencia de

los Sistemas Expertos.
Motor de Inferencia
El Motor de Inferencias (MI) es un programa de control cuya
funcin es seleccionar las reglas posibles a satisfacer el
problema, para alcanzar una solucin o conclusin
determinada y para ello se vale de ciertas estrategias de
control sistemticas o de estrategias heursticas.
Reglas de Inferencia
La mayora de los sistemas expertos almacenan su
conocimiento en forma de reglas de inferencia:

si esto, entonces eso,

si eso entonces aquello otro

Tambin las reglas de inferencia permiten relacionar hechos o

situaciones del mundo real para deducir otros hechos que en
principio no son evidentes sin la utilizacin de dichas reglas.

Por ejemplo, si la premisa de una regla es cierta, entonces la

conclusin de la regla debe ser tambin cierta. Los datos
iniciales se incrementan incorporando las nuevas
conclusiones.
Primera Regla
Modus Ponendo Ponens (PP)

Es quizs la regla de inferencia mas comnmente utilizada. Se

utiliza para obtener conclusiones simples. En ella, se examina
la premisa de la regla, y si es cierta, la conclusin pasa a
formar parte del conocimiento.

Como ilustracin, supongamos que tenemos la regla, Si A es

cierto, entonces B es cierto y que sabemos adems que A es
cierto. La regla Modus Ponens concluye que B es cierto. Esta
regla de inferencia, que parece trivial, debido a su
familiaridad, es la base de un gran nmero de sistemas
expertos.
 El condicional o implicacin es aquella operacin que
establece entre dos enunciados una relacin de causa-efecto.
La regla ponendo ponens significa, afirmando afirmo y en
un condicional establece, que si el antecedente (primer
trmino, en este caso p) se afirma, necesariamente se afirma
el consecuente (segundo trmino, en este caso q).
Segunda Regla
Modus Tollendo Tollens (TT)

se utiliza tambin para obtener conclusiones simples. En este

caso se examina la conclusin y si es falsa, se concluye que la
premisa tambin es falsa.

Por ejemplo, supongamos de nuevo que se tiene la regla, Si A

es cierto, entonces B es cierto pero se sabe que B es falso.
Entonces, utilizando la regla Modus Ponens no se puede
obtener ninguna conclusin, pero la regla Modus Tollens
concluye que A es falso.
 Tollendo tollens significa negando, niego, y se refiere a una
propiedad inversa de los condicionales, a los que nos
referamos en primer lugar.

Si de un condicional, aparece como premisa el consecuente

negado (el efecto), eso nos conduce a negar el antecedente (la
causa), puesto que si un efecto no se da, su causa no ha
podido darse.
Inferencias Por Evidencias
Evidencia inductiva: Surge de una misma ocurrencia en una
serie de casos. Observando que muchos lobos tienen la cola
larga, infiero que los lobos tienen la cola larga, como una
generalizacin.

Evidencia enumerativa o induccin completa: Cuando se

enumeran todos los casos la inferencia se convierte en una
verdad demostrada, como induccin completa. Tal es el caso
de que tras contar a todos y cada uno se pueda inferir: los
alumnos de esta clase son 22.
Clases de Inferencia
Inferir por lgica clsica: Inferencia que slo admite dos valores:
verdadero o falso.

Inferencia trivaluada: Una inferencia de este estilo da como posibles

resultados tres valores.

Inferencia multivaluada: Una inferencia de este estilo da como

posibles resultados mltiples valores.

Inferencia difusa: Una inferencia de este estilo describe todos los

casos multivaluados con exactitud y precisin.

Inferencia probabilstica en el sentido de una induccin que permite

establecer una verdad con mayor ndice de probabilidad que las
dems.
Inferencia Estadstica,
Administrativa y gestin
Cuando la descripcin se aplica a condiciones de certeza,
como en las tablas del mercado de valores en que se muestra
un censo de los valores negociados, se convierte en una
entidad metodolgica.

Sin embargo, en la mayora de los problemas estadsticos

actuales se emplea ms una muestra que un censo, y la
descripcin se ha convertido simplemente en una preparacin
de la siguiente rama de la estadstica: inferencia.

La inferencia trata de dos tipos principales de problemas:

la estimacin y la contrastacin de hiptesis
Modelos Causales
Estados del dispositivo (correctos o incorrectos) Relaciones
causa-efecto.

Diagnstico: conjunto de componentes defectuosos D C que

no genera inconsistencias.

Disear la solucin a un problema propuesto utilizando la

metodologa de sistemas basados en conocimiento.

Implementar el diseo de la solucin de un problema

utilizando una herramienta de programacin simblica.

Discutir en grupo los resultados de la implementacin.

GRACIAS
INGENIERO