Symbolic logic and intelligent machines