<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 mathematical model for information, and the basis of this model was the concept of entropy. Shannon’s work was fundamental in establishing the field of information theory.