FORMAL SYSTEMS

Auteur: SOLER TOSCANO FERNANDO.
Année: 2005.
Université: SEVILLA.
Lieu de l'exposition: FACULTAD DE FILOSOFÍA.
Lieu de préparation: FACULTAD DE FILOSOFÍA.

Résumé: L'enlèvement est le genre de raisonnement que, étant donné une théorie T (généralement un ensemble de formules de la langue avec laquelle il travaille) et une observation O (habituellement une formule), tels que ni O ni son déni est une conséquence logique de T, il est Cherchant une explication E (selon la formule) Alors que la conséquence logique de l'union de Ty abductivo E. Le raisonnement, qui ne se réduit pas à déduire pose des problèmes intéressants qui vont au-delà de la logique, car la distinction entre les notions d ' "enlèvement comme Un produit "et" l'enlèvement comme un processus "ou des différentes étapes de la" génération "et de" sélection "de l'exposé des hypothèses. Le raisonnement abductivo trouve des applications dans de nombreuses disciplines allant de l'intelligence artificielle à travers Lingüstica Sciences Cognitives et de philosophie des sciences. Dans ce papier, nous proposons une estimation abductivo, nous demandons delta-resolución, double résolution classique (Robinson, 1965), qui a le mérite de générer des hypothèses "de manière directe." En outre, intègre les concepts de abdución comme "produit" , Et le «processus», ainsi que les étapes de la "génération" et de "sélection". De même, il souligne que le prolongement logique de la non-classique est plus prometteur dans ce domaine comme dans d'autres approches. Après avoir comparé l'efficacité avec le système Aliseda (1997), qui emploie sémantique tableaux de commencer à chercher abductiva montre que notre système rend beaucoup mieux, surtout dans les problèmes les plus complexes, car les heuristiques qui reste est de calcul beaucoup plus avantageuse en plus fréquents problèmes abductivos Programmation en Logique et Knowledge Representation. Ici, les implémentations sont fournis dans SWI-Prolog d'algorithmes définis. Enfin, nous proposons une extension logique du premier ordre qui montre que, bien que l'enlèvement de cette logique est souvent indicible, il est possible de résoudre des problèmes intéressants dans différents domaines. En outre, il laisse la porte ouverte à l'adaptation des solutions partielles à la décision de calculer delta-resolución.