<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. Shannon developed the mathematical theory of information, which is a measure of the amount of uncertainty in a message, and how much information is contained in that message. Shannon’s theory of information is used in a variety of applications, such as computer networks, communication systems, and data compression.