Подскажите дельную русскую || английсую книгу, в которой бы на достаточно выскокм уровне рассамтривались вопросы связанные с построением экспертных систем. В частности очень инетересуют модели представления знаний и механизмы логического вывода и их формальное описание.