null
US
Sign In
Sign Up for Free
Sign Up
We have detected that Javascript is not enabled in your browser. The dynamic nature of our site means that Javascript must be enabled to function properly. Please read our
terms and conditions
for more information.
Next up
Copy and Edit
You need to log in to complete this action!
Register for Free
3968795
SISTEMAS INTELIGENTES
Description
Sistemas Inteligentes.
No tags specified
sistemas inteligentes
formas estructuradas
lógica proposicional
Mind Map by
Abel Huarca
, updated more than 1 year ago
More
Less
Created by
renzopt94
about 9 years ago
Copied by
Abel Huarca
about 9 years ago
1
0
0
Resource summary
SISTEMAS INTELIGENTES
REPRESENTACIÓN DEL CONOCIMIENTO
FORMAL
LÓGICA PROPOSICIONAL
Evalúa sentencias simples y luego sentencias complejas formadas mediante conectivos proposicionales.
CONJUNCIÓN
AND (^)
DISYUNCIÓN
OR (v)
NEGACIÓN
NOT ~
IMPLICACIÓN
IF - THEN (=>)
EQUIVALENCIA
IGUAL (=)
LÓGICA DE PREDICADOS
Basada en sentencias que realmente expresan relaciones entre objetos, así como cualidades y atributos de tales objetos.
UNIFICACIÓN
Proceso de computar las sustituciones apropiadas que permitan determinar si dos expresiones lógicas coinciden,
INFERENCIA Y RAZONAMIENTO
Inferir es llegar a una conclusión.
MODUS PONENS
(p=>q) es verdadera y q es falsa, p es falsa.
MODUS TOLOENS
p y (p=>q) son verdaderas, q es verdadera.
Razonar es establecer inferencias a partir de hechos conocidos o asumidos.
DEDUCCIÓN
De lo general a lo específico.
∀ A, ∀ B, ∀ C, [mayor (A, B) ^ mayor (B, C) = > mayor (A, C)]
ABDUCCIÓN
Encuentra una explicación para la conclusión.
X es un elefante => X es un animal
INDUCCIÓN
Razonamiento a partir de hechos particulares, para llegar a una conclusión general.
Si se conoce que P(a), P(b), ......, P(n) son verdaderos, entonces se puede concluir que ∀ X, P(X) es también verdadero
REGLAS DE PRODUCCIÓN
Representan el conocimiento utilizando un formato SI - ENTONCES
INFERENCIA BASADA EN REGLAS
Utiliza el modus ponens para manipular las afirmaciones y las reglas durante el proceso de inferencia.
PROCESO DE RAZONAMIENTO
Progresión desde un conjunto inicial de afirmaciones y reglas hacia una solución, respuesta o conclusión.
ENCADENAMIENTO PROGRESIVO
Empieza a partir de un conjunto de datos colectados a través de observación y se evoluciona hacia una conclusión.
ENCADENAMIENTO REGRESIVO
Empieza con la conclusión deseada y decide si los hechos que existen pueden dar lugar a la obtención de un valor para esta conclusión.
FORMAS ESTRUCTURADAS
REPRESENTACIÓN MEDIANTE OBJETOS
Agrupa conocimiento asociado, soporta herencia, abstracción y el concepto de procedimientos agregados.
Ventajas
Poder de abstracción.
Encapsulamiento.
Herencia.
Polimorfismo
Reutilización de código.
Facilidad para poder trabajar eficientemente con sistemas grandes.
Desventajas
Dificultades para manejar objetos que se alejan demasiado de la norma.
Dificultades para manejar situaciones que han sido encontradas previamente.
REPRESENTACIÓN MEDIANTE PLANTILLAS
Organizan el conocimiento en objetos y eventos que resultan apropiados para situaciones específicas.
Ventajas
Facilidad de proceso guiado por las expectativas.
Más estructurado y organizado.
Capaz de determinar su propia aplicabilidad.
Se almacenan fácilmente valores dinámicos en la ranura.
Desventajas
Dificultad de representar objetos que se alejen considerablemente de estereotipos.
No tiene la posibilidad de acomodarse a situaciones u objetos nuevos.
Dificultad para describir conocimiento heurístico.
REDES ASOCIATIVAS
Representan el conocimiento en forma gráfica.
Ventajas
Permiten la declaración de importante asociaciones.
El tiempo del proceso de búsqueda es reducido.
Desventajas
No existe una interpretación normalizada.
Pueden darse inferencias inválidas.
Puede darse una explosión combinatoria para comprobar una relación.
Show full summary
Hide full summary
Want to create your own
Mind Maps
for
free
with GoConqr?
Learn more
.
Similar
la domotica
mgibanez
CONECTIVOS LÓGICOS
Alita Avila
Lógica proposicional
Andres Arias
Representación del Conocimiento: Formas Estructuradas
Manuel L
Luis Chamba-Eras
Luis Chamba-Eras
Parcial 1 SI
Diego Silveira
Conectivos lógicos
Elba Becerril
¿Qué es una proposición?
Elba Becerril
Lógica proposicional / FERNANDACASTILLEJAALANIS-4020-4
ALUMNO FERNANDA CASTILLEJA ALANIS
Agentes
Geroldimo
Pensar
Geroldimo
Browse Library