tecnica euristica per formulare in maniera efficiente problemi di inferenza incerta e uno strumento informatico per eseguire correttamente le inferenze