Describir: Knowledge-based Systems In Artificial Intelegence Randall Davis; Douglas B Lenat