Искусственный интеллект в области математики

Здесь находятся темы форума, утратившие актуальность

Модератор: Администраторы

Сообщение NO » Пт мар 31, 2006 19:57:52

Дорогой коллега!
Все эти организационные вопросы меня совершено не интересуют, включая можете ли Вы создать такую программу и что считать правильно потраченным временем.
Но есть вопросы с терминологией, например можно ли математику, т.е. операции с формулами свести к вычислению, т.е. операциям с числами. Или вот это "QuickNP", NP это уже значение скорости и второй эпитет не нужен, он либо тождественен либо противоречит первому, QuickNP читается как Большое7. Что, бывает еще маленькое 7 и среднее 7? 7 это 7, если что-то к этому добавить то будет 8 или даже 9. Не понятно.
Мне просто нравится, что вы упоминаете математику, даже вынесли в название. У меня уже есть некоторые познания в этой области поэтому мне было бы удобнее увидеть Вашу планируемую систему в сравнениях с другими, а грузиться полностью с нуля очередной банальной и мутной ИИ-теорией. На что похожа Ваша система? На цикл for(), перебирающий варианты с минимальными накладными расходами, или на систему с доказательствами, которая выполняет перебор только когда сама получила этот NP-алгоритм в качестве единственного оптимального метода решения конкретной задачи?
В общем я пока не вижу проекта как привык видеть проекты, и был бы действительно идиотом, если ничего не выясняя захотел бы в это небытье кануть. С NP более-менее ясно, а насчет математики, если будет время - поищите Буцефал Рязанова или ACL2.
Аватара пользователя
NO
Серьёзный посетитель
 
Сообщения: 130
Зарегистрирован: Пт мар 25, 2005 21:43:38

Сообщение Гость » Пт мар 31, 2006 23:15:14

glamur писал(а):Т.к. я больше не могу участвовать в форуме, связаться со мной можно по e-mail. На прощание не могу не выразить своей иронии по отношению к модераторам: удаляли сообщения, мусорили в теме, ругали и хвалили друг с друга, удалили пользователя... Детский сад какой-то...

С этим ником можете продолжать, только без ругани в адрес самого ценного участника. :!:
Гость
 

Сообщение Alexandr N. » Пт апр 14, 2006 13:15:04

ИМХО ИИ вообще должен основываться на логике(правилах вывода) и
теории множеств (конечных). Все остальное должно быть надстройкой.

Например:

Задача Эйнштейна

Основные данные:
Есть 5 домов.
В каждом доме живет по одному человеку отличной друг от друга национальности.
Каждый жилец пьет только один определенный напиток, курит определенную марку
табака и держит определенное животное. Никто из 5 человек не пьет одинаковые
с другими напитки, не курит одинаковый табак и не держит одинаковое животное.

Дополнительные сведения:
1.Англичанин живет в красном доме.
2.Швед держит собаку.
3.Датчанин пьет чай.
4.Зеленый дом стоит слева от белого.
5.Жилец зеленого дома пьет кофе.
6.Человек, который курит Pall Mall, держит птицу.
7.Жилец из среднего дома пьет молоко.
8.Жилец из желтого дома курит Dunhill.
9.Норвежец живет в первом доме.
10.Курильщик Marlboro живет около того, кто держит кошку.
11.Человек, который содержит лошадь, живет около того,
кто курит Dunhill.
12.Курильщик Winfield пьет пиво.
13.Норвежец живет около голубого дома.
14.Немец курит Rothmans.
15.Курильщик Marlboro живет по соседству с человеком,
который пьет воду.

Вопрос: Кому принадлежит рыба?

Задача интерпретируется иск.интеллектом в такой вот набор:

///Есть пять домов

значит есть множество мощность 5:
|Д|=5

///В каждом доме живет по человеку
значит есть множество людей Л, и есть отношение "живет" Rж.
И для любого элемента Д существует элемент Л такой, с которым они
находятся в отношении Rж:
Aд э Д Eл э Л (д,л)эRж
(здесь значки "A" (any), "E" (exist) и "э" (принадлежит)
надо перевернуть, чтобы получить норм. мат. вид)
///по ОДНОМУ человеку
Значит для любых разных элементов множества Л, если один из них и
конкретный дом (д э Д) принадлежит Rж, значит другой элемент Л и
этот конкретный дом не принадлежит отношению Rж:

при (Ai,j э Л) (д э Д) и (i!=j) если (i,д)эRж => (j,д)!эRж

Для домов аналогично.

И так далее:
Ну и набор утверждений:

1) (л(англичанин),д(красный))эRж
2) (л(швед),жив(собака))эRx
и т.д.

затем путем логических правил вывода выдает ответ.

А любые другие пути создания иск. интеллекта к нему не приведут.
Alexandr N.
Редкий гость
 
Сообщения: 1
Зарегистрирован: Пт апр 14, 2006 13:06:58

Пред.

Вернуться в Архив тем

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2


cron


Rambler's Top100 Каталог ресурсов ListTop.Ru Каталог сайтов Союз образовательных сайтов Parenting.ru - Родители семья дети ребенок

     Сайт "Искусственный интеллект" - программирование ИИ от разработчика: общение, статьи, ссылки.