Монография специалистов из Бельгии и Швейцарии, излагающая проблемы
и методы искусственного интеллекта с точки зрения математической
логики. Она состоит из шести глав: логика, аксиоматические системы,
представление знаний и рассуждений, логика и модифицируемые
рассуждения, формальные грамматики и логическое программирование,
Пролог и логическое программирование. Книга построена так, что для
понимания материала от читателя требуется только знание основ
информатики. Для всех изучающих и использующих методы
искусственного интеллекта и логического программирования.
Тейз А., Грибомон П., Луи Ж. Логический подход к искусственному интеллекту: от классической логики к логическому программированию
- формат djvu
- размер 3.09 МБ
- добавлен 20 апреля 2009 г.
Похожие разделы
Смотрите также
Аверкин А.Н., Гаазе-Рапопорт М.Г., Поспелов Д.А. Толковый словарь по искусственному интеллекту
- формат htm
- размер 48.15 КБ
- добавлен 19 ноября 2008 г.
Словарь содержит около 550 терминов Авторы-составители: А.Н.Аверкин, М.Г.Гаазе-Рапопорт, Д.А.Поспелов Специальная терминология по искусственному интеллекту и интеллектуальным системам начала формироваться в 60-е годы ХХ в. Первый этап формирования терминологии всегда отличается наличием многих синонимических терминов, которые используют различные школы и группы специалистов. На этом этапе термины быстро возникают и часть из них также быстро исче...
Гаек П., Гавранек Т. Автоматическое образование гипотез. Математические основы общей теории
- формат djvu
- размер 12.84 МБ
- добавлен 27 сентября 2010 г.
М.: Наука, Гл. ред. физ-мат. литературы, 1984. —280 с. Проблематика книги связана с известным вопросом искусственного интеллекта: "может ли машина мыслить? ", который понимается авторами как вопрос: "может ли машина формулировать и проверять гипотезы? ". Книга содержит две части: "логика индукции" и "логика открытия". В книге рассматриваются нестандартные логические исчисления с обобщенными кванторами в смысле А. Мостовского (в том числе многозна...
Лекции - Интеллектуальные системы
Статья- формат doc
- размер 837.5 КБ
- добавлен 16 ноября 2010 г.
Включает следующие темы: Основные области исследований по искусственному интеллекту. Преимущества ЭС. Задачи ЭС. Структура экспертных систем. Состав знаний экспертной системы. Семантические сети. Фрейм. Управление выводом во фреймовых системах. Системы продукций. Управление выводом в продукционной системе. Этапы разработки ЭС. Инструментальные средства построения ЭС. Способы представления знаний и методы разработки. Примеры инструментальных средс...
Лекции по искусственному интеллекту
Статья- формат doc
- размер 148.03 КБ
- добавлен 23 января 2011 г.
Введение Основные области исследований по искусственному интеллекту Преимущества ЭС. Задачи ЭС. Структура экспертных систем. Состав знаний экспертной системы Семантические сети Фрейм Управление выводом во фреймовых системах Системы продукций Управление выводом в продукционной системе
Малышенко А.М. Лекции по искусственному интеллекту и нейросетевому управлению
- формат doc
- размер 859.04 КБ
- добавлен 14 сентября 2011 г.
Курс лекций. - Томск: ТПУ. Курс Искусственный интеллект и нейросетевое управление входит в цикл дисциплин специализации. Он включен в учебные планы с целью усвоения студентами современных знаний в области использования элементов искусственного интеллекта для управления различного рода объектами и процессами современных промышленных производств. Изложение курса Искусственный интеллект и нейросетевое управление базируется в основном на курсах Инфо...
Нильсон Н. Искусственный интеллект. Методы поиска решений
- формат djvu
- размер 2.05 МБ
- добавлен 18 ноября 2008 г.
Книга написана как учебник, посвященный методам поиска решений в пространстве состояний, - главной теме в исследованиях по Искусственному интеллекту
Нильсон Н. Искусственный интеллект. Методы поиска решений
- формат pdf
- размер 11.55 МБ
- добавлен 16 июля 2011 г.
Москва: Мир, 1973, 273с. Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, - главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач - игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др. Для чтения книги требуются небольшие позн...
Тейз А., Грибомон П. и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных
- формат djvu
- размер 4.04 МБ
- добавлен 30 октября 2010 г.
Авторы: /А.Тейз, П.Грибомон, Г.Юлен, А.Пирот, Д.Ролан, Д.Снайерс, М.Воклер, П.Гоше, П.Вольпер, Э.Грегуар, Ф.Дельсарт/, Пер. с франц. - М.: Мир, 1998.- 494 с.: ил. Монография французских математиков, представляющая собой продолжение книги с тем же названием, но другим подзаголовком (М.: Мир, 1990). Она включает основы модальных и временных логик, анализ естественных языков, семантики Монтегю, немонотонных логик и логической теории баз данных. Изл...
Уэно X., Исидзука М. Представление и использование знаний. Том 2
- формат djvu
- размер 2.64 МБ
- добавлен 08 апреля 2010 г.
Мир, 1989. 220 с ISBN 5-03-000685-0. Книга является переводом второго тома 10-томной серии по инженерии знаний, написанной крупными японскими специалистами в области искусственного интеллекта. Знания и их представления. Представление знаний правилами и логический вывод. Представление знаний фреймами и вывод. Представление знаний семантическими цепями и вывод. Представление знаний и получение выводов с помощью логики предикатов. Представление и ис...
Фейгенбаум Э. (ред.) Вычислительные машины и мышление
Статья- формат pdf
- размер 13.11 МБ
- добавлен 21 ноября 2011 г.
-М.: Мир, 1967. 552 с. Сборник является одной из первых изданных на русском языке книг по будущему "искусственному интеллекту" - в данной книге эта область исследований представлена как "эвристическое программирование". В сборнике представлены статьи известных американских исследователей, сообщающие о конкретных разработках и результатах исследований в этой области. Самостоятельную ценность представляют обзорная работа М.Минского и, составленная...