Kαινοτομία

Η λειτουργία μηχανών σε «φυσικό» περιβάλλον τυπικά υποστηρίζεται από αριθμητικά μοντέλα. Ωστόσο, όπου εμπλέκεται ο άνθρωπος μπορεί να υπεισέλθουν μη-αριθμητικά δεδομένα όπως λογικές προτάσεις, γράφοι, κ.α. Μια καινοτομία αυτού του εργαστηρίου είναι η χρήση της μαθηματικής θεωρίας πλεγμάτων (mathematical lattice theory) για μοντελοποίηση που περιλαμβάνει αριθμητικά ή/και μη-αριθμητικά δεδομένα σε εφαρμογές αλληλεπίδρασης ανθρώπου-με-μηχανές.