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
3971881
SISTEMAS INTELIGENTES
Description
Sistemas Inteligentes.
No tags specified
sistemas inteligentes
formas estructuradas
lógica proposicional
Mind Map by
pierina18953420
, updated more than 1 year ago
More
Less
Created by
renzopt94
about 9 years ago
Copied by
pierina18953420
about 9 years ago
8
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
Lógica Proposicional
Jonathan Diaz
Concepts in Biology Final Exam
mlszala
ACT Quiz
Brad Hegarty
Chemistry 3 Extracting Metals Core GCSE
Chloe Roberts
FCE Practice Quiz - B2
Christine Sang
Cold War Causes Revision
Tom Mitchell
Maths GCSE - What to revise!
sallen
Edexcel Additional Science Biology Topic 1
hchen8nrd
Biology (B2)
Sian Griffiths
Whole Number Glossary L1
Lee Holness
Making the Most of GoConqr Flashcards
Sarah Egan
Browse Library