Cтраница 2
Каждая глава содержит примеры и задачи, предназначенные для лучшего усвоения соответствующих тем. Примеры демонстрируют методику решения задач, а сами задачи призваны стимулировать личную инициативу читателя. Книга может также оказаться полезной тем программистам, кто уже имел практический опыт работы с системами логического программирования, не обладая при этом специальной теоретической подготовкой по логике, а также всем тем, кто просто интересуется логикой и логическим программированием. Все темы, затронутые в этой книге, рассматриваются в перспективе перехода от логики к логическому программированию. Поэтому доказательства некоторых теорем, связанных, как правило, с обоснованием полноты аксиоматического метода, опущены. В тех случаях, когда те или иные понятия и доказательства выходят за рамки книги и обсуждаются в ней лишь поверхностно, мы указываем библиографические источники, где они изложены более полно. [16]
Примером такого формализованного языка может служить язык математической логики, который позволяет представлять знания и рассуждения в форме, близкой и к естественному языку, и к языку программирования. Примером последнего может служить язык логического программирования PDC Prolog, рассматриваемый ниже. В силу этого математическая логика может эффективно использоваться как инструментальное средство в исследованиях и разработках в области искусственного интеллекта и, в частности, в области экспертных систем. В плане структурной организации ( рис. 5) в экспертной системе, реализованной в операционной среде системы логического программирования, могут быть выделены следующие компоненты: 1) база знаний; 2) дедуктивная машина; 3) пользовательский интерфейс. [17]