GotAI.NET

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

 

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

 Все темы | Новая тема Стр.14 (17)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Задачка на логику
гость
92.39.138.*
На: Задачка на логику
Добавлено: 13 авг 09 17:05
Цитата:
Автор: Что-то разумное, типа чувака
З.Ы. Пример, для сверхлогичных особ:
Изначальная информация:
1.Чайник находится либо в комнате, либо на кухне.
2.Тарелка находится либо рядом с чайником, либо на кухне.
Возможно ли установить одним вопросом на да/нет, где находятся, и чайник, и тарелка?
Интересно просто посмотреть на ход вашего решения..

И не надо меня экзаменовать.
[Ответ][Цитата]
гость
217.199.228.*
На: Задачка на логику
Добавлено: 13 авг 09 17:35
Чувак, не теряй времени. Всем вменяемым уже давно понятно, что такое лексическая логика (она же логика Тарасова). Это когда два каких то высказывания соединяют связками типа "следует", "значит" и т. п.. И тогда второе высказывание считается выводом, следующим из посылки (первого высказывания). А как же иначе, ведь они соединены словом "следует", а раз так, то из первого автоматически следует второе.
[Ответ][Цитата]
гость
92.39.139.*
На: Задачка на логику
Добавлено: 14 авг 09 20:58
Цитата:
Автор: гость
Чувак, не теряй времени. Всем вменяемым уже давно понятно, что такое лексическая логика (она же логика Тарасова). Это когда два каких то высказывания соединяют связками типа "следует", "значит" и т. п.. И тогда второе высказывание считается выводом, следующим из посылки (первого высказывания). А как же иначе, ведь они соединены словом "следует", а раз так, то из первого автоматически следует второе.

Глыбако мысляш колдыбай темжа путём далёка утопаешь.
[Ответ][Цитата]
Павел Фоменко
Сообщений: 1081
На: Задачка на логику
Добавлено: 14 авг 09 22:39
Цитата:
Автор: гость

Чувак, не теряй времени. Всем вменяемым уже давно понятно, что такое лексическая логика (она же логика Тарасова). Это когда два каких то высказывания соединяют связками типа "следует", "значит" и т. п.. И тогда второе высказывание считается выводом, следующим из посылки (первого высказывания). А как же иначе, ведь они соединены словом "следует", а раз так, то из первого автоматически следует второе.

Класс! А ещё там есть слова "сиЕ" Это вообще железный аргумент
[Ответ][Цитата]
Capt.Drew
Сообщений: 4179
На: Задачка на логику
Добавлено: 14 авг 09 23:05
Павлик, опять свечку держишь
пока другие друг-другу
мозгИ е-Буд?
[Ответ][Цитата]
Что-то разумное, типа чувака
Сообщений: 297
На: Задачка на логику
Добавлено: 19 авг 09 5:00
Дык, так переформулировка гениального доказательства гениальности будет, или закрываем задачу?
[Ответ][Цитата]
Zhenya Sh.
Сообщений: 56
Нет решения
Добавлено: 20 авг 09 0:40
Легко модифицировать доказательство (Алхимика, кажется) про несуществование решения исходной задачи.
Гипотетическое решение можно представить в виде бинарного дерева высоты 4:
на первом уровне - вершина - первый вопрос,
потом две ветви - Да/Нет,
второй вопрос для каждой из них, и т.д.
(Это как дерево для игры в крестики-нолики, раз уж это форум про АИ).

То есть если у кого-то есть решение, то он может представить его в виде такого дерева.

Это дерево имеет восемь листьев. На каждом из них должен быть написан ответ.
А возможных состояний 9 = 3 (где клад) * 3 (когда хранитель сказал правду): (можно представить, что хранитель заранее решает, когда он соврёт, а когда скажет правду).
Их именно 9, а не 3, как кто-то написал, т.к. если мы знаем где клад, то автоматически вычисляем когда были сказаны правда и ложь.

Так что на одном из листьев сидят два ответа.
[Ответ][Цитата]
Вольфрамовый клaпaн
Сообщений: 13070
На: Нет решения
Добавлено: 20 авг 09 7:15
Zhenya Sh., данный форум не очень хорош для осуждения проблем ИИ,
приглашаю на АртМайнд - http://artmind.build2.ru/
[Ответ][Цитата]
Capt.Drew
Сообщений: 4179
На: Нет решения
Добавлено: 20 авг 09 7:25
Цитата:
Автор: Egg :: Zhenya Sh., данный форум не очень хорош для осуждения проблем ИИ, приглашаю на АртМайнд - http://artmind.build2.ru/
а вот это не-спортивно...
[Ответ][Цитата]
Capt.Drew
Сообщений: 4179
На: Нет решения
Добавлено: 20 авг 09 7:26
Цитата:
Автор: Egg :: Zhenya Sh., данный форум не очень хорош для осуждения проблем ИИ, приглашаю на АртМайнд - http://artmind.build2.ru/
а вот это не-спортивно...
[Ответ][Цитата]
Вольфрамовый клaпaн
Сообщений: 13070
На: Нет решения
Добавлено: 20 авг 09 8:16
Цитата:
Автор: Capt.Drew
а вот это не-спортивно...

