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.