Мир, 1990. — 432 с.
Многообразие научных и технических исследований, называемое
искусственным интеллектом, уже давно использует различные
логические средства — язык, понятия и приемы логических исчислений.
В искусственном интеллекте есть целая область, существенно
опирающаяся на логические представления и конструкции, основная ее
задача состоит в разработке способов доказательства теорем.
Вполне естественным поэтому представляется стремление авторов данной книги рассказать и показать, где и как работает логика в искусственном интеллекте; причем они попытались сделать это так, чтобы изложение было доступно даже читателю, не имеющему специальной подготовки ни по искусственному интеллекту, ни по логике.
Отметим, однако, что решить эту сложную задачу в полной мере авторам, как нам кажется, пока не удалось. Но все же «развеять немного туманную завесу» над довольно обширной «логической панорамой» искусственного интеллекта они смогли.
Читателю, не являющемуся специалистом по логике, книга, бесспорно, сослужит добрую службу, хотя и потребует от него систематического ее прочтения и привлечения хорошего руководства по математической логике. Для читателя, имеющего традиционную логическую подготовку, т. е. изучавшего теорию высказываний (логику и исчисление) и теорию предикатов первого порядка (логику и исчисление), интерес могут представить гл. 3 и 4, материал которых на русском языке в достаточно последовательном и полном виде пока еще не появлялся. Та часть книги, в которой описывается ряд аспектов логического программирования, просто представляет читателю некоторые взаимосвязи, существующие между логическими исчислениями и языками логического программирования. Она, естественно, не может служить руководством по Прологу.
В предисловии авторы говорят о своем намерении осветить в последующих томах и другие важные приложения логики в искусственном интеллекте. Как стало известно, в настоящее время появился второй том, имеющий подзаголовок «От модальной логики к логике баз данных».
В заключение отметим, что, по нашему мнению, книга будет полезна научным и инженерно-техническим работникам, а также студентам старших курсов вузов и всем читателям, интересующимся приложениями математической логики.
Вполне естественным поэтому представляется стремление авторов данной книги рассказать и показать, где и как работает логика в искусственном интеллекте; причем они попытались сделать это так, чтобы изложение было доступно даже читателю, не имеющему специальной подготовки ни по искусственному интеллекту, ни по логике.
Отметим, однако, что решить эту сложную задачу в полной мере авторам, как нам кажется, пока не удалось. Но все же «развеять немного туманную завесу» над довольно обширной «логической панорамой» искусственного интеллекта они смогли.
Читателю, не являющемуся специалистом по логике, книга, бесспорно, сослужит добрую службу, хотя и потребует от него систематического ее прочтения и привлечения хорошего руководства по математической логике. Для читателя, имеющего традиционную логическую подготовку, т. е. изучавшего теорию высказываний (логику и исчисление) и теорию предикатов первого порядка (логику и исчисление), интерес могут представить гл. 3 и 4, материал которых на русском языке в достаточно последовательном и полном виде пока еще не появлялся. Та часть книги, в которой описывается ряд аспектов логического программирования, просто представляет читателю некоторые взаимосвязи, существующие между логическими исчислениями и языками логического программирования. Она, естественно, не может служить руководством по Прологу.
В предисловии авторы говорят о своем намерении осветить в последующих томах и другие важные приложения логики в искусственном интеллекте. Как стало известно, в настоящее время появился второй том, имеющий подзаголовок «От модальной логики к логике баз данных».
В заключение отметим, что, по нашему мнению, книга будет полезна научным и инженерно-техническим работникам, а также студентам старших курсов вузов и всем читателям, интересующимся приложениями математической логики.