Reti semantiche Inventate da Ronald Brachman nel 1977 Nel 1979 Bjarne Stroustrup inventa il C++ Nel 1990 si inventano le Ontologie Le ontologie si usano nell'industria per modellare I sistemi complessi Nel folklore scientifico si usano le mappe concettuali
Reti Semantiche La rete semantica è un linguaggio visuale Serve a rappresentare e a fare inferenze Due regole di inferenza Sussunzione se x allora x B Ereditarietà se una classe A ha la proprietà P, allora tutte le sottoclassi di A hanno la proprietà P Vocabolario: Classi, Istanze, Ruoli Classi: Insiemi -Veicoli, Veicoli industriali, Autobus Istanze: Elementi Fiat 306, Iveco 370 Ruoli: Proprietà avere fari, trasportare passeggeri
Autobus
Deduzioni Ogni autobus è un veicolo industriale per il trasporto passeggeri dimostrazione: autobus veicoli trasporto passeggeri autobus veicoli industriali autobus veicoli trasporto passeggeri veicoli industriali
Approfondimenti Frixione M. “Logica, Significato e Intelligenza Artificiale” Franco Angeli