Nutonomy is using formal logic for their decision-making. Does anybody know more about it? I don’t understand what is formal logic and how is it different from finite state machine.
I think “formal logic” may just be another name for a rules-based system? See this article.