Сводный каталог книг

[Текст] : монография / Дж. Макаллистер; Пер. с англ. А.В.Чукашова, М.В.Сергиевского; Под ред. М.В.Сергиевского. - Перевод издания: Artificial Intelligence and PROLOG on microcomputers/J/VcAllister. - Москва : Машиностроение, 1990. - 237 с. - Библиогр.: с.237. - ISBN 5-217-00973-X : 2.40 р., 2.40 р.

ГРНТИ

28.23

ББК З973.2 + З973.203

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 3
ИВМ-Фонд (2), ИБФ-ООН (1)
Свободны: ИВМ-Фонд (2), ИБФ-ООН (1)

[Текст] : монография / К. Хоггер; Пер.с англ.М.В.Захарьящева; Под ред.Ю.И.Янова. - Пер.изд.: Introduction to the logic programming / G.J.Hogger. - Москва : Мир, 1988. - 348 с. : ил. - Библиогр: с.328-338.%ISBN 5-03-000490-4. - 1.90 р.

УДК	УДК 681.3%ББК 32.973

Аннотация: Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализация языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала. Для математиков-прикладников, специалистов по информатике, программистов, аспирантов и студентов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Наиболее полн. рук. / Анатолий Адаменко, Андрей Кучуков. - Санкт-Петербург : BHV-Петербург, 2003. - 992 с. : ил + (CD-ROM). - (В подлиннике). - Предм. указ.: с. 972-990. - Библиогр.: с. 967-971. - ISBN 5-94157-156-9 : 293.00 р.ББК З973.203.4-018.12я82

Аннотация: Книга посвящена наиболее распространенному в мире языку логического программирования Visual Prolog, предшественником и ближайшим "родственником" которого является широко известный Turbo Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах искусственного интеллекта и экспертных системах. Описание Visual Prolog - языка и системы программирования, возможности которых значительно шире возможностей только лишь логического программирования - базируется на переводе фирменной документации Prolog Development Center (PDC). Последовательно и подробно рассмотрены вопросы установки системы, синтаксис языка, принципы, методы и особенности программирования, визуальная среда разработки, методы стыковки с другими широко используемыми языками программирования, вопросы создания графического интерфейса и баз данных, визуальное, логическое, процедурное, объектно-ориентированное и системное программирование на Visual Prolog. Прилагается компакт-диск, содержащий дистрибутив системы, упражнения и примеры из книги. Для программистов, студентов и преподавателей вузов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кучуков, Андрей М
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] : монография / Под ред. В.Н. Вагина, Д.А. Поспелова. - Москва : Физматлит, 2004. - 704 с. : ил. - Предм. указ.: с. 661-699. - ISBN 5-9221-0474-8 : 100.00 р.ББК З-81

Аннотация: Рассматриваются методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения "без учителя" и "с учителем". Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Для студентов, аспирантов, обучающихся по направлениям "Прикладная математика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная математика" (по областям), "Прикладная математика и информатика", а также для специалистов в области искусственного интеллекта, интеллектуальных систем управления и принятия решений.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / Е.В. Боровская, Н.А. Давыдова. - Москва : БИНОМ. Лаборатория знаний, [2014]. - 127 с. : ил. ; 22 см. - (Педагогическое образование). - Библиография в конце глав. - 1500 экз. - ISBN 978-5-94774-480-4 (в пер.) : 157.30 р.

ГРНТИ	28.23
УДК	004.89(075.8)

ББК З 813я73

Аннотация: Учебное пособие знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Описаны основные направления и методы, применяемые при анализе, разработке и реализации интеллектуальных систем. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Книга поможет читателю овладеть навыками логического проектирования баз данных предметной области и программирования на языке Prolog. Для студентов и преподавателей педагогических вузов, учителей общеобразовательных школ, гимназий, лицеев.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Давыдова, Надежда Алексеевна
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 712 с. ; 22 . - Предм. указ.: с. 679-710. - Библиогр.: с. 648-678. - 1500 экз. - ISBN 978-5-9221-0962-8 (в пер.) : 815.00 р.
Допущено Министерством образования Российской Федерации в качестве учебного пособие для вузов по специальностям "Прикладнаяматематика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатиака"

ГРНТИ	28.23
УДК	519.85^V3

ББК З 813я73

Аннотация: Рассмотрены методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах разнообразного назначения. Приведены методы дедуктивного вывода на графовых структурах. Описаны как традиционные, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приведены основы теории аргументации и методы абдуктивного вывода. Рассмотрены основные особенности построения систем обучения и принятия решений и предоставляются задания обучения "без учителя" и "с учителем". Изложены индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении изречений и об исчислении предикатов первого порядка, а также о работе с реальными "зашумленными" базами данных в задаче индуктивного формирования понятий.


Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, Вадим Николаевич \ред.\; Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] / Е. В. Боровская, Н. А. Давыдова. - Москва : Бином. Лаборатория знаний, 2010. - 127 с. - (Педагогическое образование). - 1500 экз. - ISBN 978-5-94774-480-4 : 278.30 р.

ГРНТИ

28.23

ББК З813

Аннотация: Учебное пособие знакомит читателей с историей искусственного интеллекта, моделями представления знаний, экспертными системами и нейронными сетями. Описаны основные направления и методы, применяемые при анализе, разработке и реализации интеллектуальных систем. Рассмотрены модели представления знаний и методы работы с ними, методы разработки и создания экспертных систем. Книга поможет читателю овладеть навыками логического проектирования баз данных предметной области и программирования на языке Prolog. Для студентов и преподавателей педагогических вузов, учителей общеобразовательных школ, гимназий, лицеев.


Доп.точки доступа:
Давыдова, Надежда Алексеевна
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)