Σύννεφο λέξεων για την αναπαράσταση γνώσης. Μια οπτική περίληψη της τυπικής λογικής, των οντολογιών και των μεθόδων αυτοματοποιημένης εξαγωγής συμπερασμάτων που χρησιμοποιούνται για την κατασκευή έξυπνων, επεξηγήσιμων υπολογιστικών συστημάτων