<human>:  Who was the first person to propose a formal representation of knowledge?
<bot>: The first person to propose a formal representation of knowledge was Claude Shannon in 1948. His paper "A Mathematical Theory of Communication" laid the foundation for the study of information theory. Shannon showed that there is a limit to how much information can be transmitted through a communication channel.