Knowledge-Based Systems in Artificial Intelligence (McGraw-Hill advanced computer science series)