En logica, el modus punned ponens (MPP o MP) es el razonamiento en el cual, en la primera premisa se plantea un condicional, en la segunda se afirma el antecedente y, como conclusión,se afirma el consecuente
Modelos estructurados
Sistemas basados en reglas de producción
(Lógica clásica) Uso de la lógica formal como lenguaje de representación Mecanismos de inferencia potentes, bien conocidos y formalizados.
Se utilizan las reglas para examinar UN conjunto de datos y solicitar nueva información hasta llegar a UN diagnóstico.El generar UN espacio de búsqueda ocupa un lugar secundario.También se denominan Sistemas basados en reglas.
Modus Ponens
Uso de técnicas de representación especializadas Incorporan mecanismos de inferencia específicos muy eficiente pero limitados.
Resolución
Modelos formales
El conocimiento de resolución de problemas está almacenado habitualmente como reglas de producción o un formalismo equivalente.
