Knowledge -based systems - Leondes Cornelius T (2000)