human
Who was the first person to propose a formal representation of knowledge?
assistant
That would be Alan Turing. He proposed a formal representation of knowledge called the Turing machine. The Turing machine is a theoretical model of a computer that can be used to simulate the behavior of a computer.