| Найдено документов - 18 | Найти похожие: "Индекс ББК" = 'В186' | Версия для печати |
Сортировать по:
1. Документ
ДСМ-метод автоматического порождения гипотез : логические и эпистемологические основания / Аншаков Олег Михайлович [и др.]; Рос. гос. гуманитар. ун-т, Всерос. ин-т науч. и техн. информ. РАН; сост.: О. М. Аншаков, Е. Ф. Фабрикантова; под общ. ред. О. М. Аншакова. - Москва : URSS : ЛИБРОКОМ, 2009. - 430 с. ; 25 см. - Библиогр. в конце гл. - ISBN 978-5-397-00636-1 : 400.00.
Авторы: Аншаков Олег Михайлович, Финн Виктор Константинович, Кузнецов С. О., Скворцов Д. П., Фабрикантова Е. Ф.
Шифры: З813 - Д 78
Ключевые слова: Автоматическое обучение, Автоматическое порождение гипотез, Анализ данных, ДСМ-метод, ДСМ-рассуждения, Интеллектуальные системы, Искусственный интеллект, Кибернетика, Логика, Логико-математические основания, Логические основания, Метод автоматического порождения гипотез, Правдоподобные рассуждения, Рассуждения, Формализация правдоподобных рассуждений, Эпистемологические основания, Эпистемология
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: В книге представлены теоретические основания формализации правдоподобных рассуждений, используемых в ДСМ-методе автоматического порождения гипотез. Этот метод развивает средствами современной логики идеи Д. С. Милля об индукции и идеи Ч. С. Пирса об абдукции, кроме того, ДСМ-метод использует принцип фальсификации К. Р. Поппера как средство отбрасывания нерелевантных гипотез. Главным результатом, представленным в книге, является формализация эвристики типа «индукция + аналогия + абдукция», которая образует синтез этих познавательных процедур. Его формализацией являются правдоподобные рассуждения типа ДСМ. ДСМ-рассуждения, включающие контекстно-зависимую индукцию с контролируемыми выводами, являются весомым аргументом против антииндуктивизма К. Р. Поппера. Кроме того, ДСМ- рассуждения являются существенной частью ДСМ-метода автоматического порождения гипотез — оригинальной технологии и методологии интеллектуального анализа данных.
2. Документ
Попов С. В.
Логическое моделирование / С. В. Попов; С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 90.00.
Логическое моделирование / С. В. Попов; С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 90.00.
Шифры: В186 - П58
Ключевые слова: Математическая кибернетика, Искусственный интеллект, Логическое моделирование
Экземпляры: Всего: 2, из них: к3-2
Подробнее
3. Документ
Шамис Александр Львович.
Пути моделирования мышления : актив. синерг. нейрон. сети, мышление и творчество, формал. модели поведения и "распознавания с пониманием" / Шамис Александр Львович; А. Л. Шамис. - Москва : КомКнига, 2006. - 332, [1] с. : ил. - Библиогр.: с. 327-333. - ISBN 5-484-00578-7 : 250.00.
Пути моделирования мышления : актив. синерг. нейрон. сети, мышление и творчество, формал. модели поведения и "распознавания с пониманием" / Шамис Александр Львович; А. Л. Шамис. - Москва : КомКнига, 2006. - 332, [1] с. : ил. - Библиогр.: с. 327-333. - ISBN 5-484-00578-7 : 250.00.
Шифры: В186 - Ш19
Ключевые слова: Восприятие, Искусственный интеллект, Моделирование, Мышление, Поведение
Экземпляры: Всего: 1, из них: к3-1
Подробнее
4. Документ
Логический подход к искусственному интеллекту : От модальной логики к логике баз данных / Тейз Андре [и др.]; [Авт.: А. Тейз, П. Грибомон, Г. Юлен и др.]; Пер. с фр. Г.П. Гаврилова и др.; Под ред. Г.П. Гаврилова. - Москва : Мир, 1998. - 493,[1] с. - Перевод изд.: Approche logique de l'intelligence artificielle / Andre Thayse, Pascal Gribomont, Guy Hulin e.a. - Библиогр.: с.471-486. - ISBN 5-03-002519-7. - ISBN 02-04-018757-X : 26.04.
Авторы: Тейз Андре, Грибомон Паскаль, Юлен Ги, Пирот Ален, Ролан Доминик, Гаврилов В.П.
Шифры: В186 - Л69
Ключевые слова: Искусственный интеллект, Математическая логика, Логическое программирование, Логика баз данных
Экземпляры: Всего: 1, из них: к3-1
Подробнее
5. Документ
Пивкин В.Я.
Нечеткие множества в системах управления : Метод. пособие / В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; В.Я. Пивкин, Е.П. Бакулин, Д.И. Кореньков; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. ; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. - Новосибирск, 1997. - 51,[1] с. : ил. - Библиогр.: с. 52. - 5.00.
Нечеткие множества в системах управления : Метод. пособие / В. Я. Пивкин, Е. П. Бакулин, Д. И. Кореньков; В.Я. Пивкин, Е.П. Бакулин, Д.И. Кореньков; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. ; Новосиб. гос. ун-т. Физ. фак. Отд-ние информатики. Каф. автоматизации физ.-техн. исслед. - Новосибирск, 1997. - 51,[1] с. : ил. - Библиогр.: с. 52. - 5.00.
Авторы: Пивкин В.Я, Бакулин Е.П., Кореньков Д.И.
Шифры: В186 - П32
Ключевые слова: Нечеткие множества, Управляющие системы, Принятие решений, Системы управления, Нечеткие системы управления, Системы с нечеткой логикой
Экземпляры: Всего: 1, из них: к3-1
Подробнее
6. Документ
Нейрокомпьютер как основа мыслящих ЭВМ : [Сб. ст.] / РАН. Отд-ние физиологии; [Отв. ред. А. А. Фролов, Г. И. Шульгина]. - Москва : Наука, 1993. - 237,[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-02-005457-7 : 240.00; 140.00.
Авторы: Фролов А. А., Шульгина Г. И.
Шифры: З813.4 - Н46
Ключевые слова: Нейроинформатика, Нейрокомпьютеры, Искусственный интеллект, Нейросетевая технология, Нейрокибернетика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
7. Документ
Интеллектуальные процессы и их моделирование : Пространственно-временная орг. : Сб. науч. тр. / АН СССР, Отд-ние информатики, вычисл. техники и автоматизации, Ин-т пробл. передачи информ.; Отв. ред. А. В. Чернавский. - Москва : Наука, 1991. - 238,[2] с. : ил. ; 21 см. - Библиогр. в конце ст. - ISBN 5-02-006781-4 : 4.00.
Шифры: З813 - И73
Ключевые слова: Искусственный интеллект, Моделирование искусственного интеллекта
Экземпляры: Всего: 1, из них: к3-1
Подробнее
8. Документ
Математические исследования. Вып. 123 : Прикладные системы искусственного интеллекта / [редкол.: Д. А. Поспелов (отв. ред.) и др.] / АН Респ. Молдова, Ин-т математики с ВЦ. - Кишинев : Штиинца, 1991. - 133,[2] с. : ил. ; 21 см. - Библиогр. в конце ст. - ISBN 5-376-00972-6 : 31.50.
Шифры: В1я5 - М34
Экземпляры: Всего: 1, из них: к3-1
Подробнее
9. Документ
Нечеткие системы: модели и программные средства : сб. науч. тр. / Твер. гос. ун-т, Сов. ассоц. нечетких систем ; редкол.: А. В. Язенин (отв. ред.) и др. - Тверь, 1991. - 110, [2] c. : ил. - Библиогр. в конце ст. - ISBN 5-230-08373-5 : <null>.
Шифры: В186 - Н59
Ключевые слова: Нечеткие системы, Принятие решений, Теория множеств, Труды Тверского государственного университета
Экземпляры: Всего: 5, из них: к3-5
Подробнее
10. Документ
Ковальски Роберт.
Логика в решении проблем / Ковальски Роберт; Роберт Ковальски; Пер. с англ. Л. Г. Осмоловского и др.; С предисл. и примеч. Д. А. Поспелова. - Москва : Наука, 1990. - 277,[1] с. : ил. - (Проблемы искусств. интеллекта) ( ; Вып. 18). - Библиогр.: с.263-271. - Указ. имен. и предм.: с.272-278. - ISBN 5-02-014148-8 : 31.32.
Логика в решении проблем / Ковальски Роберт; Роберт Ковальски; Пер. с англ. Л. Г. Осмоловского и др.; С предисл. и примеч. Д. А. Поспелова. - Москва : Наука, 1990. - 277,[1] с. : ил. - (Проблемы искусств. интеллекта) ( ; Вып. 18). - Библиогр.: с.263-271. - Указ. имен. и предм.: с.272-278. - ISBN 5-02-014148-8 : 31.32.
Авторы: Ковальски Роберт, Осмоловский Л. Г., Поспелова Д. А.
Шифры: В186 - К56
Ключевые слова: Логическое программирование, Программирование
Экземпляры: Всего: 2, из них: к3-2
Подробнее
11. Книга
Логика и компьютер : Моделирование рассуждений и проверка правильности программ / [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.; Авт. предисл. И. М. Макаров; Науч. ред. Е. Д. Смирнова]; АН СССР. - Москва : Наука, 1990. - 238,[1] с. : ил. ; 19 см. - (Кибернетика - неограниченные возможности и возможные ограничения). - Библиогр.: с.231-235. - ISBN 5-02-007156-0 : 12.60.
Авторы: Анисов А. М., Алешина Н. А., Быстров П. И., Герасимова И. А., Меськов В. С., Непейвода Н. Н., Макаров И. М., Смирнова Е. Д.
Шифры: З973.2 - Л69
Ключевые слова: Компьютеры, Программирование, Информатика, Информационные технологии, Логика, Искусственный интеллект
Экземпляры: Всего: 2, из них: к3-2
Подробнее
12. Документ
Логический подход к искусственному интеллекту : от классич. логики к логич. программир. / [А. Тейз, П. Грибомон, Ж. Луи и др.]; пер. с фр. П. П. Пермякова; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Авт. указаны на обороте тит. л. - Перевод изд. : Approche logique de l,intelligence artificielle / Par Andre Thayse, Pascal Gribomont, Georges Louis etc. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. - ISBN 5-03-001636-8 (в пер.) : 2.90.
Авторы: Тейз Андре, Грибомон Паскаль, Луи Жорж, Гаврилов Гарий Петрович, Пермяков П. П.
Шифры: В186 - Л69
Ключевые слова: Основания математики, Математическая логика
Экземпляры: Всего: 4, из них: к3-4
Подробнее
13. Документ
Власов Владимир Васильевич.
Общая теория решения задач (рациология) / Власов Владимир Васильевич; В.В. Власов. - Москва : Изд-во ВЗПИ, 1990. - 124 с. ; 20 см. - Библиогр.: с. 122-123 (22 назв.). - ISBN 5-7045-0080-3 : 1.30.
Общая теория решения задач (рациология) / Власов Владимир Васильевич; В.В. Власов. - Москва : Изд-во ВЗПИ, 1990. - 124 с. ; 20 см. - Библиогр.: с. 122-123 (22 назв.). - ISBN 5-7045-0080-3 : 1.30.
Шифры: З813 - В58
Ключевые слова: Задачи, Решение задач, Теория решения задач, Рациология, Принятие решений
Экземпляры: Всего: 2, из них: к3-2
Подробнее
14. Документ
Дюбуа Дидье.
Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
Авторы: Дюбуа Дидье, Прад Анри, Орловский С. А., Тарасов В. Б.
Шифры: В12 - Д95
Ключевые слова: Представление знаний, Теория возможностей, Возможности, Информатика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
15. Документ
Поспелов Дмитрий Александрович.
Моделирование рассуждений : Опыт анализа мыслит. актов / Поспелов Дмитрий Александрович; Д. А. Поспелов. - Москва : Радио и связь, 1989. - 182,[2] с. : ил. ; 21 см. - Библиогр.: с. 179-183. - ISBN 5-256-00183-3 : 0.60.
Моделирование рассуждений : Опыт анализа мыслит. актов / Поспелов Дмитрий Александрович; Д. А. Поспелов. - Москва : Радио и связь, 1989. - 182,[2] с. : ил. ; 21 см. - Библиогр.: с. 179-183. - ISBN 5-256-00183-3 : 0.60.
Шифры: В186 - П62
Ключевые слова: Искусственный интеллект, Моделирование мышления, Мышление
Экземпляры: Всего: 1, из них: к3-1
Подробнее
16. Документ
Соколов Евгений Николаевич (1920-).
Нейроинтеллект от нейрона к нейрокомпьютеру / Соколов Евгений Николаевич; Е. Н. Соколов, Г. Г. Вайткявичюс; Отв. ред. П. В. Симонов. - Москва : Наука, 1989. - 236,[1] с. : ил. ; 22 см. - Библиогр.: с. 233-235. - ISBN 5-02-006640-0 : 1.00.
Нейроинтеллект от нейрона к нейрокомпьютеру / Соколов Евгений Николаевич; Е. Н. Соколов, Г. Г. Вайткявичюс; Отв. ред. П. В. Симонов. - Москва : Наука, 1989. - 236,[1] с. : ил. ; 22 см. - Библиогр.: с. 233-235. - ISBN 5-02-006640-0 : 1.00.
Авторы: Соколов Евгений Николаевич, Вайткявичюс Генрих Генрихович, Симонов П. В.
Шифры: З813 - С59
Ключевые слова: Биофизика, биохимия, физиология систем, органов, процессов животных, человека
Экземпляры: Всего: 1, из них: к3-1
Подробнее
17. Документ
Нечеткие системы поддержки принятия решений : сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т, Науч. совет АН СССР по пробл. "Искусственный интеллект". - Калинин : КГУ, 1989. - 108 с. : ил. - Библиогр. в конце ст. - 0.80.
Шифры: В126 - Н59
Ключевые слова: Принятие решений, Математическая теория принятия решений
Экземпляры: Всего: 3, из них: к3-3
Подробнее
18. Документ
Ладенко Иосаф Семенович.
Интеллектуальные системы в целевом управлении / Ладенко Иосаф Семенович; И. С. Ладенко ; отв. ред. В. Н. Карпович ; АН СССР, Сиб. отд-ние, Ин-т истории, филологии и философии. - Новосибирск : Наука. Сиб. отд-ние, 1987. - 195,[3] с. ; 21 см. - Библиогр.: с. 184-189 (106 назв.). - Указ. предм. и имен.: с. 190-196. - 1 р. 40 к.
Интеллектуальные системы в целевом управлении / Ладенко Иосаф Семенович; И. С. Ладенко ; отв. ред. В. Н. Карпович ; АН СССР, Сиб. отд-ние, Ин-т истории, филологии и философии. - Новосибирск : Наука. Сиб. отд-ние, 1987. - 195,[3] с. ; 21 см. - Библиогр.: с. 184-189 (106 назв.). - Указ. предм. и имен.: с. 190-196. - 1 р. 40 к.
Шифры: В186 - Л15
Ключевые слова: Искусственный интеллект
Экземпляры: Всего: 1, из них: к3-1
Подробнее