a9981ilj, вот что есть, если нужно, выложу:
Смолин Д. В. Введение в искусственный интеллект:
конспект лекций. - М.: ФИЗМАТЛИТ, 2004. - 208 с. -
ISBN 5-9221-0513-2.
В работе представлены базовые модели современного искусственного интеллекта, теоретические обоснования и практически полезные примеры построения разумных систем. Изложен авторский взгляд на основные достижения и пути дальнейшего развития программ с искусственным интеллектом. Рассмотрены практические аспекты применения интеллектуальных систем в предметных областях. Работа отличается простотой изложения — многие формулы дополнены или заменены словесным описанием, что, по мысли автора, должно послужить глубокому пониманию материала.
Для студентов информационных специальностей, аспирантов и специалистов в области применения современных информационных технологий.
Стефанюк В. Л. Локальная организация интеллектуальных систем. - М.: ФИЗМАТЛИТ, 2004. - 328 с. - ISBN 5-9221-0395-4.
Предложен и детально исследован новый принцип организации больших систем — локальная организация. Локальная организация, развивающая и уточняющая принципы создания распределенных систем, представляет собой важную альтернативу централизованным и децентрализованным системам. Она позволяет предложить и проанализировать ряд новых моделей технических систем с элементами искусственного интеллекта.
Подход обоснован рассмотрением многочисленных проблем и математических моделей, возникающих в дискретных, непрерывных, комбинаторных и программных задачах. Большинство моделей носит оригинальный характер и может представлять также самостоятельный интерес для теории и различных приложений.
Для специалистов в области информатики, для преподавателей, аспирантов и студентов старших курсов соответствующих специальностей.
Вагин В. Н., Головина Е. Ю., Загорянская А. А., Фомина М. В.
Достоверный и правдоподобный вывод в интеллектуальных системах / Под ред. В.Н. Вагина, Д.А. Поспелова. — М.: ФИЗМАТЛИТ, 2004. —
704 с. - ISBN 5-9221-0474-8.
Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на
иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные
модальные логики: логики убеждения и знания, немонотонные логики Мак-
Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания
Рейтера. Приводятся основы теории аргументации и методы абдуктивного
вывода. Рассматриваются базовые принципы построения систем обучения и
принятия решений и даются задачи обучения «без учителя» и «с учителем».
Излагаются индуктивные методы для случая с неполной информацией и
методы теории приближенных множеств.
Для студентов, аспирантов, обучающихся по направлениям «Прикладная математика и информатика», «Информатика и вычислительная техника» и специальностям «Прикладная математика» (по областям), «Прикладная математика и информатика», а также для специалистов в области искусственного интеллекта, интеллектуальных систем управления и принятия
решений.
У.Клоксин, К.Меллиш
ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга английских специалистов, содержащая описание основ логического
программирования и особенностей языка Пролог - базового языка ЭВМ пятого
поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Для программистов и пользователей ЭВМ.