Knowledge Representation

Methods for encoding information about the world in forms that AI systems can reason about: semantic networks, ontologies, description logics.