Knowledge-based systems in artificial intelligence