Язык программирования Prolog

vnaumkin

Дата: Пятница, 2011-07-22, 6:28 PM | Сообщение # 1

Нобелевский лауреат

Группа: Проверенные

Сообщений: 8598

Репутация: 2655

Награды: 58

Замечания: 0%

Статус: Offline

Город: ⒾⓈⓉⓇⒶ

Читаем

http://habrahabr.ru/blogs/programming/124636/

МАИ 3 факультет 5 курс
Регистрируйтесь на Dropbox - 2,5 Гб совершенно бесплатно!

PetrZfIrst

Дата: Пятница, 2011-07-22, 11:59 PM | Сообщение # 2

Нобелевский лауреат

Группа: Проверенные

Сообщений: 3919

Репутация: 437

Награды: 71

Замечания: 0%

Статус: Offline

Город: Москва

Прочитал. И коменты немного почитал. Почти нифига не понял, но очень испугался biggrin

Слава богу до 4 курса (или когда у нас там искусственный интеллект) ещё далеко biggrin

МГУ филфак, отделение теоретической и прикладной лингвистики

vnaumkin

Дата: Суббота, 2011-07-23, 0:02 AM | Сообщение # 3

Нобелевский лауреат

Группа: Проверенные

Сообщений: 8598

Репутация: 2655

Награды: 58

Замечания: 0%

Статус: Offline

Город: ⒾⓈⓉⓇⒶ

PetrZfIrst, зато полезно smile

МАИ 3 факультет 5 курс
Регистрируйтесь на Dropbox - 2,5 Гб совершенно бесплатно!

PetrZfIrst

Дата: Суббота, 2011-07-23, 0:04 AM | Сообщение # 4

Нобелевский лауреат

Группа: Проверенные

Сообщений: 3919

Репутация: 437

Награды: 71

Замечания: 0%

Статус: Offline

Город: Москва

vnaumkin, я так и не врубил в чём польза от этого изврата если честно biggrin

МГУ филфак, отделение теоретической и прикладной лингвистики

vnaumkin

Дата: Суббота, 2011-07-23, 0:05 AM | Сообщение # 5

Нобелевский лауреат

Группа: Проверенные

Сообщений: 8598

Репутация: 2655

Награды: 58

Замечания: 0%

Статус: Offline

Город: ⒾⓈⓉⓇⒶ

PetrZfIrst, искусственный интеллект. Попробуй например написать на Си или подобном прогу символьного дифференцирования.

МАИ 3 факультет 5 курс
Регистрируйтесь на Dropbox - 2,5 Гб совершенно бесплатно!

PetrZfIrst

Дата: Суббота, 2011-07-23, 0:07 AM | Сообщение # 6

Нобелевский лауреат

Группа: Проверенные

Сообщений: 3919

Репутация: 437

Награды: 71

Замечания: 0%

Статус: Offline

Город: Москва

Quote (vnaumkin)

символьного дифференцирования

Это распознавание символов что ли?

МГУ филфак, отделение теоретической и прикладной лингвистики

vnaumkin

Дата: Суббота, 2011-07-23, 0:11 AM | Сообщение # 7

Нобелевский лауреат

Группа: Проверенные

Сообщений: 8598

Репутация: 2655

Награды: 58

Замечания: 0%

Статус: Offline

Город: ⒾⓈⓉⓇⒶ

PetrZfIrst, это дифференцирование функции, записанной символьно, с получением другой символьной функции.

Добавлено (2011-07-23, 0:11 Am)
---------------------------------------------
То есть x^2 -> 2x
Как вольфрам альфа.

МАИ 3 факультет 5 курс
Регистрируйтесь на Dropbox - 2,5 Гб совершенно бесплатно!

PetrZfIrst

Дата: Суббота, 2011-07-23, 0:13 AM | Сообщение # 8

Нобелевский лауреат

Группа: Проверенные

Сообщений: 3919

Репутация: 437

Награды: 71

Замечания: 0%

Статус: Offline

Город: Москва

vnaumkin, ну то есть распознавание символов и считывание их программой которая имеет алгоритм дифференцирования, а потом вывод результата? Сори за тупые вопросы, я в проге вообще чайник smile

МГУ филфак, отделение теоретической и прикладной лингвистики

