Лекции: Искусство программирования на языке PROLOG - текст лекции. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Лекции

Искусство программирования на языке PROLOG

Банк рефератов / Компьютерные сети

Рубрики  Рубрики реферат банка

закрыть
Категория: Лекция
Язык лекции: Русский
Дата добавления:   
 
Скачать
Архив Rar, 92 kb, скачать бесплатно
Обойти Антиплагиат
Повысьте уникальность файла до 80-100% здесь.
Промокод referatbank - cкидка 20%!
Текст
Факты использования лекции

Узнайте стоимость написания уникальной работы

Вводная лекция 1.
История развития искусственного интеллекта. Основные задачи ИИ.
Наиболее известные системы ИИ. История языка Пролог.
 
История развития ИИ.
 
Искусственный интеллект подразумевает создание некоторой разумной, интеллектуальной машины. Реально о проблеме ИИ заговорили с момента появления работ Тьюринга. Возник вопрос: какую машину считать разумной? Тьюринг предложил: нужно общаться с машиной как с невидимым собеседником если человек и машина неразличимы, то машина интеллектуальна. Но с развитием техники этот тест перестал быть полным.
 Развитие искусственного интеллекта связано с именем Мичи. Он выделял главным свойством интеллектуальной машины способность к самообучению.
Нет общего понятия ИИ. Но можно определить задачи, методы решения которых на ЭВМ связаны с понятием ИИ.
 
Задачи искусственного интеллекта.
 
Вопервых, к задачам ИИ относится автоматическое решение некоторых проблем, а также рассмотрение и корректировка методов решения этих проблем. Автоматические решатели задач системы, осуществляющие построение вычислительной процедуры.
Также, искусственный интеллект рассматривает:
-          задачи распознавания образов (распознаватели устройства, реагирующие на внешнюю среду через датчики (телекамеры и т.д.)), например, задачи по распознаванию естественной речи;
-          задачи доказательства теорем и обучения (например, навык какой-нибудь игры);
-          построение экспертных систем программных систем, способных принимать решение как эксперт (такая система должна обладать знаниями базой данных, механизмом логического вывода и способом его совершенствования);
 
Чтобы сделать программу интеллектуальной, ее нужно снабдить качественными знаниями.
 
Системы искусственного интеллекта:
 
 программа ELIZA (автор: профессор Вайзенбаум). Эта программа была разработана в конце 60х годов. Ее задача отвечать на вопросы собеседника. Программа ищет в вопросе знакомые ей слова (имеющиеся в списке ее знаний, в стеке) и, если слово нашлось, то выбирается соответствующий список ответов, иначе ответ выбирается из стека общих фраз. Один из вариантов программы ELIZA программа DOCTOR, созданная пародией на психиатрическую больницу.
 
 система MYSIN (автор: Шортклиф). Эта система была разработана в 1976 году. Она предназначалась для консультаций при диагностике инфекционных заболеваний крови и умела строить логические выводы. Система была способна оценивать правдоподобность логического вывода (в рамках от 0 до 1), давала пояснения о том, почему она пришла к тому или иному выводу, могла быть использована и при диагностике некоторых других заболеваний.
 система DENDRAL для решения задач химического анализа.
 
Инженерия знаний наука о том, как извлечь информацию от экспертной системы. Инженер знаний тот, кто владеет этой наукой и способен работать с экспертной системой.
Для создания ИИ не годятся традиционные языки высокого и низкого уровня, а используются языки: логического программирования PROLOG (распространен в Европе), LISP (распространен в США, базу этого языка составляют списки).
 
Логическое программирование:
 
Теперь перейдем к изучению особенностей языка PROLOG.
В первую очередь следует заметить, что PROLOG декларативный язык (то есть язык, не требующий определенных алгоритмов), в отличие от языков C, Pascal и других языков процедурного толка (то есть алгоритмических языков).
 
Логическая программа это набор аксиом (состоящих из хорновских дизъюнкт и целей (GOAL)).Вычисление логической программы это конструктивное доказательство целевого утверждения из логической программы.
 