а я ни с кем не соревнуюсь, а просто даю альтернативу...
[Ответ][Цитата]
Capt.Drew
Сообщений: 4179
На: Нет решения
Добавлено: 20 авг 09 8:36
Цитата:
Автор: Egg :: а я ни с кем не соревнуюсь, а просто даю альтернативу...

хороша же твоя альтернатива-нипелль - если подобная пропаганда у тебя - немедленно влечет не только бан по Айпи - но и засылку вируса..

При этом я и слова не сказал - а ты меня бессудно забанил..

А ведь лоера - это могут легко задокумментировать.. Каково им будет тебя видеть соискующего Гринкарту и тем более Гражданство Страны Свобод - домогающегося Комиссарства в Русском ии-Инете.. ???

а первый уровень секретности - необходимый для приличной ИИ-работы
или в Банке-Мортгедже - предполагает проверку мыла и линков за 10 лет..
и отсутствие родителей в совке и C. Корее..

Хoчу жене твоей позвонить в рабочее время
- ей надо срочно искать альтернативу - если тебя вышлют..

Есть хороший NY-City's русский пацан - Левин - фотка ему понравилась!
[Ответ][Цитата]
Вольфрамовый клaпaн
Сообщений: 13070
На: Нет решения
Добавлено: 20 авг 09 8:54
скучно жить на пособие, да?
хочется чего-то значительного?
ну фантазируй-фантазируй, не буду отвлекать...
[Ответ][Цитата]
гость
92.39.139.*
На: Нет решения
Добавлено: 21 авг 09 23:26
Цитата:
Автор: Zhenya Sh.
Легко модифицировать доказательство (Алхимика, кажется) про несуществование решения исходной задачи.
Гипотетическое решение можно представить в виде бинарного дерева высоты 4:
на первом уровне - вершина - первый вопрос,
потом две ветви - Да/Нет,
второй вопрос для каждой из них, и т.д.
(Это как дерево для игры в крестики-нолики, раз уж это форум про АИ).

То есть если у кого-то есть решение, то он может представить его в виде такого дерева.

Это дерево имеет восемь листьев. На каждом из них должен быть написан ответ.
А возможных состояний 9 = 3 (где клад) * 3 (когда хранитель сказал правду): (можно представить, что хранитель заранее решает, когда он соврёт, а когда скажет правду).
Их именно 9, а не 3, как кто-то написал, т.к. если мы знаем где клад, то автоматически вычисляем когда были сказаны правда и ложь.

Так что на одном из листьев сидят два ответа.

Мммм... даааа...
И этот ломится в открытые ворота.
[Ответ][Цитата]
гость
92.39.139.*
На: Нет решения
Добавлено: 22 авг 09 1:01
Цитата:
Автор: Zhenya Sh.
Легко модифицировать доказательство (Алхимика, кажется) про несуществование решения исходной задачи.
Гипотетическое решение можно представить в виде бинарного дерева высоты 4:
на первом уровне - вершина - первый вопрос,
потом две ветви - Да/Нет,
второй вопрос для каждой из них, и т.д.
(Это как дерево для игры в крестики-нолики, раз уж это форум про АИ).

То есть если у кого-то есть решение, то он может представить его в виде такого дерева.

Это дерево имеет восемь листьев. На каждом из них должен быть написан ответ.
А возможных состояний 9 = 3 (где клад) * 3 (когда хранитель сказал правду): (можно представить, что хранитель заранее решает, когда он соврёт, а когда скажет правду).
Их именно 9, а не 3, как кто-то написал, т.к. если мы знаем где клад, то автоматически вычисляем когда были сказаны правда и ложь.

Так что на одном из листьев сидят два ответа.

Вывод правилен только для простых вопросов когда ответы "Да" или "Нет" противоположны по значению и если за ответом "Да" скрывается правда, то за ответом "Нет" обязательно скрывается ложь.
Однако можно сформулировать вопрос так, что ответы "Да" и "Нет" будут сходны по значению и если за ответом "Да" скрывается правда, то и за ответом "Нет" тоже обязательно скрывается правда, а если за ответом "Да" скрывается ложь, то и за ответом "Нет" тоже обязательно скрывается ложь.
Попробуйте просчитать вариант возможного решения с помощь такого рода вопросов.

[Ответ][Цитата]
 Стр.14 (17)1  ...  10  11  12  13  [14]  15  16  17<< < Пред. | След. > >>