Un sistema experto o sistema basado en conocimiento es un sistema que resuelve problemas

utilizando una representacin simblica del conocimiento humano'' .

Caractersticas ms importantes son los siguientes:
Representacin explcita del conocimiento.
Capacidad de razonamiento independiente de la aplicacin especfica.
Capacidad de explicar sus conclusiones y el proceso de razonamiento.

La naturaleza del conocimiento que contienen es la mayor parte de las veces derivado de la
experiencia acumulada en reas determinadas y la validacin de estos sistemas requiere una
metodologa diferente a la de los sistemas convencionales dada la caracterstica simblica (y no
numrica) del conocimiento que contienen.
Conjunto de datos de primer orden, que modelan de forma estructurada la experiencia que se
tiene sobre un cierto dominio o que surgen de interpretar los datos bsicos.

El conocimiento tambin suele entenderse como:

Hechos o informacin adquiridos por un ser vivo a travs de la experiencia o la educacin, la
comprensin terica o prctica de un asunto de referente a la realidad.
Conciencia o familiaridad adquirida por la experiencia de un hecho o situacin.
Incluye el "saber qu", el "saber cmo", el "saber cundo" y el "saber dnde".

No existe una nica definicin de "Conocimiento. La rama de la ciencia que estudia el
conocimiento es la epistemologa o teora del conocimiento.

En el caso de los sistemas basados en conocimiento, el lenguaje en el que se expresa la
ontologa debe reunir caractersticas que a veces (dependiendo del dominio) no es fcil
compatibilizar:

Sintaxis formalizada, para poder disear sobre bases slidas un procesador (lo que en
sistemas expertos se llama tradicionalmente motor de inferencias).

Semntica bien definida y que permita la implementacin procedimental en el procesador de
algoritmos de razonamiento eficientes.

Desde el punto de vista pragmtico, expresividad suficiente para representar de la manera
menos forzada posible el conocimiento (debe permitir una interpretacin declarativa que
represente todos los aspectos de esa conceptuacin).
Hay lenguajes formales o tericos y lenguajes de implementacin o prcticos. Los primeros,
que son relativamente estables y sobre los que se basan los segundos, algunos muy voltiles.
Por ejemplo:

Prolog es un lenguaje de implementacin de la lgica de primer orden, que en sus

versiones ms recientes incluye tambin construcciones para la programacin con
restricciones.

OWL (Web Ontology Language) es un lenguaje de ontologas para la web basado en una
lgica de descripciones.
Como es natural, diversos investigadores trataron de elaborar propuestas para aunar las ventajas
de unos lenguajes y otros (Hayes, 1979, Nilsson, 1982, Brachman y Levesque, 1985), pero no fue
hasta el final de los 90 cuando quedaron relativamente establecidas las llamadas lgicas de
descripciones, que en el momento actual son los lenguajes por antonomasia para la
representacin del conocimiento.
Los mapas conceptuales son herramientas para la organizacin y representacin del
conocimiento. Tienen su origen en las teoras sobre la psicologa del aprendizaje de David
Ausubel enunciadas en los aos sesenta.

Los mapas conceptuales son un medio para la representacin de proposiciones a travs de
conceptos formados mediante palabras de enlace que forman relaciones jerrquicas.

Tambin es una tcnica, mtodo o recurso esquemtico para representar un conjunto de
significados conceptuales incluidos en una estructura de proposiciones que tiene por objeto
representar las relaciones significativas entre los conceptos y el conocimiento previo del sujeto.

Un mapa conceptual debe contar con los siguientes elementos segn Novak:

Conceptos: Abstracciones que se pueden emplear para clasificar los distintos objetos del
mundo exterior e interior.
Palabras de enlace: Son los artculos que permiten formar una relacin entre los conceptos
para formar frases con significados.
Las proposiciones: Son dos o ms trminos conceptuales unidos por palabras de enlace
que forman unidades semnticas.
Lneas o lneas de unin: Son aquellas que se utilizan para unir los conceptos y que
acompaan a las palabras de enlace.
Las redes semnticas son grafos orientados que proporcionan una representacin
declarativa de objetos, propiedades y relaciones.

Esencialmente es una tcnica de conocimiento permite representar:

Objetos.
Eventos.
J erarquas.
Conceptos.

Su descripcin simblica consta de objetos y relaciones, ilustrndose en forma de red.

Descripcin:
Cada objeto representa a una entidad especfica o conjunto de ellas, representndola por medio de
una lista de propiedades compuestas por listas que contienen parejas atributo-valor.
3.4 LGICA DE PREDICADOS
La lgica de primer orden, tambin llamada lgica de
predicados o clculo de predicados, es un sistema formal
diseado para estudiar la inferencia en los lenguajes de primer
orden.
Cuando decimos Pitgoras naci en Grecia declaramos una proposicin. Esta
proposicin tiene dos componentes principales:





El trmino es el objeto al cual se refiere la proposicin, en este caso, Pitgoras. Y
el predicado es el que expresa algo sobre el trmino en la proposicin.

