Форум: Проблемы искусственного интеллекта

Регистрация | Вход

Все темы | Новая тема  Стр.1 (2) След. > >>    Поиск:
Автор	Тема: Задачка на логический вывод
tac Сообщений: 2601	Задачка на логический вывод Добавлено: 23 окт 09 0:22 Попалось мне такое народное творчество: "ЗАГАДКА ЭЙНШТЕЙНА: ЛИШЬ 2% УМНЕЙШИХ ЛЮДЕЙ ПЛАНЕТЫ СПОСОБНЫ ЕЕ ОТГАДАТЬ! ПОПРОБУЕШЬ?! Великий физик Альберт Эйнштейн придумал загадку, с помощью которой можно отличить интеллектуальную элиту от серой массы. 98% людей не в состоянии решить эту агадку! Итак, вашему вниманию великая Загадка Эйнштейна:1. Есть 5 домов, каждый разного цвета.2.В каждом доме живёт один человек, отличающийся от соседнего по национальности: немец, англичанин, швед, датчанин, норвежец. 3.Каждый пьёт только один определённый напиток, курит определённую марку сигарет идержит определённое животное. 4.Никто из 5 человек не пьёт одинаковые сдругими напитки, не курит одинаковые сигареты и не держит одинаковое животное.ВОПРОС: Кому принадлежит рыба? Подсказки: 1.Англичанин живёт в красном доме. 2.Швед держит собаку. 3.Датчанин пьёт чай. 4.Зелёный дом стоит слева от белого. 5.Жилец зелёного дома пьёт кофе. 6.Человек, который курит „Pall Mall“, держит птицу. 7.Жилец из среднего дома пьёт молоко. 8.Жилец из жёлтого дома курит „Dunhill“. 9.Норвежец живёт в первом доме. 10.Курильщик „Marlboro“ живёт около того, кто держит кошку. 11.Человек, который содержит лошадь, живёт около того, кто курит „Dunhill“. 12.Курильщик сигарет „Winfield“ пьёт пиво. 13.Норвежец живёт около голубого дома. 14.Немец курит „Rothmans“. 15.Курильщик „Marlboro“ живёт по соседству с человеком, который пьёт воду." Во-первых - попробуйте ответить. Во-вторых, для продвинутых, сделайте/опишите алгоритм ИИ, который это решит. Уверен НИ ОДИН классический алгоритм машинного вывода не справится ! [Ответ][Цитата]
Вольфрамовый клaпaн Сообщений: 13070	На: Задачка на логический вывод Добавлено: 23 окт 09 1:42 во-первых, эта задача легко решается на прологе... гугл рулит... во-вторых эта задача решена у меня в 97 году на т.н. Силлогисторе... в-третьих у меня есть решение этой задачи на ограниченном естественном языке без применения предикатов... в-четвертых, ваше условие еще не точное, нужно явное перечисление животных, в вашем варианте не определено, что рыба должна кому-то принадлежать... [Ответ][Цитата]
tac Сообщений: 2601	На: Задачка на логический вывод Добавлено: 23 окт 09 2:00 Цитата: Автор: Egg во-первых, эта задача легко решается на прологе... гугл рулит... во-вторых эта задача решена у меня в 97 году на т.н. Силлогисторе... в-третьих у меня есть решение этой задачи на ограниченном естественном языке без применения предикатов... в-четвертых, ваше условие еще не точное, нужно явное перечисление животных, в вашем варианте не определено, что рыба должна кому-то принадлежать... Вы ответ дайте - потом пальцы загибайте ! Условия для человека больше чем точные - они достаточные ... остальное это проблема алгоритма, а не постановки задачи... [Ответ][Цитата]
tac Сообщений: 2601	На: Задачка на логический вывод Добавлено: 23 окт 09 2:03 Цитата: Автор: Egg гугл рулит... м-да, проблема все умные, когда разжевано ... [Ответ][Цитата]
Вольфрамовый клaпaн Сообщений: 13070	На: Задачка на логический вывод Добавлено: 23 окт 09 2:04 ответ дайте... детский сад... этой загадке лет пятьдесят... :-))) условия не точные и для вдумчивого человека, еще раз: ниоткуда из вашего варианта условий не следует, что рыбка должна кому-то из названных людей принадлежать... вот для вас пара сцыл: http://other.crazys.info/2008/03/02/otvet_na_zagadku_ejnshtejna__xod_resheniya.html http://pavelpg.livejournal.com/9033.html [Ответ][Цитата]
tac Сообщений: 2601	На: Задачка на логический вывод Добавлено: 23 окт 09 2:13 Цитата: Автор: Egg ответ дайте... детский сад... этой загадке лет пятьдесят... :-))) условия не точные и для вдумчивого человека, еще раз: ниоткуда из вашего варианта условий не следует, что рыбка должна кому-то из названных людей принадлежать... вот для вас пара сцыл: http://other.crazys.info/2008/03/02/otvet_na_zagadku_ejnshtejna__xod_resheniya.html http://pavelpg.livejournal.com/9033.html да, нашел уже ... Но для алгоритмов вопрос остается открытым - утверждения не принимаются - публикуйте алгоритм, и показывайте что он справится ... иначе это филькина грамота .. Ок. посмотрел ссылку №2 - убедили - решается [Ответ][Цитата]
Вольфрамовый клaпaн Сообщений: 13070	На: Задачка на логический вывод Добавлено: 23 окт 09 2:19 Цитата: иначе это филькина грамота.. за такого рода утверждения вы лишаетесь право задавать вопросы по поводу моего алгоритма... :-))) считайте как хотите, ваше дело, я пишу коммерческий софт, решения показывать не могу, говорил сто раз... на самом деле, гораздо интереснее сделать генератор подобных задачек... :-))))))) и размышления по поводу того как может быть устроен такой генератор дадут больше пользы для понимания того, как это всё может быть решено формально... :-) [Ответ][Цитата]
tac Сообщений: 2601	На: Задачка на логический вывод Добавлено: 23 окт 09 2:26 Цитата: Автор: Egg за такого рода утверждения вы лишаетесь право задавать вопросы по поводу моего алгоритма... :-))) считайте как хотите, ваше дело, я пишу коммерческий софт, решения показывать не могу, говорил сто раз... на самом деле, гораздо интереснее сделать генератор подобных задачек... :-))))))) и размышления по поводу того как может быть устроен такой генератор дадут больше пользы для понимания того, как это всё может быть решено формально... :-) Да, ладно - нашли в нете ... и нет смысла выделываться теперь "коммерческий вы наш" ... [Ответ][Цитата]
tac Сообщений: 2601	На: Задачка на логический вывод Добавлено: 23 окт 09 2:28 Цитата: Автор: Egg на самом деле, гораздо интереснее сделать генератор подобных задачек... :-))))))) Это легко - берете любой детский пузл - описываете вот вам и задачка ... ну как сделать генератор пузлов надеюсь рассказывать не нужно [Ответ][Цитата]
Вольфрамовый клaпaн Сообщений: 13070	На: Задачка на логический вывод Добавлено: 23 окт 09 2:36 Цитата: Да, ладно - нашли в нете ... и нет смысла выделываться теперь "коммерческий вы наш" я не ведусь на такие штуки... Цитата: берете любой детский пузл какие пузлы, о чем вы... вы понимаете в чем тонкость этой задачи? объясняю : нужно чтобы не было избыточных условий, с одной стороны, а с другой, чтобы реконструировать можно было только путем установления промежуточных фактов... пузлы говорите? сформулируйте-ка подобную задачку... :-)))) [Ответ][Цитата]
tac Сообщений: 2601	На: Задачка на логический вывод Добавлено: 23 окт 09 2:43 Цитата: Автор: Egg какие пузлы, о чем вы... вы понимаете в чем тонкость этой задачи? объясняю : нужно чтобы не было избыточных условий, с одной стороны, а с другой, чтобы реконструировать можно было только путем установления промежуточных фактов... пузлы говорите? сформулируйте-ка подобную задачку... :-)))) В пузле именно такие условия - избыточных условий там нет, весь процес собирание пузла это установление промежуточных фактов. формулировать не будут - это коммерческая тайна супер пупер ноухау (ничего не напоминает ) [Ответ][Цитата]
Вольфрамовый клaпaн Сообщений: 13070	На: Задачка на логический вывод Добавлено: 23 окт 09 3:22 так вы пазл (puzzle) имеете ввиду?! е-мое, у вас с английским так же как с русским... ну и похож, по-вашему, пазл на логическую задачку приписываемую Эйнштейну? [Ответ][Цитата]
tac Сообщений: 2601	На: Задачка на логический вывод Добавлено: 23 окт 09 3:38 Цитата: Автор: Egg так вы пазл (puzzle) имеете ввиду?! е-мое, у вас с английским так же как с русским... ну и похож, по-вашему, пазл на логическую задачку приписываемую Эйнштейну? Именно так. [Ответ][Цитата]
Вольфрамовый клaпaн Сообщений: 13070	На: Задачка на логический вывод Добавлено: 23 окт 09 3:43 понятно... а зачем посты мои редактировать? обидная критика, да? :-)))))))) [Ответ][Цитата]
Corwin Сообщений: 1324	На: Задачка на логический вывод Добавлено: 23 окт 09 17:13 Забавно, в этом топике полностью поддерживаю Egg'а. Интересно tac изменил свое мнение относительно парадигмы логического программирования..? [Ответ][Цитата]
Стр.1 (2): [1]  2 След. > >>