Download Documento PDF - AMS Tesi di Dottorato

quelle già date (A’ con B e B’ con A) per misurarne l’eventuale discrepanza, al fine di ridurla con il
procedimenti come quello dell’analisi mezzi-fini16.
A questa impostazione appartengono anche il modello computazionale più noto del ragionamento
analogico, Structure Mapping Engine (SME) e le sue estensioni, basati sulle teorie della Gentner in
merito alla proiezione per mappe di strutture (Gentner, 1983). L’idea di base di questa teoria è che
nel processo analogico abbia predominanza la componente strutturale profonda delle situazioni
messe in relazione piuttosto che i loro aspetti superficiali. In altri termini, non sono le proprietà
superficiali di un oggetto a essere rilevanti per la costruzione di un “ponte” fra due situazioni, ma le
reciproche connessioni fra oggetti all’interno di ogni situazione. Per tale ragione, viene data priorità
alle corrispondenze fra relazioni, piuttosto che a quelle fra proprietà. Ancora, l’operazione di
mappatura delle relazioni di ordine superiore, i cui argomenti sono a loro volta relazioni, è
anteposta, attraverso la messa in corrispondenza di queste ultime fra dominio iniziale e dominio
obiettivo, a quella delle relazioni di livello inferiore. Inoltre, i vari passi implementativi sono tra
loro isolati e basati su meccanismi indipendenti. Recupero, proiezione per mappe e valutazione
dell’analogia costruita avvengono separatamente e sequenzialmente, conferendo una certa rigidità al
processo.
Il modello SME, almeno nella sua prima versione (Falkenhainer, Forbus, Gentner, 1989), si
avvale, dunque, di un tipo di elaborazione top down, in cui le strutture più generali e più astratte
(relazioni di relazioni) hanno un ruolo guida per il processo di mappatura, nel quale esclusivamente
consiste il procedimento di costruzione analogica. Inoltre, almeno a livello più elevato, solo
relazioni identiche nei due domini vengono poste in corrispondenza, concedendo ben poco spazio di
manovra, e perciò poca variabilità e poca creatività, al programma, estromettendo quelle che sono le
caratteristiche peculiari del ragionamento analogico. Così, nel caso di una delle più famose
prestazioni riuscite del programma, la costruzione di un’analogia fra il sistema solare e il modello
dell’atomo di Rutheford, SME non fa altro che mettere in corrispondenza relazioni del tipo:
i) Causa (Gravità, Attrae (Sole, Pianeta))
con altre, identiche dal punto di vista sintattico-formale, ma soddisfatte da argomenti diversi e
appartenenti all’altro dominio, come ad esempio:
ii) Causa (Segno opposto, Attrae (Nucleo, elettrone)
fornite in maniera preconfezionata dall’utente o dal programmatore. Il processo, che pure consiste
nella costruzione di diversi sistemi di corrispondenza di relazioni e nella valutazione del migliore, si
riduce alla sovrapposizione di relazioni identiche, senza che il programma abbia per nulla
16
Un modello di questo tipo è JCM (Becker, 1973).
66