Knowledge representation and reasoning is the area of Artificial Intelli-
gence (AI) concerned with how knowledge can be represented symboli-
cally and manipulated in an automated way by reasoning programs. More
informally, it is the part of AI that is concerned with thinking, and how
thinking contributes to intelligent behavior.