Братко И. Программирование на языке Пролог для искусственного интеллекта

  • формат chm
  • размер 658.07 КБ
  • добавлен 25 января 2012 г.
Пер. с англ. -М.: Мир, 1990. - 560 с., ил. Электронную версию книги создал Иванов Виктор Михайлович. Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной...

Bratko Ivan. Prolog Programming for Artificial Intelligence

  • формат pdf
  • размер 29.76 МБ
  • добавлен 05 января 2012 г.
The third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic, however the m...

Лекції - програмне забезпечення інтелектуальних систем

Статья
  • формат doc
  • размер 1.19 МБ
  • добавлен 12 ноября 2011 г.
Для студентів 4 курсу, напрям підготовки 6.050101 Комп’ютерні науки, 7 лекцій, 34 сторінки. Основні поняття експертних систем, їх призначення і характеристики. Етапи розробки ЕС. Склад і організація даних і знань в ЕС. Моделі представлення знань в ЕС. Способи реалізації логічного висновку в ЕС з класичними моделями представлення знань. Методи придбання знань. Вірогідність і нечітка логіка в експертних системах.

Клоксин, Меллиш. Программирование на языке Пролог

  • формат fb2
  • размер 1.48 МБ
  • добавлен 11 октября 2011 г.
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.rn

Братко Иван. Программирование на языке Пролог для искусственного интелекта

  • формат fb2
  • размер 3.52 МБ
  • добавлен 11 октября 2011 г.
Книга известного специалиста по программированию (Югославия), содержащая основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами - книга написана в хорошем стиле, живым языком. Книга дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов разной квалификации, специалистов по искусственному интеллекту, для всех изучающих программированиеrn

Ковальски Р. Логика в решении проблем

  • формат djvu
  • размер 3.98 МБ
  • добавлен 11 августа 2011 г.
Москва: "НАУКА", 1990 г. Изложены основы так называемой клаузальной логики, являющейся средством логического программирования. Последнее лежит в основе проектирования ЭВМ пятого поколения, над которыми в настоящее время работают специалисты ряда стран. Для научных работников и инженеров, занимающихся проблемами искусственного интеллекта. Полезна аспирантам и студентам втузов.

Крицкий С.В., Марина И.М. и др. Функциональное и логическое программирование Методическое пособие Часть 2 Язык программирования Пролог

  • формат pdf
  • размер 710.74 КБ
  • добавлен 13 июля 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2006, 28с. Для студентов специальности I-40 01 01 "Программное обеспечение информационных технологий" В 4-х частях Часть 2 Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначено для студентов дневной и дистанционной форм обучения.

Мурашко И.А., Марина И.М. Методическое пособие по курсу Функциональное и логическое программирование Часть 1 Язык программирования Лисп

  • формат doc
  • размер 305.5 КБ
  • добавлен 12 июля 2011 г.
Белорусский государственный университет информатики и радиоэлектроники, 2002, 27с. Для студентов специальности Т10.02.00 "Программное обеспечение информационных технологий" Часть 1 Язык программирования Лисп В методическом пособии изложены основы функционального программирование на примере языка Лисп. Приведены сведения о системе программирования muLisp и описаны основные функции языка Лисп.rn

Лекции - Основы логического программирования

Статья
  • формат doc
  • размер 106.5 КБ
  • добавлен 01 июля 2011 г.
Подготовка к экзамену. Понятие об искусственном интеллекте и экспертных системах. Понятие о базах знаний. Средства описания и представления знаний Формы представления знаний Логические модели Семантические сети. Пример применения семантических сетей для ре-шения логических задач Фреймы. Пример описания задач с помощью фреймов Системы продукций. Прямые и обратные системы продукции. Примеры применения Метод резолюций. Демонстрация метода на пример...

Лекции - Основы логического программирования

Статья
  • формат doc
  • размер 471.5 КБ
  • добавлен 01 июля 2011 г.
Введение. Понятие о БЗ. Средства описания БЗ. Формы представления знаний. Исчисление высказываний. Логика предикатов. Семантические сети. Фреймы. Система продукции. Понятие вывода. Метод резолюций. Ввод- вывод в Турбо Прологе. Технические приложения Пролога. и другие темы. 13 страниц

Lloyd J.W. Foundations of Logic Programming

  • формат pdf
  • размер 7.86 МБ
  • добавлен 27 июня 2011 г.
Springer, 1987. - 212 pages. This is the second edition of the first book to give an account of the mathematical foundations of Logic Programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of Logic Programming, which have previously only been available in widely scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples. Many...

