INSTITUTO TECNOLÓGICO

SUPERIOR DE LERDO

MATERIA:

“INTELIGENCIA ARTIFICIAL”

PROFESOR(A):
José de Jesús Santiago Tello

Grupo: 9 “C”

ING. SISTEMAS COMPUTACIONALES

“LA EXCELENCIA ACADEMICA AL SERVICIO DE LA SOCIEDAD”

Cd. Lerdo, Durango.

AGOSTO – DICIEMBRE 2018
1.-Investigar información acerca de definiciones y elementos de los sistemas basados en
conocimientos.

sistema que resuelve problemas utilizando una representación simbólica del conocimiento
humano

Estan basados en ORIENTACION ESTRUCTURAL para –Poder resolver determinados problemas

radica en un “saber”, o conocimiento específico, sobre el tipo de problemas, más que en
capacidades intelectivas generales

-Separación entre el conocimiento codificado en la maquina (base de conocimientos) y los

mecanismos deductivos (motor de inferencias)

Tienen separación entre:

-Conocimiento específico del problema (Base de conocimiento)

-Metodología para solucionar le problema (Maquina de inferencia)

CARACTERISTICAS

-Representación explicita del conocimiento

-Capacidad de razonamiento independiente de la aplicación especifica

-Capacidad de explicar conclusiones y el proceso de razonamiento

-Alto rendimiento en un dominio especifico

-Uso de Heurísticas vs modelos matemáticos

CLASIFICACION

ANALISIS: Identificación, Predicción, Control

SINTESIS: Especificación, Diseño, Ensamble

COMPONENTES BASICOS

1. Base de Conocimiento (BdeC)

2. Máquina de Inferencia

3. Memoria de Trabajo

4. Interfaz de Usuario

5. Interfaz de Adquisición
2.-Representar el conocimiento mediante un mapa conceptual y una red semántica

MAPA CONCEPTUAL

CONOCIMIENTO

Propiedades Tipos

Dificil de caracterizar Cambia

Voluminoso Incierto/Impresiso Declarativo Procedimental Heuristico
con precision Constantemente

Forma de realizar una

Hechos sobre objetos o cierta tarea, por Resuelven problemas
Tipos
situaciones ejemplo los pasos para mas complejos
resolver una ecuacion

RELACIONAL HEREDABLE INFERIBLE

RED SEMANTICA

Redes
neuronales

Se representa en
Se representa en

Conocimiento Datos

Informacion
3.-Investigar y comentar los conceptos de sintaxis, semántica, validez e inferencia en la lógica
de predicados.

SINTAXIS

La sintaxis de la lógica propositiva es sencilla. Los símbolos utilizados en la lógica propositiva

son las constantes lógicas Verdadero y Falso, símbolos de proposiciones tales como P y Q, los
conectivos lógicos v, <=>, =>, y ¬ y parentesis (). Todas las oraciones se forman combinando
los signos anteriores mediante las siguientes reglas:

· Las constante lógicas Verdadero y Falso, constituyen oraciones en si mismo.

· Encerrar entre paréntesis una oración puede también en una oración, por ejemplo
(PˆQ).

· Una oración se forma combinando oraciones más sencillas con uno de los cinco
conectores lógicos:

o ˆ(Y) se le denomina conjunción(lógica)

o v(O) se le denomina disyunción

o -->(implica) se conoce como implicación (o condicional)

o <-->(equivalente) la oración es una equivalencia (también conocida como bicondicional)

o ¬(no) se le conoce como negación

SEMANTICA

La semántica de la lógica propositiva también es bastante directa. Se define especificando la

interpretación de los signos de proposición y de las constantes y especificando el significado
de los conectores lógicos. Un signo de proposición significa que cualquier hecho arbitrario
puede ser su interpretación. Las oraciones que contienen un signo de proposición son satis
factibles pero no valido: son verdaderas solo cuando el hecho al que aluden es relevante en
un momento dado.

En el caso de las constantes lógicas no hay opción: la oración Verdadero siempre quiere decir
aquello que sucede en la realidad: el hecho de la verdad. La oración Falso siempre quiere
decir aquello que no existe en el mundo.

Una manera de definir una función es construir una tabla mediante la que se obtenga el
valor de salida de todos los valores de entrada posibles. A este tipo de tablas se les conoce
como tales de verdad.

Mediante las tablas de verdad se define la semántica de las oraciones.

VALIDEZ

es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si
la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es
deductivamente válido

INFERENCIA

Son las reglas de las operaciones con premisas.

La inferencia lógica es un proceso mediante el que se implanta la relación de implicación que
existe entre dos oraciones.

Existen ciertos patrones de inferencia que se presentan una y otra vez, lo que permite
establecer de una vez por todas su confiabilidad.

La regla permite evitar pasar por las tablas de verdad

Ejemplos

• Modus Ponens

• Y-Eliminación

• Y-Introducción.

• O-Introducción.

• Doble Negación Eliminación.

• Resolución Unitaria

• Resolución.

4.-Representar el conocimiento por medio de la lógica de predicados

P^Q -> R

5.- Investigar y seleccionar información acerca de los conceptos de aprendizaje, razonamiento

probabilístico, lógicas multivaluadas y lógica difusa.

6.-Realizar un modelo de red bayesiana a un problema de diagnostico

Caries

Tiempo
Huesos

Dolor
Estudiar del capitulo 14 los subtemas 14.1 y 14.2 del libro: Gonzalo, P.M & de la cruz jesus.m.
Vision por computador. Imágenes digitales