Esempio 1 Spazio delle Versioni Imparare il concetto macchine economiche giapponesi G = { (?, ?, ?, ?, ?) } S = { (Japan, Honda, Blue, 1980, Economy) } Esempio positivo: (Japan, Honda, Blue, 1980, Economy)
2. Esempio negativo: (Japan, Toyota, Green, 1970, Sports)
3. Esempio positivo: (Japan, Toyota, Blue, 1990, Economy)
4. Esempio Negativo : (USA, Chrysler, Red, 1980, Economy)
5. Esempio positivo: (Japan, Honda, White, 1980, Economy)
S e G coincidono. Lalgoritmo si arresta
Esempio 2 Spazio delle Versioni Imparare la struttura elementare di un ponte Esempi: Tipi di componenti: sbarre o triangoli Posizione: verticale o orizzontale Relazione: tocca, supporta, non tocca tocca > gen supporta
Rappresentazione degli esempi Gli elementi (sbarre e triangoli) sono legati da relazioni (toccare, supportare), quindi una rappresentazione vettoriale non va bene Grafo: Sbarra orizzontale Sbarra verticale Sbarra verticale Non tocca supporta
Insiemi G 0 e S 0 Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti Nessun elemento Tutte le relazioni
Il primo esempio
Altri esempi S 2 =S 1 S 3 =S 2 Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti tocca non tocca
G in realtà contiene molte ipotesi, ad es con E2: Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti tocca Tutte le forme e orientamenti Tutte le forme verticale Tutte le forme e orientamenti tocca Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti eccetera
Altri esempi Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti supporta Non tocca S4=S3 G5=G4 Tutte le forme e orientamenti Tutte le forme e orientamenti Tutte le forme e orientamenti sbarra o triang- olo orizzontale Sbarra verticalesbarra verticale supporta non tocca