Лабораторная работа - Работа с динамическими базами данных в Турбо-Прологе

Лабораторная
  • формат doc
  • размер 38.5 КБ
  • добавлен 19 июня 2011 г.
Динамическая база содержит информацию о результатах сессии данной группы студентов в виде утверждений следующих видов: математика, физика, химия, информатика (Ф. И. О., оценка). Предполагается, что в группе N студентов, и все они имеют оценки по всем предметам (5,4,3,2). В динамической базе данных (ДБД) для каждого студента может храниться информация об одной или нескольких оценках (т. е. несколько фактов) по каждому предмету, что связано с возмо...

Лабораторная работа - Использование структур

Лабораторная
  • формат doc
  • размер 457.5 КБ
  • добавлен 19 июня 2011 г.
Требуется сформировать исходный список структур. Сформировать иp исходного списка новый список структур и вывести его на экран. Уточнение задания: определены структуры «дата рождения», «Ф. И. О. »(фамилия, имя, отчество), «персона»(Ф. И. О., дата рождения) и «супруги» (Ф. И. О., Ф. И. О. ) Найти все пары, где оба супруга родились в один и тот же месяц.

Лабораторная работа - Организация многооконных меню и работа с файлами в турбо-прологе

Лабораторная
  • формат doc
  • размер 1.95 МБ
  • добавлен 19 июня 2011 г.
Создать программу работы с файлами целых чисел, реализующую следующие функции обработки файлов: а) создание файла; б) добавление элемента в файл; в) модификацию данных в файле; г) удаление элемента в файл; д) просмотр файла (вывод на экран); ж) найти сумму положительных элементов файла.

Лабораторная работа - Построение информационно-справочных систем

Лабораторная
  • формат exe
  • размер 46.09 КБ
  • добавлен 30 мая 2011 г.
Создать ИСС для выбора компьютера. Атрибуты: тип( сервер, рабочая станция), память, процессор, стоимость и т. д. Язык PROLOGrn

Шпаргалка - Функционально-логическое программирование Prolog, Lisp

pottee
  • формат doc
  • размер 91.3 КБ
  • добавлен 16 марта 2011 г.
ШПАРГАЛКА! Понятия предиката. Алгоритмы унификации. Структура пролог-программы. Организация повторов. Ветвление-выбор. Стандартные математические предикаты. Списки и операции над ними. Сортировка списков. Выборка элементов из списков. Слияние списков. Множества в Прологе. Реализация деревьев в Прологе. Функциональный подход программирования. Методы обработки списков (ЛИСП). Определение универсальной функции. Предикаты и истинность в ЛИСПе. Отобра...

Кичкайло Т.А., Тушев А.Н. Функциональное и Логическое Программирование

  • формат pdf
  • размер 4.46 МБ
  • добавлен 04 марта 2011 г.
Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного обучения. Барнаул: 1999. - 148с. Данное учебное пособие предназначено для дистанционного изучения дисциплины «Функциональное и логическое программирование». Рассматриваются вопросы программирования на языке Лисп, применение этого языка для обработки математических выражений в системе Reduce-З и применение Лиспа для автоматического построения чертежей в системе Авток...

Лабораторные работы на языке Пролог

Лабораторная
  • формат doc
  • размер 242.5 КБ
  • добавлен 27 февраля 2011 г.
6 лабораторныйх работ на языке Пролог с полными исходниками и результатами: Поиск с возвратом; Рекурсии; Обработка списков; Деревья; Базы данных; Строки и файлы.

Романов Д.А. Методические указания по оформлению курсовой работы по дисциплине Функциональное и логическое программирование

  • формат doc
  • размер 101.5 КБ
  • добавлен 17 февраля 2011 г.
Романов Д. А. Методические указания по оформлению курсовой работы по дисциплине "Функциональное и логическое программирование" для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем. Краснодар, 2004, 24 с. Представлены основные требования к выполнению и оформлению курсовой работы. Печатается по решению Редакционно-издательского совета ИМСИТ. Содержание: Введение. Содержание и объём курсо...

Курсовая работа - Особенности языка ЛИСП

Реферат
  • формат doc
  • размер 115.55 КБ
  • добавлен 07 февраля 2011 г.
Введение. Язык программирования ЛИСП. Основные функции языка Лисп. Арифметические функции. Логические функции. Специальные функции. Особенности диалектов языка ЛИСП. MacLISP. MuLISP. nterLISP. CommonLISP. Особенности языка ЛИСП. Заключение.