de fait les automates conçus sur la base de la logique propositionnelle sont déjà  bien évolués et fonctionnels. Des expériences ont même été faites pour gérer la programmation sur le base de la logique directement sur le silicium.

Mais de fait, les applications commerciales nécessitent de s'interfacer avec l'homme... et tyler a plus ou moins bien résumé le problème.