|
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“ живёт по соседству с человеком, который пьёт воду."
Во-первых - попробуйте ответить. Во-вторых, для продвинутых, сделайте/опишите алгоритм ИИ, который это решит. Уверен НИ ОДИН классический алгоритм машинного вывода не справится !
|
|
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 1:42
|
во-первых, эта задача легко решается на прологе... гугл рулит... во-вторых эта задача решена у меня в 97 году на т.н. Силлогисторе... в-третьих у меня есть решение этой задачи на ограниченном естественном языке без применения предикатов... в-четвертых, ваше условие еще не точное, нужно явное перечисление животных, в вашем варианте не определено, что рыба должна кому-то принадлежать...
|
|
|
tac Сообщений: 2601 |
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 2:00
|
Автор: Egg
во-первых, эта задача легко решается на прологе... гугл рулит... во-вторых эта задача решена у меня в 97 году на т.н. Силлогисторе... в-третьих у меня есть решение этой задачи на ограниченном естественном языке без применения предикатов... в-четвертых, ваше условие еще не точное, нужно явное перечисление животных, в вашем варианте не определено, что рыба должна кому-то принадлежать... |
|
Вы ответ дайте - потом пальцы загибайте ! Условия для человека больше чем точные - они достаточные ... остальное это проблема алгоритма, а не постановки задачи...
|
|
|
tac Сообщений: 2601 |
|
| |
| |
tac Сообщений: 2601 |
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 2:13
|
да, нашел уже ... Но для алгоритмов вопрос остается открытым - утверждения не принимаются - публикуйте алгоритм, и показывайте что он справится ... иначе это филькина грамота .. Ок. посмотрел ссылку №2 - убедили - решается
|
|
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 2:19
|
иначе это филькина грамота.. |
|
за такого рода утверждения вы лишаетесь право задавать вопросы по поводу моего алгоритма... :-))) считайте как хотите, ваше дело, я пишу коммерческий софт, решения показывать не могу, говорил сто раз... на самом деле, гораздо интереснее сделать генератор подобных задачек... :-))))))) и размышления по поводу того как может быть устроен такой генератор дадут больше пользы для понимания того, как это всё может быть решено формально... :-)
|
|
|
tac Сообщений: 2601 |
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 2:26
|
Автор: Egg
за такого рода утверждения вы лишаетесь право задавать вопросы по поводу моего алгоритма... :-))) считайте как хотите, ваше дело, я пишу коммерческий софт, решения показывать не могу, говорил сто раз...
на самом деле, гораздо интереснее сделать генератор подобных задачек... :-))))))) и размышления по поводу того как может быть устроен такой генератор дадут больше пользы для понимания того, как это всё может быть решено формально... :-) |
|
Да, ладно - нашли в нете ... и нет смысла выделываться теперь "коммерческий вы наш" ...
|
|
|
tac Сообщений: 2601 |
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 2:28
|
Автор: Egg
на самом деле, гораздо интереснее сделать генератор подобных задачек... :-)))))))
|
|
Это легко - берете любой детский пузл - описываете вот вам и задачка ... ну как сделать генератор пузлов надеюсь рассказывать не нужно
|
|
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 2:36
|
Да, ладно - нашли в нете ... и нет смысла выделываться теперь "коммерческий вы наш" |
|
я не ведусь на такие штуки... берете любой детский пузл |
|
какие пузлы, о чем вы... вы понимаете в чем тонкость этой задачи? объясняю : нужно чтобы не было избыточных условий, с одной стороны, а с другой, чтобы реконструировать можно было только путем установления промежуточных фактов... пузлы говорите? сформулируйте-ка подобную задачку... :-))))
|
|
|
tac Сообщений: 2601 |
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 2:43
|
Автор: Egg
какие пузлы, о чем вы... вы понимаете в чем тонкость этой задачи? объясняю : нужно чтобы не было избыточных условий, с одной стороны, а с другой, чтобы реконструировать можно было только путем установления промежуточных фактов... пузлы говорите? сформулируйте-ка подобную задачку... :-))))
|
|
В пузле именно такие условия - избыточных условий там нет, весь процес собирание пузла это установление промежуточных фактов. формулировать не будут - это коммерческая тайна супер пупер ноухау (ничего не напоминает )
|
|
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 3:22
|
так вы пазл (puzzle) имеете ввиду?! е-мое, у вас с английским так же как с русским... ну и похож, по-вашему, пазл на логическую задачку приписываемую Эйнштейну?
|
|
|
tac Сообщений: 2601 |
|
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 3:38
|
Автор: Egg
так вы пазл (puzzle) имеете ввиду?! е-мое, у вас с английским так же как с русским... ну и похож, по-вашему, пазл на логическую задачку приписываемую Эйнштейну?
|
|
Именно так.
|
|
|
| |
|
На: Задачка на логический вывод
Добавлено: 23 окт 09 17:13
|
Забавно, в этом топике полностью поддерживаю Egg'а. Интересно tac изменил свое мнение относительно парадигмы логического программирования..?
|
|
|
|