<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 proposed a way to represent knowledge in a mathematical form, called a logical calculus, which can be used to formally describe the relationships between concepts.