LENGUAJE FORMAL DE LA LGICA DE PREDICADOS

Una proposicin con predicado se forma al unir por lo menos un trmino con
un predicado. Estas uniones pueden ser de dos formas:

Si en la proposicin el predicado expresa una propiedad o cualidad
verificada por el trmino se llama cpula afirmativa.

b. Si en proposicin la propiedad expresada por el predicado no es
verificada por el trmino se llama cpula negativa.
Los predicados se representan mediante letras maysculas y los
trminos mediante letras minsculas. Ejemplo:

p : Pitgoras
H(): naci en Grecia

El predicado es:
H(p): Pitgoras naci en Grecia

Un predicado es una proposicin en la que se afirma o se niega algo de uno
o varios objetos que son los trminos del predicado.

El lenguaje formal de la lgica de predicados est formado por tres elementos:
trminos, predicados y conectivos.

TRMINOS. Segn el objeto referenciado ( de quien se est hablando ) el
objeto puede ser de tres tipos:
Trmino constante. El objeto referenciado es algo o alguien especfico.
Trmino variable. El objeto referenciado no es algo o alguien especfico.
Trmino funcin. El objeto referenciado viene dado por otro objeto.

PREDICADOS. Un predicado es una expresin lingstica que puede
conectarse con una o varias otras expresiones para formar una oracin. Por
ejemplo, en la oracin Marte es un planeta, la expresin es un planeta es
un predicado que se conecta con la expresin Marte para formar una
oracin. Y en la oracin Jpiter es ms grande que Marte, la expresin es
ms grande que es un predicado que se conecta con dos expresiones,
Jpiter y Marte, para formar una oracin.
CONECTIVOS. Negacin, conjuncin, disyuncin, implicacin, bicondicional:

Negacin H(p): Pitgoras no naci en Grecia
Conjuncin H(p): Pitgoras naci en Grecia y fue un gran matemtico.
Disyuncin F(x, y): Leyla 0 es la hermana mayor de Nazira o es la hermana
menor.
Implicacin G(x): si esa pared es blanca entonces yo necesito lentes.
Bicondicional G(x): esa pared se ve blanca s y slo s le da la luz.

La sintaxis es la parte de la gramtica que estudia las reglas y principios que
gobiernan la combinatoria de constituyentes sintcticos y la formacin de
unidades superiores a estos, como los sintagmas y oraciones gramaticales.
La sintaxis, por tanto, estudia las formas en que se combinan las palabras, as
como las relaciones sintagmticas y paradigmticas existentes entre ellas.

3.4.1 Sintxis
La sintaxis del lenguaje, que explica cmo construir oraciones.

