Diariaun modelo de multirrazonamiento

Résumé

En el presente trabajo se propone un modelo de razonamiento, o más concretamente de multirazonamiento, denominado DIARIA, que permite combinar la aplicación de los tres métodos de razonamiento básicos, Deducción, Inducción y Abducción, para estudiar nuevas posibilidades en la definición de motores de inferencia para Sistemas Basados en Conocimientos. El aspecto más original de este trabajo reside en la forma en que se realiza la actuación conjunta de los tres métodos. Cada método de razonamiento se desarrolla a través de una o más técnicas de inferencia que se ejecutan en función del tipo de problema a resolver y su estado actual de resolución, sin que existan otro tipo de restricciones definidas a priori.