Так, например пусть есть логическая программа, содержащая знания о том, что Иван является родителем Семена, а Семен является родителем Анны. Эта программа может быть записана в следующем виде:
 
родитель(иван,семен)
родитель(семен,анна)
 
Здесь ключевое слово "родитель" называется именем предиката, задающим отношение "родитель потомок", а два аргумента этого предиката, есть данные программы, подпадающие под это отношение.
Цель: родитель(иван, семен). вычисленное значение этой программы: yes (то есть, эта цель достижима из логической программы).
Цель: родитель(Х, семен). вычисленное значение этой программы: иван (то есть, эта цель достижима и выдает своим результатом имя отца Семена Иван).
Следует обратить внимание на то, что все константные термы в языке PROLOG должны писаться с маленькой буквы, а переменные с большой.
 
Рассмотрим структуру аксиом, из которых состоит логическая программа. Аксиомы записываются в виде:
A:B1,B2,…,Bn.
Такая запись аксиом может трактоваться двумя способами:
-          декларативно: из конъюнкции подцелей B1,B2,…,Bn следует цель A;
-          процедурно: A есть последовательность B1,…,Bn.
И ту, и другую трактовку мы рассмотрим позже…
 
Замечание:
 
Значительный вклад в теорию логического программирования внесли:
 
-          Ковальский: в своей публикации он разработал 2 метода, на которых основано логическое программирование методы унификации и резолюции.
-          Колмероэ: создал первый интерпретатор логической программы и назвал его PROLOG.
1Авиация и космонавтика
2Архитектура и строительство
3Астрономия
 
4Безопасность жизнедеятельности
5Биология
 
6Военная кафедра, гражданская оборона
 
7География, экономическая география
8Геология и геодезия
9Государственное регулирование и налоги
 
10Естествознание
 
11Журналистика
 
12Законодательство и право
13Адвокатура
14Административное право
15Арбитражное процессуальное право
16Банковское право
17Государство и право
18Гражданское право и процесс
19Жилищное право
20Законодательство зарубежных стран
21Земельное право
22Конституционное право
23Конституционное право зарубежных стран
24Международное право
25Муниципальное право
26Налоговое право
27Римское право
28Семейное право
29Таможенное право
30Трудовое право
31Уголовное право и процесс
32Финансовое право
33Хозяйственное право
34Экологическое право
35Юриспруденция
36Иностранные языки
37Информатика, информационные технологии
38Базы данных
39Компьютерные сети
40Программирование
41Искусство и культура
42Краеведение
43Культурология
44Музыка
45История
46Биографии
47Историческая личность
 
48Литература
 
49Маркетинг и реклама
50Математика
51Медицина и здоровье
52Менеджмент
53Антикризисное управление
54Делопроизводство и документооборот
55Логистика
 
56Педагогика
57Политология
58Правоохранительные органы
59Криминалистика и криминология
60Прочее
61Психология
62Юридическая психология
 
63Радиоэлектроника
64Религия
 
65Сельское хозяйство и землепользование
66Социология
67Страхование
 
68Технологии
69Материаловедение
70Машиностроение
71Металлургия
72Транспорт
73Туризм
 
74Физика
75Физкультура и спорт
76Философия
 
77Химия
 
78Экология, охрана природы
79Экономика и финансы
80Анализ хозяйственной деятельности
81Банковское дело и кредитование
82Биржевое дело
83Бухгалтерский учет и аудит
84История экономических учений
85Международные отношения
86Предпринимательство, бизнес, микроэкономика
87Финансы
88Ценные бумаги и фондовый рынок
89Экономика предприятия
90Экономико-математическое моделирование
91Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
- Вовочка! Хочешь, я покажу тебе сестрёнку, которую купили в магазине?
- Тоже мне делов - сестрёнку! Ты мне магазин покажи!
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, лекции по компьютерным сетям "Искусство программирования на языке PROLOG", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2017
Рейтинг@Mail.ru