El trmino semntica (del griego semantikos, "lo que tiene
significado") se refiere a los aspectos del significado, sentido o
interpretacin de signos lingsticos como smbolos, palabras,
expresiones o representaciones formales.
3.4.2 Semntica
La semntica del lenguaje, que especifica las restricciones sistemticas
sobre cmo se relacionan las oraciones con aquello que est sucediendo.

La teora de la demostracin: Un conjunto de reglas para deducir las
implicaciones de un conjunto de oraciones. Nos concentraremos en
dos tipos de lgica: la propositiva o lgica booleana y la lgica de
primer orden.

3.4.3 Validez
La lgica booleana es una lgica de conjuntos y nos sirve,
principalmente, para definir formas de interseccin entre conjuntos.

Los lenguajes de primer orden son, a su vez, lenguajes
formales con cuantificadores que alcanzan slo a variables de
individuo, y con predicados y funciones cuyos argumentos son slo
constantes o variables de individuo.

Reglas de inferencia: Son patrones estndar de inferencia que se pueden aplicar
para derivar cadenas de conclusiones que nos llevan al objetivo deseado. En
otras palabras son las reglas que se utilizan para sacar conclusiones ms rpido,
sin tener que utilizar la tabla de verdad.

La lgica de primer orden tiene dos reglas de inferencia. La primera es el Modus
Ponens, heredada de la lgica proposicional. La segunda es la regla de
Generalizacin universal, que es caracterstica de la lgica de primer orden.

3.4.4 Inferencia
Es capaz de razonar sin tener todo el conocimiento relevante en
un campo determinado utilizando lo mejor posible el conocimiento
que se tiene.

Es difcil cumplir estos requerimientos utilizando la lgica de
primer orden.
Deben de introducirse modelos para manejar informacin vaga,
incierta, incompleta y contradictoria.
Crucial para que un sistema funcione en el mundo real.
Para evaluar los grados de certeza o de verdad de las conclusiones.

Los principales modelos desarrollados son:
Modelo estadstico probabilstico.
Modelo aproximado.
Modelo de lgica difusa.
Es el proceso a travs del cual se adquieren o modifican habilidades, destrezas,
conocimientos, conductas o valores como resultado del estudio, la experiencia, la
instruccin, el razonamiento y la observacin.

El aprendizaje es una de las funciones mentales ms importantes en humanos,
animales y sistemas artificiales.
o Es desarrollar tcnicas que permitan a las computadoras aprender.
o Se trata de crear programas capaces de generalizar comportamientos a partir
de una informacin no estructurada suministrada en forma de ejemplos.
o Un proceso de induccin del conocimiento.
Robtica
Diagnsticos mdicos
Clasificacin de
secuencias de ADN
Reconocimiento del habla
Juegos
Es considerada un tipo de razonamiento que se apoya en los modelos de la teora de
probabilidades. La probabilidad es un concepto matemtico que tiene que ver con las leyes
del azar: es la frecuencia esperada o terica cuando entran en funcin las leyes de la
casualidad.
Reside en que el agente lgico puede tomar decisiones
racionales an sin disponer de suficiente informacin
para probar que una accin dada funcionar.
Estructura de datos conocida como RED DE CREENCIAS.

Representar la dependencia que existe entre determinadas variables.
Especificar de forma concisa la distribucin de probabilidad conjunta.

Esta red es una grfica que consta de:

o Los nodos estn formados por un conjunto de variables aleatorias.
o La conexin de cada nodo significa que el nodo X ejerce una influencia directa sobre Y.
o Por cada nodo hay una tabla de probabilidad condicional que sirve para cuantificar los
efectos de los padres sobre el nodo.
o La grfica es acclica, es decir, no tiene grafos dirigidos.
Surge como resultado del planteamiento de cmo resolver aquellos problemas que pueden
tener ms de dos posibilidades de solucin (si-no, verdadero-falso), la cual se conoce como
lgica bi-valuada.

Por ejemplo: Cuando se hace referencia al estado del tiempo.

A estas posibilidades se las agrupa a un solo conjunto que las contiene y se conoce con el
nombre de Term-Set. Cada posibilidad es entonces un trmino.

Es til especialmente en aquellos casos en que no se conoce con certeza un valor, y su
determinacin pueda llegar a prestarse a confusiones.

Es aplicada en:
Bases de datos
Lgica dinmica
Solucin de problemas computarizada
Representacin del conocimiento
La lgica difusa o lgica heurstica se basa en lo relativo de lo observado
como posicin diferencial.

Este tipo de lgica toma dos valores aleatorios, pero contextualizados y
referidos entre s.

Ejemplo:
una persona que mida 2 metros es claramente una persona alta, si
previamente se ha tomado el valor de persona baja y se ha establecido en 1
metro.

Ambos valores estn contextualizados a personas y referidos a una medida
mtrica lineal.
La lgica difusa se utiliza cuando la complejidad del proceso en cuestin es
muy alta y no existen modelos matemticos precisos.

En cambio, no es una buena idea usarla cuando algn modelo matemtico ya
soluciona eficientemente el problema, cuando los problemas son lineales o
cuando no tienen solucin.

Esta tcnica se ha empleado con bastante xito en la industria, principalmente
en Japn, y cada vez se est usando en gran multitud de campos. La primera
vez que se us de forma importante fue en el metro japons, con excelentes
resultados
Algunos ejemplos de Aplicaciones:
Sistemas de control de
acondicionadores de aire

Sistemas de foco automtico
en cmaras fotogrficas
Electrodomsticos familiares
Optimizacin de sistemas de
control industriales
Sistemas de escritura
Mejora en la eficiencia del uso de
combustible en motores
Sistemas expertos del
conocimiento
Tecnologa informtica
...y, en general, en la gran mayora
de los sistemas de control que
no dependen de un S/No.
La demostracin consiste bsicamente en que, a partir de las proposiciones
dadas llamadas premisas, se deben obtener otra proposiciones llamada
conclusin mediante la aplicacin de unas reglas lgicas.

Los mtodos de demostracin son modelos o esquemas generales que se
encuentran en los procesos deductivos, estos modelos estn fundamentados
lgicamente en teoremas o reglas de inferencia ya establecidas.
Mtodo directo de la hiptesis auxiliar o demostracin condicional:

Dado un conjunto de premisas en una teora, si bajo el supuesto de que una proposicin p es
verdadera y utilizando las premisas disponibles se puede hacer una demostracin de que una
proposicin q es verdadera, entonces en esa teora puede concluirse que p es verdadero.


Mtodo contra reciproco:

Supongamos que se requiere demostrar que una proposicin especifica p q es teorema y al
intentar su demostracin por el mtodo directo no se logra obtener la conclusin deseada.
Se procede a demostrar por el mtodo directo su contra reciproco, si se consigue este objetivo
entonces queda establecida la validez al hacer la sustitucin por equivalencia.
Mtodo de demostracin por contradiccin o reduccin al absurdo:

Consiste en suponer explcitamente la negacin de la proposicin a demostrar,
a partir de la hiptesis se trata de generar una contradiccin, esto es, que la
teora con ese supuesto es inconsistente y, en consecuencia, tal hiptesis es
falsa, a lo que es equivalente, que su negacin es verdadera quedando validada
la proposicin inicial.