Knowledge Representation and Reasoning (KRR): A subfield of AI that deals with the representation and manipulation of knowledge in a formal language, such as ontologies, semantic networks, and logic-based systems.