Description: Examines the progress in enabling AI systems to use natural language for communication and knowledge storage. Explores knowledge formalisation, storage, multiple knowledge systems, theory formation, and the roles and risks of belief, explanation, and argumentation in AI. Includes a significant individual research project.