Книга является переводом первого тома 10-томной серии по инженерии знаний, написанной крупными японскими специалистами, и представляет собой вводный курс инженерии знаний. В ней дан обзор исследований по искусственному интеллекту и методов представления знаний в экспертных системах. Обсуждены логика предикатов, синтаксис и семантика языка предикатов, правила выводов в логике предикатов, а также вопросы, связанные с формализацией проблем, способы представления информации в ЭВМ на различных этапах решения проблемы, модели решения и классификация проблем. Рассмотрены основные структуры систем обработки знаний и языков представления знаний.
Для специалистов в области инженерии знаний и искусственного интеллекта, а также студентов соответствующих специальностей.