INTRODUCCION

Este documento tiene el propsito, de explicar detalladamente la inferencia lgica y su

aplicacin a la inteligencia artificial, como agente del conocimiento. En el cual se muestra como
La representacin del conocimiento y los procesos de razonamiento que permiten que ste
evolucione, en un lenguaje de representacin. El conocimiento y el razonamiento juegan un
papel decisivo para para la implementacin de un agente lgico en la inteligencia artificial y su
nueva visin.


La inferencia lgica, es un proceso mediante el que se implanta la relacin de implicacin
que existe entre oraciones, y como agente de conocimiento, son capaces de aceptar tareas nuevas
en forma de objetivos descritos explcitamente, pueden obtener rpidamente competencias
informndose acerca del conocimiento del entorno o aprendindolo. La inteligencia artificial
puede ser tomada como ciencia si se enfoca hacia la elaboracin de programas basados en
comparaciones con la eficiencia del hombre, contribuyendo a un mayor entendimiento del
conocimiento humano.



AGENTES QUE RAZONAN DE MANERA LGICA.

El componente ms importante en este tipo de agentes es su base de conocimiento , la
cual se define como un conjunto de representaciones de ciertos hechos acerca del mundo. Estas
oraciones se expresan en un lenguaje denominado lenguaje para la representacin del
conocimiento. Debe haber una forma para:

Aadir oraciones a la base de conocimientos (INFORMAR)
Interrogar estos conocimientos (PREGUNTAR)

El mecanismo de inferencia es el encargado de decidir cmo se procede en lo informado a
la BC. El componente base de conocimiento a veces cuenta con ciertos conocimientos iniciales.
Cuando se solicita intervencin al programa de agente sucede:

1. El programa INFORMA a la base de conocimiento lo que percibe
2. Le pregunta a la base de conocimientos cual es la accin que debe emprender.
3. Para responder a la consulta se utiliza el razonamiento lgico para determinar de entre
varias acciones la mejor.

El agente basado en el conocimiento se caracteriza por los siguientes tres niveles:
1. nivel de conocimiento (o epistemolgico): es el ms abstracto. Se puede describir un
agente basndose en lo que ste sabe.
2. nivel lgico: es donde el conocimiento se codifica mediante oraciones.
3. nivel de implantacin: es el que opera la arquitectura del agente y es donde se encuentran
las representaciones fsicas de las oraciones correspondientes al nivel lgico.

Se puede construir un agente basado en el conocimiento INFORMNDOLE a ste todo lo que
necesita saber. Hay dos enfoques acerca de cmo realizar la construccin de un sistema:
Declarativo: donde el lenguaje de representacin facilita expresar el conocimiento
mediante oraciones
Mediante mecanismos de aprendizajes: donde un conjunto de percepciones producen un
conocimiento general acerca del ambiente.

REPRESENTACIN, RAZONAMIENTO Y LGICA:

El objetivo de la representacin del conocimiento es expresar ste en forma manejable por la
computadora. El lenguaje para la representacin del conocimiento consta de dos aspectos:

1. La sintaxis del lenguaje explica las posibles configuraciones mediante las cuales se
forman las oraciones
2. La semntica determina los hechos del mundo a los que hacen alusin las oraciones.
Mediante la semntica, cada oracin expresa algo relacionado con el mundo.



Si tanto la sintaxis como la semntica estn definidas de manera precisa, podemos decir que
el lenguaje es una lgica. Lo que se desea en este tipo de lenguajes es generar nuevas oraciones
que necesariamente sean verdaderas, suponiendo que las previas tambin lo sean. Esto se
llama consecuencia o implicacin.

Un procedimiento de inferencia que genere slo oraciones implicadas se le denomina
procedimiento fidedigno o protector de la verdad. El testimonio de la manera de operar de un
procedimiento de inferencia confiable se denomina demostracin. Se considera que un
procedimiento es completo si es capaz de encontrar la demostracin respectiva de toda oracin
implicada. Una inferencia es segura si dada una base de conocimientos BC, mediante los pasos
de inferencia se debern obtener solamente nuevas oraciones que representen hechos derivados
de los hechos representados por la BC.

REPRESENTACIN: La transmisin del significado de la oracin depende tanto de la
oracin en s como del contexto en el que sta se produce.

SEMNTICA: En lgica, el significado de una oracin es aquello que se afirma del mundo,
que el mundo sea de esta forma y no de otra. Para poder dar a entender lo que significa, quien la
escriba tiene que proporcionar su respectiva interpretacin; debe aclarar a qu hecho
corresponde. En la prctica todos los lenguajes de representacin exigen una relacin sistemtica
entre oraciones y hechos. En los lenguajes compositivos o de composicin, el significado de una
oracin es funcin del significado de sus partes.Una oracin es cierta dentro de una
interpretacin determinada si el estado de asuntos que representa es el caso.

INFERENCIA: Al razonamiento confiable se lo llama inferencia lgica o deduccin. La
inferencia lgica es un proceso mediante el que se implanta la relacin de implicacin que existe
entre oraciones.

VALIDEZ Y SATISFACCIN: Se dice que una oracin es vlida o necesariamente verdadera
si y solo si es verdadera en todas las posibles interpretaciones de todos los mundos posibles. Se
las conoce tambin como oraciones analticas o tautologas. Se dice que una oracin
es satisfactible si y solo si existe una interpretacin en algn mundo para la que es vlida.

LGICA.
Una lgica consta de lo siguiente:
1. Un sistema formal para describir lo que est sucediendo en un momento determinado, y
que consta de:
a. La sintaxis del leguaje, que explica cmo construir oraciones y
b. La semntica del lenguaje, que especifica las restricciones sistemticas sobre
cmo se relacionan las oraciones con aquello que est sucediendo.





2. La teora de la demostracin: un conjunto de reglas para deducir las implicaciones de
un conjunto de oraciones.

Es posible el uso de dos tipos de lgica en Inteligencia Artificial:
Lgica propositiva (o booleana): o los smbolos representan proposiciones
completas (hechos)
o los smbolos de proposiciones pueden combinarse usando los conectivos
booleanos
Lgica de primer orden:
o representa al mundo en termino de objetos y predicados sobre objetos
o utiliza conectivos y cuantificadores, mediante los cuales se puede escribir
oraciones sobre todo lo que pasas en el universo a un mismo tiempo.

MODELOS:
Un mundo en el que una oracin es verdadera de acuerdo con determinada interpretacin se
denomina modelo de dicha oracin bajo tal interpretacin.







REGLAS DE INFERENCIA EN LA LGICA PROPOSITIVA.
Existen ciertos patrones de inferencias que se presentan una y otra vez, lo que permite establecer
de una vez por toda su confiabilidad. Estos patrones se llaman reglas de inferencia. Entre ellas
se encuentran:


Se considera confiable una regla de inferencia si la conclusin es verdadera en todos aquellos
casos en donde las premisas tambin son vlidas.