vnaumkin

Дата: Суббота, 2011-07-23, 0:17 AM | Сообщение # 9

Нобелевский лауреат

Группа: Проверенные

Сообщений: 8598

Репутация: 2655

Награды: 58

Замечания: 0%

Статус: Offline

Город: ⒾⓈⓉⓇⒶ

PetrZfIrst, типа того. Но она это делает не численно, а реализует те самые правила, которые изучались в школе. В программе записываются правила - а дальше в действие вступает алгоритм резолюции.

МАИ 3 факультет 5 курс
Регистрируйтесь на Dropbox - 2,5 Гб совершенно бесплатно!

PetrZfIrst

Дата: Суббота, 2011-07-23, 0:21 AM | Сообщение # 10

Нобелевский лауреат

Группа: Проверенные

Сообщений: 3919

Репутация: 437

Награды: 71

Замечания: 0%

Статус: Offline

Город: Москва

vnaumkin, опять же сори за тупой вопрос, но если отбросить тот модуль программы который распознаёт символы и говорить об алгоритме дифференцирования - что мешает его реализовать в каком-нить Си if...thenами? По крайней мере в школе насколько я помню была тупо табличка дифференциалов, не очень большая. Как вручную дифференцировать то, чего в этой табличке нет (или то, что к ней не сводится) нас правда не учили.

МГУ филфак, отделение теоретической и прикладной лингвистики

vnaumkin

Дата: Суббота, 2011-07-23, 0:23 AM | Сообщение # 11

Нобелевский лауреат

Группа: Проверенные

Сообщений: 8598

Репутация: 2655

Награды: 58

Замечания: 0%

Статус: Offline

Город: ⒾⓈⓉⓇⒶ

Quote (PetrZfIrst)

что мешает его реализовать в каком-нить Си if...thenами

Нам препод так и говорил - попробуй.

Quote (PetrZfIrst)

отбросить тот модуль программы который распознаёт символы

Не все так просто. Это ключевой момент. Если говорить просто, программа "смотрит" на функцию в целом.

Добавлено (2011-07-23, 0:23 Am)
---------------------------------------------

Quote (PetrZfIrst)

тупо табличка дифференциалов, не очень большая. Как вручную дифференцировать то, чего в этой табличке нет (или то, что к ней не сводится) нас правда не учили.

Есть же дифференцирование суммы, произведения, частного. Вот уже и будут почти все функции.

МАИ 3 факультет 5 курс
Регистрируйтесь на Dropbox - 2,5 Гб совершенно бесплатно!

PetrZfIrst

Дата: Суббота, 2011-07-23, 0:29 AM | Сообщение # 12

Нобелевский лауреат

Группа: Проверенные

Сообщений: 3919

Репутация: 437

Награды: 71

Замечания: 0%

Статус: Offline

Город: Москва

Quote (vnaumkin)

дифференцирование суммы, произведения, частного

Да, это учили. Я вот помню, что у нас всё в итоге к табличке сводилось.

Quote (vnaumkin)

Нам препод так и говорил - попробуй.

И не объяснял в чём проблема? И что, никто не пробовал?

Quote (vnaumkin)

Не все так просто. Это ключевой момент. Если говорить просто, программа "смотрит" на функцию в целом.

А, я по ходу понял. Трудно (точнее почти невозможно) как-то стандартизировать или упорядочить ввод данных, да?

МГУ филфак, отделение теоретической и прикладной лингвистики

vnaumkin

Дата: Суббота, 2011-07-23, 0:31 AM | Сообщение # 13

Нобелевский лауреат

Группа: Проверенные

Сообщений: 8598

Репутация: 2655

Награды: 58

Замечания: 0%

Статус: Offline

Город: ⒾⓈⓉⓇⒶ

Quote (PetrZfIrst)

И не объяснял в чём проблема? И что, никто не пробовал?

Нет, лень

В общем, это реально, но очень сложно, и такой фигней никто не занимается.
Такие программы используют декларативные языки, правда на практике чаще функциональные.

МАИ 3 факультет 5 курс
Регистрируйтесь на Dropbox - 2,5 Гб совершенно бесплатно!

selya

Дата: Вторник, 2011-07-26, 9:44 PM | Сообщение # 14